[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

SnookButler06

  1. Colin Snook & Michael Butler
  2. UML-B: Formal modeling and design aided by UML
  3. ACM TOSEM Trans Software Eng & Methodology V15n1(Jan 2006)pp92-122
  4. =EXPERIENCE MATHEMATICAL Z B SPECIFICATION GRAPHIC UML TOOLO U2B TRANSLATOR
  5. Idea: To help practitioners understand B use UML.
  6. Tried Class diagrams and state machines.
  7. B Machines shown as package containing class diagram and a table of operations, guards, and actions in B.
  8. Associations appear as relations and maps like in Z.
  9. μ-B = micro-B for actions and constraints.
  10. UML-B profile. Includes create, delete, and subroutine stereotypes. Plus some tagged values.
  11. Specialization/generalization models refinement in B.
  12. State machines mappedto B machines with "SELECT..., THEN...".
  13. page 114: Proposes an alternative mathematical model of state machines. For each state in machine define a set of objects: the objects currently in that state.
  14. (dick)|-This was in [Weinberg75].

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]