Commandments of UML for Safety.
Akram IdaniDieu Donné Okalas OssamiJean-Louis BoulangerPublished in: ICSEA (2007)
Keyphrases
- formal methods
- safety critical
- software systems
- metamodel
- database design
- software engineering
- object oriented
- modeling language
- state machine
- sequence diagrams
- conceptual modeling
- class diagrams
- object oriented modeling
- software development
- uml class diagrams
- conceptual models
- software architecture
- unified modeling language
- tool support
- model driven engineering
- uml models
- database
- uml activity diagrams
- class diagram
- regression testing
- development process
- source code
- artificial intelligence
- neural network
- databases