Sign in
Multiple Viewpoint Contract-Based Specification and Design.
Albert Benveniste
Benoît Caillaud
Alberto Ferrari
Leonardo Mangeruca
Roberto Passerone
Christos Sofronis
Published in:
FMCO (2007)
Keyphrases
</>
viewpoint
engineering design
case study
conceptual model
design decisions
knowledge based systems
formal methods
tool suite
artificial intelligence
social networks
high level
building blocks
multiple views
formal verification