Vérification formelle d'architectures logicielles à base d'UML.
Mohamed Tahar BhiriMohamed GraietJean-Pierre GiraudinAbdelmajid Ben HamadouPublished in: Obj. Logiciel Base données Réseaux (2008)
Keyphrases
- database design
- unified modeling language
- software engineering
- software development
- modeling language
- object oriented modeling
- software systems
- formal methods
- uml activity diagrams
- neural architectures
- conceptual modeling
- metamodel
- object oriented
- software design
- software architecture
- uml diagrams
- class diagrams
- learning environment
- artificial intelligence
- information retrieval