Skip to Main content Skip to Navigation
Book sections

Software Specification Methods

Frédéric Gervais 1, 2 Marc Frappier 3 Richard St-Denis
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Département d'informatique [Sherbrooke]
Abstract : no abstract
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01223278
Contributor : Frédéric Gervais <>
Submitted on : Monday, November 2, 2015 - 1:53:14 PM
Last modification on : Friday, October 4, 2019 - 1:20:46 AM

Identifiers

  • HAL Id : hal-01223278, version 1

Collections

CNRS | LACL | UPEC-UPEM | UPEC

Citation

Frédéric Gervais, Marc Frappier, Richard St-Denis. Software Specification Methods. Software Specification Methods, EB3, ISTE, pp.259-274, 2006. ⟨hal-01223278⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

78

Contact

Informations

CCSD