UML-B: Formal modeling and design aided by UML.
Colin F. SnookMichael J. ButlerPublished in: ACM Trans. Softw. Eng. Methodol. (2006)
Keyphrases
- unified modeling language
- modeling language
- sequence diagrams
- formal methods
- model driven engineering
- uml profile
- object oriented
- metamodel
- uml models
- uml diagrams
- software engineering
- object oriented design
- software architecture
- activity diagrams
- database design
- software systems
- business process modeling
- state machine
- building blocks
- class diagrams
- neural network
- model driven
- software design
- modeling tool
- class diagram
- formal specification
- regression testing
- design process
- knowledge based systems
- user interface
- case study
- conceptual models
- goal oriented
- engineering design
- formal model
- design patterns
- petri net
- database applications
- uml class diagrams
- requirements specification
- data model
- knowledge base
- artificial intelligence