Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons.
Ludovic ApvrillePierre de Saqui-SannesPublished in: Tech. Sci. Informatiques (2011)
Keyphrases
- test bed
- metamodel
- software systems
- object oriented modeling
- class diagrams
- conceptual modeling
- database design
- sequence diagrams
- object oriented
- class diagram
- uml models
- formal methods
- modeling language
- unified modeling language
- state machine
- software development
- uml class diagrams
- software engineering
- uml diagrams
- specification language
- uml profile
- intelligent assistant
- database
- requirements engineering
- data model
- information systems
- conceptual models
- model driven
- software architecture
- model driven engineering
- data mining
- neural network
- real time