A Verification-Centric Software Development Process for Java.
Daniel M. ZimmermanJoseph R. KiniryPublished in: QSIC (2009)
Keyphrases
- software development process
- software engineering
- life cycle
- software development
- software design
- modeling language
- reference architecture
- object oriented
- design rationale
- open source
- software architecture
- source code
- requirements engineering
- database
- web services
- java bytecode
- software systems
- database applications
- decision making