HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

20 - Glossary

Henri Habrias 1 Pascal Poizat 2 Marc Frappier 3
1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
3 UdeS - Département d'informatique [Sherbrooke]
Document type :
Book sections
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00342085
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Wednesday, November 26, 2008 - 5:11:03 PM
Last modification on : Wednesday, April 27, 2022 - 4:12:21 AM

Identifiers

  • HAL Id : hal-00342085, version 1

Collections

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

Citation

Henri Habrias, Pascal Poizat, Marc Frappier. 20 - Glossary. Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006. ⟨hal-00342085⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

51