Safety contract based design of software components.

Andreas Söderberg Rolf Johansson

Published in: ISSRE (Supplemental Proceedings) (2013)

Keyphrases

software components
building blocks
software systems
design process
user interface
design rationale
databases
software development
semi automatic
software reuse
java programs
software architecture