Skip to Main content Skip to Navigation
Book sections

19 - A Comparison of the Specification Methods

Marc Frappier 1 Henri Habrias 2 Pascal Poizat 3
1 UdeS - Département d'informatique [Sherbrooke]
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Document type :
Book sections
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00342080
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, November 26, 2008 - 5:10:45 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM

Identifiers

  • HAL Id : hal-00342080, version 1

Collections

IBISC | CNRS | UNIV-EVRY | UNIV-NANTES | LINA

Citation

Marc Frappier, Henri Habrias, Pascal Poizat. 19 - A Comparison of the Specification Methods. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. ⟨hal-00342080⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

150

 

Contact                    Legal Notice                    Personal Data