Integrating verifiable Assume/Guarantee contracts in UML/SysML.
Iulia DragomirIulian OberChristian PerceboisPublished in: ACES-MB@MoDELS (2013)
Keyphrases
- formal methods
- modeling language
- supply chain
- metamodel
- object oriented
- software engineering
- sufficient conditions
- uml profile
- safety critical
- conceptual modeling
- software systems
- software development
- model checking
- formal specification
- knowledge based systems
- web services
- safety analysis
- model driven engineering
- object oriented modeling
- database