From a B Specification to UML StateChart Diagrams.
Ahmed HammadBruno TatibouëtJean-Christophe VoisinetWeiping WuPublished in: ICFEM (2002)
Keyphrases
- uml diagrams
- sequence diagrams
- software design
- class diagrams
- test cases
- unified modeling language
- uml class diagrams
- activity diagrams
- class diagram
- constraint language
- software engineers
- petri net
- uml models
- specification language
- software engineering
- regression testing
- formal methods
- intermediate representation
- design patterns
- state machine
- object oriented
- software development
- software testing
- production rules
- high level
- software systems
- description logics
- artificial intelligence
- object oriented systems
- xml schema
- business processes
- requirements specification
- information systems