dblp.uni-trier.dewww.uni-trier.de

Michel Lemoine

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
15EERobert Darimont, Michel Lemoine: Security Requirements for Civil Aviation with UML and Goal Orientation. REFSQ 2007: 292-299
2006
14EEYves 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
13EERobert Darimont, Michel Lemoine: Goal-oriented Analysis of Regulations. ReMo2V 2006
12EERégine Laleau, Michel Lemoine: Preface. ReMo2V 2006
11EERé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
10EEMichel 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
7EEMichel 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

Coauthor Index

1Didier Bert [11] [14] [16]
2Fabrice Bouquet [16]
3Jacques Cazin [5] [6]
4Patrice Cros [6]
5Robert Darimont [13] [15]
6Manfred Dausmann [3]
7Véronique Donzeau-Gouge [11] [14] [16]
8Ephrem S. Dorkenoo [1]
9Catherine Dubois [11] [14] [16]
10Jack Foisseau [2] [10]
11Gervais Gaudiére [9]
12Adriaan de Groot [9]
13Jozef Hooman [9]
14A. Hunot [3]
15René Jacquart [2] [4] [5] [6]
16Deepak Kapur [9]
17Fabrice Kordon [9]
18Régine Laleau (Regine Laleau) [11] [12] [14] [16] [17]
19Yves Ledru [11] [14] [16]
20Michel Lemaître [1] [2]
21D. Marre [7]
22Boyd Mathews [3]
23P. Maurice [5]
24P. Michel [5] [6]
25Oscar Nierstrasz [8]
26Donald O'Neill [3]
27Emmanuel Paviot-Adet [9]
28Fabien Peureux [11] [14]
29J. A. Redmond [3]
30K. Ryan [3]
31P. Thuillier [7]
32Isabelle Vernier-Mounier [9]
33J. C. Vignat [2]
34Sylvie Vignes [11] [14] [16]
35K. Wachsmuth [3]
36Victor L. Winter [9]
37J.-L. Wippler [7]
38Guy Zanon [2] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)