Reasoning about the correctness of software development process.
Claudia PonsGabriel BaumPublished in: ICSE (2002)
Keyphrases
- software development process
- life cycle
- software development
- software engineering
- software design
- modeling language
- reference architecture
- requirements engineering
- design rationale
- software architecture
- software quality
- software systems
- development process
- formal semantics
- database
- open source
- object oriented
- databases