The VDM Principles of Software Specification and Program Design.
Dines BjørnerPublished in: ICFPC (1981)
Keyphrases
- design principles
- software design
- tool suite
- user interface
- hardware design
- control flow
- formal methods
- software architecture
- software systems
- design concepts
- control program
- design criteria
- engineering design
- design patterns
- software tools
- legacy software
- design methodology
- requirements specification
- design process
- hardware designs
- information systems
- program understanding
- formal verification
- computer systems
- specification language
- requirements engineering
- computer programs
- design tools
- data flow
- learning design