Hierarchical specification of software processes in Oikos.
Vincenzo AmbriolaCarlo MontangeroPublished in: ISPW (1991)
Keyphrases
- software systems
- software development
- process model
- control flow
- source code
- software design
- software architecture
- coarse to fine
- computer systems
- computational models
- personal computer
- formal methods
- software process
- tool suite
- software maintenance
- software process improvement
- software platform
- computer software
- highly modular
- formal verification
- hierarchical model
- modeling language
- databases
- software tools
- test cases
- user interface