From UML Diagrams to B Specifications

Type de document :
Chapitre d'ouvrage
Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00145958
Contributeur : Régine Laleau <>
Soumis le : dimanche 13 mai 2007 - 22:07:53
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

82