Tight structuring for precise UML-based requirement specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2941, Issue , 2004, Pages 16-34

  Astesiano, Egidio ^a   Reggio, Gianna ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

CONSISTENCY CHECKS; DOMAIN MODEL; DOMAIN MODELLING; PROBLEM DOMAIN; REQUIREMENT SPECIFICATION; SOFTWARE DEVELOPMENT PROCESS; TECHNICAL SOLUTIONS; UML NOTATION;

SPECIFICATIONS;

EID: 35048831413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_2     Document Type: Article

References (20)

1. E. Astesiano and G. Reggio. Knowledge Structuring and Representation in Requirement Specification. In Proc. SEKE 2002. ACM Press, 2002. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio02a.pdf.
2. E. Astesiano and G. Reggio. Consistency Issues in Multiview Modelling Techniques. In Recent Trends in Algebraic Development Techniques, Selected Papers of the 15th International Workshop WADT'02, LNCS. Springer Verlag, 2003. To appear. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03b.pdf.
3. E. Astesiano and G. Reggio. Tight Structuring for Precise UML-based Requirement Specifications: Complete Version. Technical Report DISI-TR-03-06, DISI, Università di Genova, Italy, 2003. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03c.pdf.
4. E. Astesiano and G. Reggio. Towards a Well-Founded UML-based Development Method. In Proc. of SEFM Workshop. IEEE Computer Society, Los Alamitos, CA, 2003. To appear. Available at ftp://ftp.disi.unige.it/person/ReggioG/ AstesianoReggio03g.pdf.
5. E. Astesiano, G. Reggio, and M. Cerioli. From Formal Techniques to Well-Founded Software Development Methods. In Proc. of The 10th Anniversary Colloquium of the United Nations University International Institute for Software Technology (UNU/IIST): Formal Methods at the Crossroads from Panacea to Foundational Support. Lisbon - Portugal, March 18-21, 2002., LNCS. Springer Verlag, Berlin, 2003. To appear. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtA1103a.ps.
6. D. F. D'Souza and A. C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, 1999.
7. G. Engels, J.M. Kuester, and L. Groenewegen. Consistent Interaction of Software Components. In Proceedings of IDPT 2002, 2002.
8. M. Fowler and K. Scott. UML Distilled: Second Edition. Object Technology Series. Addison-Wesley, 2001.
9. H. Gomaa. Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, 2000.
10. M. Jackson. Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
11. Pfleeger S. L. Software Engineering: Theory and Practice. Prentice Hall, 2001.
12. OMG Architecture Board MDA Drafting Team. Model Driven Architecture (MDA). Available at http://cgi.omg.org/docs/ormsc/01-07-01.pdf, 2001.
13. Stevens P. and Pooley R. Using UML: Software Engineering with Objects and Components. Addison-Wesley, 2000.
14. Rational. Rational Unified Process© for System Engineering SE 1.0. Technical Report Tp 165, 8/01, 2001.
15. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. In T. Maibaum, editor, Proc. FASE 2000, number 1783 in LNCS. Springer Verlag, Berlin, 2000.
16. G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In H. Hussmann, editor, Proc. FASE 2001, number 2029 in LNCS. Springer Verlag, Berlin, 2001.
17. J. Sommerville. Software Engineering: Third Edition. Addison-Wesley, 1989.
18. DeMarco T and Boehm B. The Agile Methods Fray. Computer, 2001.
19. UML Revision Task Force. OMG UML Specification 1.3, 2000. Available at http://www.omg.org/docs/formal/00-03-01.pdf.
20. E. Yourdon. Modern Structured Analysis. Prentice-Hall, 1989.