2007 |
17 | | Régine Laleau,
Michel Lemoine:
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006
CEUR-WS.org 2007 |
16 | | Régine Laleau,
Yves Ledru,
Didier Bert,
Fabrice Bouquet,
Michel Lemoine,
Catherine Dubois,
Véronique Donzeau-Gouge,
Sylvie Vignes:
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS 2007: 61-72 |
15 | EE | Robert Darimont,
Michel Lemoine:
Security Requirements for Civil Aviation with UML and Goal Orientation.
REFSQ 2007: 292-299 |
2006 |
14 | EE | Yves Ledru,
Régine Laleau,
Michel Lemoine,
Sylvie Vignes,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
Fabien Peureux:
An attempt to combine UML and formal methods to model airport security.
CAiSE Forum 2006 |
13 | EE | Robert Darimont,
Michel Lemoine:
Goal-oriented Analysis of Regulations.
ReMo2V 2006 |
12 | EE | Régine Laleau,
Michel Lemoine:
Preface.
ReMo2V 2006 |
11 | EE | Régine Laleau,
Sylvie Vignes,
Yves Ledru,
Michel Lemoine,
Didier Bert,
Véronique Donzeau-Gouge,
Catherine Dubois,
Fabien Peureux:
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Software Process: Improvement and Practice 11(5): 487-503 (2006) |
2002 |
10 | EE | Michel Lemoine,
Jack Foisseau:
Managing (Requirements) Evolutions of High Assurance Systems.
RE 2002: 91 |
2001 |
9 | | Adriaan de Groot,
Jozef Hooman,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Isabelle Vernier-Mounier,
Michel Lemoine,
Gervais Gaudiére,
Victor L. Winter,
Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
HASE 2001: 55-64 |
1999 |
8 | | Oscar Nierstrasz,
Michel Lemoine:
Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings
Springer 1999 |
1998 |
7 | EE | Michel Lemoine,
D. Marre,
P. Thuillier,
J.-L. Wippler:
Validating Requirements: The Evolutionary Approach.
COMPSAC 1998: 458-463 |
1991 |
6 | | Jacques Cazin,
Patrice Cros,
René Jacquart,
Michel Lemoine,
P. Michel:
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2 1991: 120-136 |
1989 |
5 | | Jacques Cazin,
René Jacquart,
Michel Lemoine,
P. Michel,
P. Maurice:
Method Driven Programming.
IFIP Congress 1989: 351-356 |
1987 |
4 | | Michel Lemoine,
René Jacquart,
Guy Zanon:
SPRAC: A Software Engineering Environment.
STACS 1987: 477-478 |
1986 |
3 | | K. Ryan,
J. A. Redmond,
Donald O'Neill,
Boyd Mathews,
A. Hunot,
Michel Lemoine,
Manfred Dausmann,
K. Wachsmuth:
Surveying Software Tools for a Method Driven Environment.
IFIP Congress 1986: 895-902 |
1980 |
2 | | Jack Foisseau,
René Jacquart,
Michel Lemaître,
Michel Lemoine,
J. C. Vignat,
Guy Zanon:
Programming Development with or without Coding.
IFIP Congress 1980: 327-330 |
1977 |
1 | | Ephrem S. Dorkenoo,
Michel Lemaître,
Michel Lemoine:
A Procedural Language for the Relational Data Base Management System "Syntex".
IFIP Congress 1977: 453-457 |