Enriching the Software Development Process by Formal Methods
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Visual formalisms revisitedPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tool supported specification and simulation of distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Systems, Views and Models of UMLPublished by Springer Nature ,1998
- Formal description techniques - how formal and descriptive are they?Published by Springer Nature ,1996
- How did software get so reliable without proof?Published by Springer Nature ,1996
- Mathematical system models as a basis of software engineeringPublished by Springer Nature ,1995
- Provably correct compiler development and implementationPublished by Springer Nature ,1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987