From UML Diagrams to B Specifications

Document type :
Book sections
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00145958
Contributor : Régine Laleau <>
Submitted on : Sunday, May 13, 2007 - 10:07:53 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Identifiers

  • HAL Id : hal-00145958, version 1

Collections

Citation

Régine Laleau, Amel Mammar. From UML Diagrams to B Specifications. Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006. ⟨hal-00145958⟩

Share

Metrics

Record views

85