Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Véronique Viguié Donzeau-Gouge"'
This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that inter
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere
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
Autor:
Régine Laleau, Didier Bert, Fabien Peureux, Véronique Viguié Donzeau-Gouge, Sylvie Vignes, Catherine Dubois, Yves Ledru, Michel Lemoine
Publikováno v:
Software Process: Improvement and Practice
Software Process: Improvement and Practice, Wiley, 2006, 11 (5), pp.487-503
Software Process: Improvement and Practice, Wiley, 2006, 11 (5), pp.487-503
International audience; The security of civil aviation, likemany human activities, is regulated by a series of international standards and recommended practices. The quality of these documents is a prerequisite to reach an acceptable security level.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::955be47e87c5425700557f5a9e16fd57
https://doi.org/10.1002/spip.291
https://doi.org/10.1002/spip.291
Publikováno v:
Electronic Notes in Theoretical Computer Science. 66(2):84-103
This paper presents two examples taken from industrial case-studies that have been specified using an event system approach. Component specifications, taking the form of pre-post formula, have been derived. Constraints which ensure the correctness of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9e4cff0642c1fc26b13eeacf0a69e2b
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:
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
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540462194
Formal Techniques for Networked and Distributed Systems-FORTE 2006
Formal Techniques for Networked and Distributed Systems-FORTE 2006
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71bad634d26fe60ac0c3431b0ad3c5c9
https://doi.org/10.1007/11888116
https://doi.org/10.1007/11888116