Michel Lemoine

Publication Activity (10 Years)

Years Active: 1977-2018
Publications (10 Years): 1

Top Topics

Software Artifacts

Top Venues

MoDELS (Workshops)

Publications

Robert Darimont, Christophe Ponsard, Michel Lemoine
Goal-driven elaboration of OCL enriched UML class diagrams. MoDELS (Workshops) (2018)
Eduardo Rafael López Ruiz, Michel Lemoine
Can Regulatory Bodies Expect Efficient Help from Formal Methods?. NASA Formal Methods (2010)
Robert Darimont, Michel Lemoine
Security Requirements for Civil Aviation with UML and Goal Orientation. REFSQ (2007)
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)
Régine Laleau, Michel Lemoine
Preface. ReMo2V (2006)
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. Softw. Process. Improv. Pract. 11 (5) (2006)
Robert Darimont, Michel Lemoine
Goal-oriented Analysis of Regulations. ReMo2V (2006)
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)
Michel Lemoine, Jack Foisseau
Managing (Requirements) Evolutions of High Assurance Systems. RE (2002)
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)
Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler
Validating Requirements: The Evolutionary Approach. COMPSAC (1998)
Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 (1991)
Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice
Method Driven Programming. IFIP Congress (1989)
Michel Lemoine, René Jacquart, Guy Zanon
SPRAC: A Software Engineering Environment. STACS (1987)
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)
Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
Programming Development with or without Coding. IFIP Congress (1980)
Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine
A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress (1977)