Behavioral Conformance Verification in an Integrated Approach Using UML and B.
Eric MeyerThomas SantenPublished in: IFM (2000)
Keyphrases
- formal methods
- protocol specification
- model checking
- software systems
- object oriented
- database design
- face verification
- software engineering
- class diagram
- conceptual modeling
- modeling language
- metamodel
- unified modeling language
- distributed systems
- information systems
- data model
- object oriented modeling
- human behavior
- verification method
- state machine
- uml models
- class diagrams
- behavioral model
- behavioral patterns
- formal verification
- signature verification
- software development
- reverse engineering