A New Approach for Generating LOTOS Specifications from UML Dynamic Models.
Salim DjaaboubElhillali KerkoucheAllaoua ChaouiPublished in: C3S2E (2015)
Keyphrases
- dynamic model
- specification language
- class diagram
- experimental data
- formal specification language
- conceptual models
- formal methods
- metamodel
- conceptual modeling
- database design
- class diagrams
- formal specification
- object oriented modeling
- object oriented
- requirements specification
- state machine
- uml models
- requirements engineering
- model driven engineering
- uml diagrams
- robot manipulators
- artificial intelligence
- modeling language
- software systems
- knowledge based systems
- software development
- high level