Analyse formelle de données relationnelles pour la réingénierie des modèles UML.
Mohamed Rouane HaceneMichel DaoMarianne HuchardPetko ValtchevPublished in: LMO (2007)
Keyphrases
- database design
- uml class diagrams
- object oriented
- software systems
- formal methods
- uml models
- software engineering
- modeling language
- metamodel
- uml profile
- software development
- object oriented modeling
- real time
- specification language
- class diagrams
- uml activity diagrams
- conceptual models
- unified modeling language
- state machine
- sequence diagrams
- tool support
- case study
- information retrieval
- databases