Integrating formal and informal specification techniques. why? how?
- 24 August 2005
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The UML as a formal modeling notationComputer Standards & Interfaces, 1998
- Towards a Precise Semantics for Object-Oriented Modeling TechniquesLecture Notes in Computer Science, 1998
- Experiences using lightweight formal methods for requirements modelingIEEE Transactions on Software Engineering, 1998
- Guidelines for formalizing Fusion object-oriented analysis modelsPublished by Springer Science and Business Media LLC ,1996
- A formal semantics for object model diagramsIEEE Transactions on Software Engineering, 1995
- A two-dimensional view of integrated formal and informal specification techniquesLecture Notes in Computer Science, 1995
- Semantically extended dataflow diagrams: a formal specification toolIEEE Transactions on Software Engineering, 1992