Strategies for Incorporating Formal Specifications in Software Development.
Martin D. FraserKuldeep KumarVijay K. VaishnaviPublished in: Commun. ACM (1994)
Keyphrases
- formal specification
- software development
- software components
- software testing
- model checking
- software engineering
- process algebra
- reverse engineering
- specification languages
- object oriented design
- software developers
- specification language
- formal specification language
- design methodology
- software projects
- software systems
- formal methods
- concurrent systems
- development process
- software architecture
- software maintenance