Login / Signup
Moving from Specifications to Contracts in Component-Based Design.
Sebastian S. Bauer
Alexandre David
Rolf Hennicker
Kim Guldstrand Larsen
Axel Legay
Ulrik Nyman
Andrzej Wasowski
Published in:
FASE (2012)
Keyphrases
</>
supply chain
design process
functional requirements
formal verification
design requirements
real time
real world
computer vision
e learning
case study
multi agent
user interface
object oriented
knowledge based systems
software architecture
modeling language