| 2008 |
|---|
| 12 | EE | Abderrahman Matoussi,
Frédéric Gervais,
Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B.
ABZ 2008: 338 |
| 2007 |
|---|
| 11 | EE | Frédéric Gervais,
Marc Frappier,
Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications.
B 2007: 201-215 |
| 10 | | Marc Frappier,
Benoît Fraikin,
Frédéric Gervais,
Régine Laleau,
Mario Richard:
Synthesizing Information Systems: the APIS Project.
RCIS 2007: 73-84 |
| 9 | EE | Frédéric Gervais:
EB4, vers une méthode de spécification formelle des SI.
Ingénierie des Systèmes d'Information 12(4): 69-93 (2007) |
| 2006 |
|---|
| 8 | | Frédéric Gervais,
Panawé Batanado,
Marc Frappier,
Régine Laleau:
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.
ICEIS (3) 2006: 44-51 |
| 7 | | Frédéric Gervais:
EB4 : Vers une méthode de spécification formelle des SI.
INFORSID 2006: 561-576 |
| 6 | | Amel Mammar,
Frédéric Gervais,
Régine Laleau:
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
INFORSID 2006: 595-610 |
| 5 | EE | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method
CoRR abs/cs/0610097: (2006) |
| 2005 |
|---|
| 4 | EE | Frédéric Gervais,
Marc Frappier,
Régine Laleau:
Synthesizing B Specifications from EB3 Attribute Definitions.
IFM 2005: 207-226 |
| 3 | | Frédéric Gervais,
Marc Frappier,
Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
MSVVEIS 2005: 83-88 |
| 2 | EE | Frédéric Gervais,
Marc Frappier,
Régine Laleau:
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.
SEFM 2005: 117-126 |
| 2003 |
|---|
| 1 | EE | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method.
ZB 2003: 40-57 |
