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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 : jeudi 15 novembre 2018 - 11:57:43

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

1163