How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations.
Eerke A. BoitenHelmuth PartschDaniel TuijnmanNorbert VölkerPublished in: Comput. J. (1992)
Keyphrases
- formal specification
- object oriented design
- programming environments
- software design
- model checking
- formal methods
- reverse engineering
- software testing
- software components
- computer hardware
- process algebra
- software developers
- specification languages
- program understanding
- software systems
- code generation
- development process
- data abstraction
- software development
- software engineering
- specification language
- control flow
- object oriented
- software maintenance
- knowledge based systems
- software architecture
- case study
- concurrent systems
- service oriented
- multi agent
- knowledge base
- information systems
- databases