Towards a new method for the development of Web-based applications

We present a method for the development of Web-based applications within small-size Internet companies, working in Web site and e-commerce developments. We comment on the current trend of development, its drawbacks, and then propose the method to improve the quality of such practice. This method turns out to be very convenient and helpful. A simple case study is provided to illustrate this method. In this case study we used a simple yet powerful Definitional Specification Language (DSL) to formalize the requirements. An overview of DSL is given.

[1]  Joseph A. Goguen,et al.  Software Engineering with Obj: Algebraic Specification In Action , 2010 .

[2]  Franca Garzotto,et al.  HDM—a model for the design of hypertext applications , 1991, HYPERTEXT '91.

[3]  Kenji Takahashi,et al.  Analysis and Design of Web-based Information Systems , 1997, Comput. Networks.

[4]  Olga De Troyer,et al.  WSDM: A User Centered Design Method for Web Sites , 1998, Comput. Networks.

[5]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[6]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[7]  Jonathan P. Bowen.  Formal Specification and Documentation using Z , 2003 .

[8]  Gustavo Rossi,et al.  Systematic hypermedia application design with OOHDM , 1996, HYPERTEXT '96.

[9]  Cliff B. Jones,et al.  Case studies in systematic software development , 1990 .

[10]  Joseph A. Goguen,et al.  Software Engineering with OBJ , 2000, Advances in Formal Methods.

[11]  Joseph A. Goguen,et al.  Algebraic semantics of imperative programs , 1996, Foundations of computing series.