On the verification and validation of uml structural and behavioral diagrams.
Luay AlawnehMourad DebbabiFawzi HassaïneAndrei SoeanuPublished in: ACST (2006)
Keyphrases
- class diagrams
- uml diagrams
- sequence diagrams
- unified modeling language
- formal methods
- uml class diagrams
- class diagram
- model checking
- model based testing
- structural information
- software engineering
- software design
- object oriented
- reverse engineering
- artificial intelligence
- information systems
- asynchronous circuits
- regression testing
- structural analysis
- software development
- object oriented systems
- software engineers
- modeling language
- metamodel
- petri net
- uml models