The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Gervais: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frédéric Gervais, Marc Frappier, Régine Laleau
    Refinement of eb3 Process Patterns into B Specifications. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:201-215 [Conf]
  2. Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
    EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2006, pp:44-51 [Conf]
  3. Frédéric Gervais, Marc Frappier, Régine Laleau
    Synthesizing B Specifications from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:207-226 [Conf]
  4. Frédéric Gervais
    EB4 : Vers une méthode de spécification formelle des SI. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:561-576 [Conf]
  5. Amel Mammar, Frédéric Gervais, Régine Laleau
    Systematic Identification of Preconditions from Set-Based Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:595-610 [Conf]
  6. Frédéric Gervais, Marc Frappier, Régine Laleau
    Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:117-126 [Conf]
  7. Frédéric Gervais, Marc Frappier, Régine Laleau
    How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:83-88 [Conf]
  8. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:40-57 [Conf]
  9. Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
    Synthesizing Information Systems: the APIS Project. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:73-84 [Conf]
  10. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  11. A First Attempt to Express KAOS Refinement Patterns with Event B. [Citation Graph (, )][DBLP]


  12. B-ASM: Specification of ASM à la B. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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