Michel Lemoine

24 papers A 2B 3Journal 2Unranked 11
YearRankTypeTitle / Venue / Authors
2018 — conf
Goal-driven elaboration of OCL enriched UML class diagrams.
MoDELS (Workshops)
Robert Darimont, Christophe Ponsard, Michel Lemoine
2010 — conf
Can Regulatory Bodies Expect Efficient Help from Formal Methods?.
NASA Formal Methods
Eduardo Rafael López Ruiz, Michel Lemoine
2007 — ed.
Proceedings of the CAiSE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006
ReMo2V
Régine Laleau, Michel Lemoine
2007 B conf
Security Requirements for Civil Aviation with UML and Goal Orientation.
REFSQ
Robert Darimont, Michel Lemoine
2007 B conf
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
2006 J jnl
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract.
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 — conf
An attempt to combine UML and formal methods to model airport security.
CAiSE Forum
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006 — conf
Goal-oriented Analysis of Regulations.
ReMo2V
Robert Darimont, Michel Lemoine
2006 — conf
Preface.
ReMo2V
Régine Laleau, Michel Lemoine
2004 — ch.
Conclusions.
Formal Methods for Embedded Distributed Systems
Fabrice Kordon, Michel Lemoine
2004 — book
Formal Methods for Embedded Distributed Systems - How to Master the Complexity
Formal Methods for Embedded Distributed Systems
Fabrice Kordon, Michel Lemoine
2004 — ch.
From UML to Z.
Formal Methods for Embedded Distributed Systems
Michel Lemoine, Gervais Gaudiére
2004 — ch.
The BART Case Study.
Formal Methods for Embedded Distributed Systems
Victor L. Winter, Fabrice Kordon, Michel Lemoine
2002 A conf
Managing (Requirements) Evolutions of High Assurance Systems.
RE
Michel Lemoine, Jack Foisseau
2001 — conf
A Survey: Applying Formal Methods to a Software Intensive System.
HASE
Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur
1999 — ed.
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
ESEC / SIGSOFT FSE
Oscar Nierstrasz, Michel Lemoine
1998 B conf
Validating Requirements: The Evolutionary Approach.
COMPSAC
Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler
1991 — conf
Construction and Reuse of Formal Program Developments.
TAPSOFT, Vol.2
Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
1989 — conf
Method Driven Programming.
IFIP Congress
Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice
1987 A conf
SPRAC: A Software Engineering Environment.
STACS
Michel Lemoine, René Jacquart, Guy Zanon
1986 — conf
Surveying Software Tools for a Method Driven Environment.
IFIP Congress
K. Ryan, J. A. Redmond, Donald O'Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth
1981 J jnl
Software Transferability: A Practical Approach.
Softw. Pract. Exp.
Michel Lemoine, J. Mullor
1980 — conf
Programming Development with or without Coding.
IFIP Congress
Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
1977 — conf
A Procedural Language for the Relational Data Base Management System "Syntex".
IFIP Congress
Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine