UML-B: Formal modelling and design aided by UML
The emergence of the UML as a de-facto standard for object-oriented modelling has been mirrored by the success of the B method as a practically useful formal modelling technique. The two notations have much to offer each other. The UML provides an accessible visualisation of models facilitating comm...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2006-01.
|
| Subjects: | |
| Online Access: | Get fulltext |