UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
Flávio FernandesMark A. J. SongPublished in: J. Softw. (2014)
Keyphrases
- class diagrams
- uml diagrams
- unified modeling language
- sequence diagrams
- class diagram
- uml class diagrams
- software design
- object oriented
- database design
- modeling language
- metamodel
- software systems
- object oriented modeling
- software engineering
- uml models
- uml profile
- object oriented systems
- reverse engineering
- conceptual modeling
- software architecture
- petri net
- software development
- activity diagrams
- case study
- constraint language
- formal methods
- regression testing
- behavioral patterns
- software engineers
- model driven engineering
- life cycle
- learning environment
- genetic algorithm