UML-B specification and hardware implementation of a Hamming coder/decoder - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2004

UML-B specification and hardware implementation of a Hamming coder/decoder

Stefan Hallerstede
  • Function : Author
Ian Oliver
  • Function : Author

Abstract

Formal refinement as offered by the B method has been shown to be applicable in practice and to scale up. However, it has been recognised that it is difficult communicate a formal B model with customers. Recently, the UML has been investigated as an interface to rigorous formal B models to facilitate this.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00100123 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100123 , version 1

Cite

Dominique Cansell, Stefan Hallerstede, Ian Oliver. UML-B specification and hardware implementation of a Hamming coder/decoder. Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004. ⟨inria-00100123⟩
87 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More