From UML Diagrams to B Specifications - Archive ouverte HAL Accéder directement au contenu
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⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More