|
Search the dblp DataBase
Frédéric Gervais:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
A First Attempt to Express KAOS Refinement Patterns with Event B. [Citation Graph (, )][DBLP]
B-ASM: Specification of ASM à la B. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|