Towards Specialization of the Contract-Aware Software Development Process.

Anna Derezinska Przemyslaw Oltarzewski

Published in: CAiSE Workshops (2012)

Keyphrases

software development process
software engineering
life cycle
software development
software design
modeling language
requirements engineering
reference architecture
design rationale
software architecture
software quality
real world
artificial intelligence
software systems
black box
theorem prover