Validation of UML static diagrams using B.
Ninh-Thuan TruongJeanine SouquièresPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- open source
- class diagrams
- uml diagrams
- sequence diagrams
- unified modeling language
- uml class diagrams
- class diagram
- model based testing
- source code
- object oriented
- software design
- reverse engineering
- petri net
- modeling language
- software engineering
- case study
- database design
- metamodel
- constraint language
- dynamic analysis
- conceptual modeling
- database
- software systems
- activity diagrams
- graphical representation
- object oriented modeling
- uml models
- regression testing
- intermediate representation
- formal methods
- xml schema
- query language
- artificial intelligence
- real time