Modeling Airport Security: the EDEMOI 1 approach (2008)
Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-gouge, C. Dubois, R. Laleau, ...
The security of civil aviation is governed by a series of international standards and recommended practices that detail the responsibilities of the various stakeholders (states, operators,...
Formal B Specifications Abstract (2008)
A. Idani, Y. Ledru, Akram Idani, Yves Ledru
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeholders who are not...
ICSSEA 2003-10 Maury Intégration de TOBIAS et UCASTING pour la génération de tests (2008)
O. Maury, Y. Ledru, L. Du Bousquet
Résumé: Nous présentons une approche basée sur la combinaison de deux techniques de génération de tests. D’une part, l’outil TOBIAS permet de générer de manière systématique de...
Test of the icare platform fusion mechanism (2005)
S. Dupuy-chessa, S. Dupuy-chessa, L. Du Bousquet, L. Du Bousquet, J. Bouchet, J. Bouchet, ...
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces using a fusion...
Case study in JML-based software validation (2004)
L. Du Bousquet, Y. Ledru, O. Maury, C. Oriat, L. Bousquet, ...
This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that JML can easily be integrated with classical testing tools based on...
An Overview of RoZ: A Tool for Integrating UML and Z Specifications (2000)
S. Dupuy, S. Dupuy, Y. Ledru, Y. Ledru, M. Chabre-peccoud, M. Chabre-peccoud
Abstract. This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML class...
Building a Federation of (1999)
J. Estublier, Y. Ledru, P. Y. Cunin
We define a federation as a software application built mainly from COTS. A COTS, being designed to be executed stand alone, mainly interacts with users and reacts to changes perceived in its...
Specification and Animation of a Bank Transfer (1995)
Ledru Laboratoire De, Y. Ledru
The development of formal specifications may benefit from prototyping activities. The production of an executable model for a given description helps bridging the gap between this specification and...