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
Document type :
Book sections
Liste complète des métadonnées
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 : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • HAL Id : hal-01223278, version 1

Collections

LACL | UPEC-UPEM

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

33

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD