Integrating UML and B Specification Techniques.
Hung LedangJeanine SouquièresPublished in: GI Jahrestagung (1) (2001)
Keyphrases
- specification language
- uml diagrams
- formal methods
- state machine
- sequence diagrams
- modeling language
- database design
- conceptual models
- high level
- formal verification
- software development
- unified modeling language
- conceptual modeling
- constraint language
- database
- software systems
- software engineering
- object oriented
- uml models
- activity diagrams
- formal specification
- model checking
- knowledge based systems
- case study
- real time