Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jean-Frédéric Étienne"'
Publikováno v:
Innovations in Systems and Software Engineering. 4:267-274
We propose an automatic transformation of Focal specifications to UML class diagrams. The main motivation for this work lies within the framework of the EDEMOI project, which aims to integrate and apply several requirements engineering and formal met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4922b56915c5a58654d319f32444b55d
https://doi.org/10.1007/s11334-008-0060-5
https://doi.org/10.1007/s11334-008-0060-5
Publikováno v:
Complex Systems Design & Management ISBN: 9783642156533
CSDM
CSDM
We present our return of experience in using Simulink Design Verifier for the verification and validation of a safety-critical function. The case study concerns the train tracking function for an automatic train protection system (ATP). We basically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0616ddb002ef774bbda2ef6868103a59
https://doi.org/10.1007/978-3-642-15654-0_4
https://doi.org/10.1007/978-3-642-15654-0_4
Publikováno v:
RELAW
We present the formalization of regulations intended to ensure airport security in the framework of civil aviation. In particular, we describe the formal models of two standards, one at the international level and the other at the European level. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e98e8cc6ccea03da7d5aeb8eb7c4dd6a
https://doi.org/10.1109/relaw.2008.5
https://doi.org/10.1109/relaw.2008.5
Publikováno v:
TASE
We propose an automatic transformation of focal specifications to UML class diagrams. The main motivation for this work lies within the framework of the EDEMOI project, which aims to integrate and apply several requirements engineering and formal met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a924569cd1a3514aa09547a70b21176b
https://doi.org/10.1109/tase.2008.35
https://doi.org/10.1109/tase.2008.35
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540745907
TPHOLs
TPHOLs
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode consistency analysis, which verifies if a computation is possible w.r.t.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c37df210ab0fb82e9d53b21ef2ac31f2
https://doi.org/10.1007/978-3-540-74591-4_7
https://doi.org/10.1007/978-3-540-74591-4_7
Publikováno v:
ISoLA
We present the validation of regulations intended to ensure airport security in the framework of civil aviation. In particular, we describe the proofs of correctness/completeness for two standards, one at the international level and the other at the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fa020e4fc0867cbfb601b7dcf09954b
https://doi.org/10.1109/isola.2006.25
https://doi.org/10.1109/isola.2006.25