Assertions to better specify the Amazon bug

ACM International Conference Proceeding Series

Volumn 27, Issue , 2002, Pages 585-592

  Baresi, L ^a   Denaro, G ^a   Mainetti, L ^a   Paolini, P ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

assertions; web application design; web operation

Indexed keywords

ACCESS SERVICE; COMPLEX MODEL; DELIVER QUALITY; DISTRIBUTED SYSTEMS; NEUTRAL INTERFACE; REFERENCE MODELS; SHOPPING CARTS; WEB APPLICATION; WEB APPLICATION DESIGN;

COMPUTER SOFTWARE; DESIGN; MODELS; NAVIGATION; WORLD WIDE WEB;

KNOWLEDGE ENGINEERING;

EID: 45849100501     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/568760.568863     Document Type: Conference Paper

References (20)

1. L. Baresi, F. Garzotto, and P. Paolini. From web sites to web applications: New issues for conceptual modeling. In Proceedings of the International Workshop on The World Wide Web and Conceptual Modeling, co-located with the 19th International Conference on Conceptual Modeling, 2000.
2. A. Bongio, S. Ceri, P. Fraternali, and A. Maurino. Modeling data entry and operations in webml. In WebDB (Informal proceedings) 2000, pages 87-92, 2000.
3. G. Booch. The architecture of web applications, 2001. http://www.developer.ibm.com/library/articles/booch-web.html.
4. J. Conallen. Building Web Applications with UML. Addison-Wesley, Reading, 1 edition, 1999.
5. G. Denaro. Extending OCL to meet web application requirements. Technical report, Politecnico di Milano, 2001.
6. P. Fraternali and P. Paolini. Model-driven development of Web applications: the AutoWeb system. ACM Transactions on Information Systems, 18(4):323-382, 2000.
7. F. Garzotto, P. Paolini, and D. Schwabe. HDM - A model for the design of hypertext applications. In Proc. of ACM Hypertext'91, Hypertext - Integrative Issues, page 313, 1991.
8. O. M. Group. Object constraints language specification, Feb. 2001.
9. R. Hennicker and N. Koch. A UML-based methodology for hypermedia design. In UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 410-424. Springer, 2000.
10. T. Isakowitz, E. Stohr, and P. Balasubramanian. RMM: A methodology for structured hypermedia design. Communications of the ACM, 38(8):34-44, Aug. 1995.
11. G. Kappel, B. Proll, W. Retschitzegger, W. Schwinger, and T. Hofer. Modeling ubiquitous web applications - a comparison of approaches. In Proceedings of the Third International Conference on Information Integration and Web-based Applications and Services (iiWAS2001), Linz, Austria, pages 163-174, sep 2001.
12. N. Kassem and The Enterprise Team. Designing Enterprise applications with the Java 2 Platform. Addison-Wesley, 2000.
13. R. Kramer. iContract - The Java Design by Contract Tool. In Proceedings of TOOLS26: Technology of Object-Oriented Languages and Systems, pages 295-307. IEEE Computer Society, 1998.
14. F. Manola. Technologies for a web object model. IEEE Internet Computing, jan 1999.
15. A. M. Memon, M. E. Pollack, and M. L. Soffa. Automated test oracles for GUIs. In Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-00), volume 25, 6 of ACM Software Engineering Notes, pages 30-39. ACM Press, Nov. 2000.
16. B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, N.Y., 1992.
17. S. Murugesan and Y. Deshpande. ICSE'99 workshop on web engineering. In Proceedings of the 1999 International Conference on Software Engineering. IEEE Computer Society Press / ACM Press, 1999.
18. O. Pastor, V. Pelechano, E. Insfran, and J. Gomez. From object oriented conceptual modeling to automated programming in Java. Lecture Notes in Computer Science, 1507, 1998.
19. T. A. Powell. Web Site Engineering: Beyond Web Page Design. Prentice Hall, Upper Saddle River, New Jersey, 1998.
20. D. Schwabe and G. Rossi. An object oriented approach to web-based applications design. Theory and Practice of Object Systems, 4(4):207-225, 1998.