Towards a well-founded UML-based development method

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 102-115

  Astesiano, E ^a   Reggio, G ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

CURRENT PRACTICES; FORMAL TECHNIQUES; MODEL DRIVEN DESIGN; MODEL-DRIVEN; PLATFORM INDEPENDENT; SOFTWARE DEVELOPMENT METHODS; SOFTWARE ENGINEERING PRACTICES; UML-BASED DEVELOPMENT METHOD;

FORMAL METHODS;

LANGUAGES; MODELS;

EID: 16244420661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236212     Document Type: Conference Paper

References (21)

1. E. Astesiano and G. Reggio. Formalism and Method. T.C.S., 236(12), 2000.
2. E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Acta Informatica, 37(11-12), 2001.
3. 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.
4. 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, Lecture Notes in Computer Science. Springer Verlag, 2003. To appear. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoReggio03b.pdf.
5. 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.
6. It will appear in "Radical Innovations of Software and Systems Engineering in the Future", Proc. of 2003 Monterey Workshop, Lecture Notes in Computer Science, Springer Verlag.
7. 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., Lecture Notes in Computer Science. Springer Verlag, Berlin, 2003. To appear. Available at ftp://ftp.disi.unige.it/person/ReggioG/AstesianoEtAll03a.pdf.
8. D. F. D'Souza and A. C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, 1999.
9. M. Fowler and K. Scott. UML Distilled: Second Edition. Object Technology Series. Addison-Wesley, 2001.
10. H. Gomaa. Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, 2000.
11. M. Jackson. Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.
12. M. Jackson. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, 2001.
13. OMG Architecture Board MDA Drafting Team. Model Driven Architecture (MDA). Available at http://cgi.omg.org/docs/ormsc/01-07-01.pdf, 2001.
14. P. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT '97, number 1214 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1997.
15. Rational. Rational Unified Process© for System Engineering SE 1.0. Technical Report Rational Software White Paper: Tp 165, 8/01, 2001.
16. 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 Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000.
17. 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 Lecture Notes in Computer Science. Springer Verlag, Berlin, 2001.
18. D. T and B. 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. M. Wirsing. Algebraic Specifications. In J. van Leeuwen, editor, Handbook of Theoret. Comput. Sci., volume B. Elsevier, 1990.
21. E. Yourdon. Modern Structured Analysis. Prentice-Hall, 1989.