The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Lemoine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michel Lemoine, D. Marre, P. Thuillier, J.-L. Wippler
    Validating Requirements: The Evolutionary Approach. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:458-463 [Conf]
  2. Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, Deepak Kapur
    A Survey: Applying Formal Methods to a Software Intensive System. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:55-64 [Conf]
  3. Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice
    Method Driven Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:351-356 [Conf]
  4. Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine
    A Procedural Language for the Relational Data Base Management System "Syntex". [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:453-457 [Conf]
  5. Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
    Programming Development with or without Coding. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:327-330 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:895-902 [Conf]
  7. Michel Lemoine, Jack Foisseau
    Managing (Requirements) Evolutions of High Assurance Systems. [Citation Graph (0, 0)][DBLP]
    RE, 2002, pp:91- [Conf]
  8. Michel Lemoine, René Jacquart, Guy Zanon
    SPRAC: A Software Engineering Environment. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:477-478 [Conf]
  9. Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
    Construction and Reuse of Formal Program Developments. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:120-136 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:61-72 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
  12. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
  13. Robert Darimont, Michel Lemoine
    Security Requirements for Civil Aviation with UML and Goal Orientation. [Citation Graph (0, 0)][DBLP]
    REFSQ, 2007, pp:292-299 [Conf]

  14. Preface. [Citation Graph (, )][DBLP]


  15. Goal-oriented Analysis of Regulations. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002