Sign in
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
Jean-Yves Brunel
Marco Di Natale
Alberto Ferrari
Paolo Giusto
Luciano Lavagno
Published in:
DATE (2004)
Keyphrases
</>
software development process
software design
case study
software architecture
high level
modeling language
design rationale
artificial intelligence
software engineering
software development
building blocks
design process
requirements engineering