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
Type de document :
Chapitre d'ouvrage
Software Specification Methods, EB3, ISTE, pp.259-274, 2006
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01223278
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:14
Dernière modification le : mercredi 19 décembre 2018 - 15:50:03

Identifiants

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

30

Contact

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