Login / Signup
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach.
Salim Djaaboub
Elhillali Kerkouche
Allaoua Chaoui
Published in:
Int. J. Embed. Syst. (2018)
Keyphrases
</>
graph transformation
uml models
written in natural language
object oriented
sequence diagrams
data sets
sufficient conditions
temporal ordering
test cases
data structure
business rules
artificial intelligence
natural language
formal specification language