Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience.
Anthony Fernandes PiresStéphane DupratC. BesseyrePublished in: Tech. Sci. Informatiques (2012)
Keyphrases
- modeling language
- formal methods
- metamodel
- ieee trans
- uml profile
- model checking
- safety critical
- allocation strategy
- artificial intelligence
- unified modeling language
- upper bound
- formal specification
- safety analysis
- software engineering
- knowledge based systems
- software systems
- database
- lower bound
- web services
- conceptual modeling
- object oriented modeling