Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.
Hung LedangJeanine SouquièresPublished in: APSEC (2002)
Keyphrases
- uml diagrams
- sequence diagrams
- software design
- uml class diagrams
- constraint language
- metamodel
- tool support
- unified modeling language
- specification language
- class diagrams
- formal methods
- modeling language
- software engineering
- state machine
- petri net
- activity diagrams
- design patterns
- class diagram
- natural language
- software engineers
- software systems
- uml activity diagrams
- conceptual modeling
- test cases
- software development
- object oriented
- intermediate representation
- testing process
- production rules
- software tools
- xml schema
- process model
- requirements specification
- facial expressions
- data model