Principles of good software specification and their implications for specification languages.
Robert BalzerNeil M. GoldmanPublished in: AFIPS National Computer Conference (1981)
Keyphrases
- specification languages
- formal specification
- object oriented programs
- formal methods
- software development
- software systems
- first order logic
- specification language
- model checking
- software design
- software components
- software architecture
- software testing
- computer systems
- data sets
- source code
- software tools
- software maintenance
- software engineering
- user interface
- database
- embedded systems
- software projects
- software developers
- open source
- data warehouse
- case study
- control flow
- machine learning