- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c15 |      | Eduardo Rafael López Ruiz, Michel Lemoine: Can Regulatory Bodies Expect Efficient Help from Formal Methods?. NASA Formal Methods 2010: 87-96 |
| 2007 | ||
| c14 | | 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 |
| c13 |  | Robert Darimont, Michel Lemoine: Security Requirements for Civil Aviation with UML and Goal Orientation. REFSQ 2007: 292-299 |
| e2 | | Régine Laleau, Michel Lemoine (Eds.): Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006. CEUR Workshop Proceedings 241, CEUR-WS.org 2007 |
| 2006 | ||
| j1 | | 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) |
| c12 | | |
| c11 | | |
| c10 | | 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 |
| 2002 | ||
| c9 | | Michel Lemoine, Jack Foisseau: Managing (Requirements) Evolutions of High Assurance Systems. RE 2002: 91 |
| 2001 | ||
| c8 | | 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 | ||
| e1 | | Oscar Nierstrasz, Michel Lemoine (Eds.): 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. Lecture Notes in Computer Science 1687, Springer 1999, isbn 3-540-66538-2 |
| 1998 | ||
| c7 | | Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler: Validating Requirements: The Evolutionary Approach. COMPSAC 1998: 458-463 |
| 1991 | ||
| c6 | | Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136 |
| 1989 | ||
| c5 | | Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice: Method Driven Programming. IFIP Congress 1989: 351-356 |
| 1987 | ||
| c4 | | Michel Lemoine, René Jacquart, Guy Zanon: SPRAC: A Software Engineering Environment. STACS 1987: 477-478 |
| 1986 | ||
| c3 | | 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 | ||
| c2 | | 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 | ||
| c1 | | Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine: A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress 1977: 453-457 |
Colors in the list of coauthors
Last update Fri May 24 02:49:41 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page