Using UML-B and U2B for formal refinement of digital components1.

Colin F. Snook Kim Sandström

Published in: FDL (2003)

Keyphrases

formal methods
database
building blocks
software components
formal specification
requirements specification
data sets
software engineering
open source
logic programs
digital objects
digital media
uml diagrams