Mathematical Description and Specification of Software.
David Lorge ParnasPublished in: IFIP Congress (1) (1994)
Keyphrases
- high level
- software systems
- software tools
- highly modular
- user interface
- source code
- software development
- software architecture
- case study
- tool suite
- software packages
- software design
- personal computer
- analysis tool
- software projects
- software application
- commercial software
- reactive systems
- development process
- real time