Zobrazeno 1 - 2
of 2
pro vyhledávání: '"CCS CONCEPTS • Software and its engineering → Specification languages"'
Publikováno v:
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18)
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
FormaliSE@ICSE
the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
FormaliSE@ICSE
International audience; This article proposes a temporal and parametric specification language (ParTraP) developed for the verification of execution traces. The language extends specification patterns with nested scopes, real-time and first-order qua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3d6b05720f17cd2873ef5a6e926a966
https://hal.univ-grenoble-alpes.fr/hal-02004378
https://hal.univ-grenoble-alpes.fr/hal-02004378
Autor:
Ledru, Yves, Blein, Yoann, Du Bousquet, Lydie, Groz, Roland, Clere, Arnaud, Bertrand, Fabrice
Publikováno v:
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
International audience; The verification of software intensive medical devices can largely benefit from the analysis of their execution traces. Trace points can easily be added to the software, and traces can be used at several stages of the developm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5d42c78a4be9e974167b8c573bee33a6
https://hal.univ-grenoble-alpes.fr/hal-02004396
https://hal.univ-grenoble-alpes.fr/hal-02004396