Correlating Structured Inputs and Outputs in Functional Specifications

Andreescu Oana 1, 2 Thomas Jensen 1 Stéphane Lescuyer 2
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Type de document :
Communication dans un congrès
Software Engineering and Formal Methods , Jul 2016, Vienna, Austria. Springer, Springer LNCS 9763, pp.19, 2016, 14th Int. Software Engineering and Formal Methods conference. 〈10.1007/978-3-319-41591-8_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01394178
Contributeur : Thomas Jensen <>
Soumis le : mardi 8 novembre 2016 - 18:22:16
Dernière modification le : mercredi 16 mai 2018 - 11:23:28

Identifiants

Citation

Andreescu Oana, Thomas Jensen, Stéphane Lescuyer. Correlating Structured Inputs and Outputs in Functional Specifications. Software Engineering and Formal Methods , Jul 2016, Vienna, Austria. Springer, Springer LNCS 9763, pp.19, 2016, 14th Int. Software Engineering and Formal Methods conference. 〈10.1007/978-3-319-41591-8_7〉. 〈hal-01394178〉

Partager

Métriques

Consultations de la notice

1033