Hal will be stopped for maintenance from friday on june 10 at 4pm until monday june 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

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

Dominique Cansell 1 Stefan Hallerstede Ian Oliver 2
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/inria-00100123
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 10:14:19 AM
Last modification on : Friday, February 4, 2022 - 3:31:11 AM

Identifiers

  • HAL Id : inria-00100123, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

85