Vérification de modèles UML fondée sur OCL.
Pierre BazexJean-Paul BodeveixThierry MillanChristophe Le CamusChristian PerceboisPublished in: INFORSID (2003)
Keyphrases
- uml diagrams
- uml class diagrams
- metamodel
- software design
- modeling language
- class diagrams
- sequence diagrams
- tool support
- unified modeling language
- class diagram
- constraint language
- software engineers
- development process
- design patterns
- software development
- uml models
- data model
- uml profile
- intermediate representation
- artificial intelligence
- software tools
- software systems
- test cases
- software engineering
- web services
- conceptual modeling
- formal methods
- xml schema
- database design
- description logics
- learning environment
- database
- activity diagrams