UML-B specification and hardware implementation of a Hamming coder/decoder - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2004

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

Stefan Hallerstede
  • Fonction : Auteur
Ian Oliver
  • Fonction : Auteur

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00100123 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More