Conditional software specification & assurance: A practical assessment of contract-based approaches.

Published in: ISSRE (Supplemental Proceedings) (2013)

Keyphrases

source code
data sets
computer systems
software systems
formal methods
data mining
artificial intelligence
high level
multiscale
user interface
software development
software architecture
software components