Michel Lemoine

According to our database, Michel Lemoine authored at least 21 papers between 1977 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Goal-driven elaboration of OCL enriched UML class diagrams.

Robert Darimont, Christophe Ponsard, Michel Lemoine

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2010

Can Regulatory Bodies Expect Efficient Help from Formal Methods?.

Eduardo Rafael López Ruiz, Michel Lemoine

Proceedings of the Second NASA Formal Methods Symposium, 2010

2007

Security Requirements for Civil Aviation with UML and Goal Orientation.

Robert Darimont, Michel Lemoine

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Using Computer Science Modeling Techniques for Airport Security Certification.

Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

2006

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.

Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Softw. Process. Improv. Pract., 2006

An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Preface.

Régine Laleau, Michel Lemoine

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

Goal-oriented Analysis of Regulations.

Robert Darimont, Michel Lemoine

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2004

The BART Case Study.

Victor L. Winter, Fabrice Kordon, Michel Lemoine

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

From UML to Z.

Michel Lemoine, Gervais Gaudiére

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

Conclusions.

Fabrice Kordon, Michel Lemoine

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2002

Managing (Requirements) Evolutions of High Assurance Systems.

Michel Lemoine, Jack Foisseau

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001

A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1998

Validating Requirements: The Evolutionary Approach.

Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler

Proceedings of the COMPSAC '98, 1998

1991

Construction and Reuse of Formal Program Developments.

Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

1989

Method Driven Programming.

Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

SPRAC: A Software Engineering Environment.

Michel Lemoine, René Jacquart, Guy Zanon

Proceedings of the STACS 87, 1987

1986

Surveying Software Tools for a Method Driven Environment.

K. Ryan, J. A. Redmond, Donald O'Neill, Boyd Mathews, A. Hunot, Michel Lemoine, Manfred Dausmann, K. Wachsmuth

Proceedings of the Information Processing 86, 1986

1981

Software Transferability: A Practical Approach.

Michel Lemoine, J. Mullor

Softw. Pract. Exp., 1981

1980

Programming Development with or without Coding.

Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1977

A Procedural Language for the Relational Data Base Management System "Syntex".

Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine

Proceedings of the Information Processing, 1977