Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.
Mourad KmimechMohamed Tahar BhiriMohamed GraietPhilippe AniortéPublished in: CAL (2011)
Keyphrases
- fuzzy model
- fuzzy systems
- software systems
- modeling language
- object oriented
- metamodel
- unified modeling language
- conceptual modeling
- database design
- class diagrams
- formal methods
- uml models
- software engineering
- sequence diagrams
- object oriented modeling
- class diagram
- uml class diagrams
- fuzzy controller
- software development
- uml profile
- conceptual models
- chaotic systems
- fuzzy classifier
- takagi sugeno
- state machine
- database
- object oriented analysis and design
- model driven engineering
- fuzzy rules
- fuzzy sets
- uml activity diagrams
- fuzzy inference system
- software architecture
- membership functions
- knowledge base
- activity diagrams
- databases