Abstract. This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMTools...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different techniques to analyse these...
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...
methods to model airport security (2008)
Yves Ledru, Régine Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau, ...
attempt to combine UML and formal methods to model
en Génie Logiciel: Céline Directeur de thèse: (2008)
Sergio Garcia Camargo, Ingénierie Concurrente, Jacky Estublier, Joelle Coutaz, Fourier Président, ...
La croissance en taille et en complexité des logiciels actuels, ainsi que les contraintes du marché, rendent de plus en plus nécessaires les techniques d'ingénierie concurrente. Ces...
Mehdi Kessis, France Telecom R&d, Yves Ledru, Gérard Vandome
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provide enterprise...
A Formalisation of the Soccer Substitution Rules (2008)
Abstract. This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMTools...
Marie-Laure Potet et Pierre-Yves Schobbens (2008)
Marie-laure Potet, Pierre-yves Schobbens, Hubert Toussaint, Germain Saval, Marie-laure Potet, Pierre-yves Schobbens, ...
Pour son dixième anniversaire, la huitième conférence francophone sur les
An attempt to combine UML and formal methods to model airport security (2008)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-gouge, ...
Abstract. The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for verification...
Abstract. This paper evaluates the modular constructs proposed by the IFAD VDM tools. First, several case studies are presented where modules have been used for structure and refinement purposes....
An Approach to Model and Validate Airport Security (2006)
Action Concertée Incitative, Securite Informatique, Yves Ledru, Action Concertée, Incitative Sécurité Informatique, Projet Edemoi
Elaboration d’une DEmarche et d’outils pour la Modélisation Informatique, la validation et la restructuration de réglementations de « sûreté » (sécurité), et la détection des biais dans...
Expressing dynamic properties of static diagrams in Z (2003)
Yves Ledru, Sophie Dupuy-Chessa
Au cours des dernieres annees, plusieurs equipes de recherche se sont interessees a la traduction de langages graphiques tels que UML vers des methodes formelles. Les langages a base de modeles comme...
Report on the Workshop on the State of the Art in Automated Software Engineering (2002)
at U.C. Irvine hosted a workshop on the state of the art in automated software engineering. Its goal was to bring together ASE researchers for informal presentations of current work, with the hope of...
Report on the Workshop on the State of the Art in Automated Software Engineering (2002)
at U.C. Irvine hosted a workshop on the state of the art in automated software engineering. Its goal was to bring together ASE researchers for informal presentations of current work, with the hope of...
Defining an Architecture Description Language for Dassault (2000)
Yves Ledru, Rémy Sanlaville, Jacky Estublier, Dassault Systèmes
Identifying pre-conditions with the Z/EVES theorem prover (1998)
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provide a precise formal...
This report presents two versions of the specication. First an implicit version (SOCCER-IMPL) is given then an explicit version (SOCCER-EXPL), which may be executed with the toolbox, is presented.