Verification of the Correctness in Composed UML Behavioural Diagrams.
Samir OuchaniOtmane Aït MohamedMourad DebbabiMakan PourzandiPublished in: SERA (selected papers) (2010)
Keyphrases
- uml diagrams
- class diagrams
- unified modeling language
- uml class diagrams
- sequence diagrams
- formal methods
- class diagram
- software design
- object oriented
- uml models
- software systems
- model checking
- software engineering
- constraint language
- object oriented systems
- design patterns
- functional verification
- verification method
- modeling language
- database
- reverse engineering
- source code
- uml profile
- activity diagrams
- specification language
- object oriented modeling
- graphical representations
- regression testing
- signature verification
- software engineers
- formal specification
- database design
- software development
- database systems
- neural network
- databases