From UML Diagrams to B Specifications - Archive ouverte HAL
Chapitre D'ouvrage Année : 2006

From UML Diagrams to B Specifications

Amel Mammar
Fichier non déposé

Dates et versions

hal-00145958 , version 1 (13-05-2007)

Identifiants

  • HAL Id : hal-00145958 , version 1

Citer

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

Partager

More