Development of an automated MBT toolchain from UML/SysML models.

Jonathan Lasalle Fabien Peureux Frédéric Fondement

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

metamodel
formal methods
probabilistic model
software engineering
knowledge based systems
modeling language
complex systems
uml models
knowledge base
object oriented
statistical models
semi automated
case study
relational databases
software development
computational models