A New Approach for Generating LOTOS Specifications from UML Dynamic Models.

Salim Djaaboub Elhillali Kerkouche Allaoua Chaoui

Published 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