BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Latvia
1 × Portugal
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × UK
1 × USA
Collaborated with:
M.Frappier F.Gervais A.Mammar F.Polack P.Facon J.Milhau X.Ge J.Brunet F.Semmak C.Gnaho P.Batanado N.Evans H.Treharne N.Lammari M.Jouve X.Castellani M.E.Jiague P.Konopacki R.St.-Denis
Talks about:
databas (6) model (5) specif (3) applic (3) uml (3) transact (2) function (2) attribut (2) synthes (2) generat (2)

Person: Régine Laleau

DBLP DBLP: Laleau:R=eacute=gine

Contributed to:

ICEIS ISAS 20102010
IFM 20102010
ICEIS ISAS v2 20082008
ICEIS ISAS 20062006
IFM 20052005
SEFM 20052005
CAiSE 20042004
SEFM 20042004
FME 20032003
CAiSE 20012001
ASE 20002000
ICEIS 20002000
CAiSE 19961996
SEKE 19931993

Wrote 14 papers:

ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security
Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
IFM-2010-MilhauFGL
Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
ICEIS-ISAS2-2008-BrunetSLG #modelling #using
Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.
ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.
IFM-2005-GervaisFL #specification
Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.
SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
CAiSE-2004-GePL #analysis #database
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment (XG, FP, RL), pp. 234–247.
SEFM-2004-EvansTLF #how #information management #verification
How to Verify Dynamic Properties of Information Systems (NE, HT, RL, MF), pp. 416–425.
FME-2003-MammarL #automation #database #design #proving #refinement
Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.
CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
ASE-2000-LaleauM #generative #overview #specification #uml
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.
ICEIS-2000-Laleau #database #formal method #on the #specification #uml
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.
CAiSE-1996-LammariLJC #constraints #normalisation #using
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.
SEKE-1993-LaleauF #concept #modelling #semantics
Modeling Semantic Data Concepts with VDM (RL, PF), pp. 228–230.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.