Regine Laleau

15 papers A 2B 4C 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2018 B conf
Back Propagating B System Updates on SysML/KAOS Domain Models.
ICECCS
Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
2017 — conf
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach.
RE Workshops
Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier
2016 B conf
A tool for the generation of a secure access control filter.
RCIS
Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg
2016 B conf
SGAC: A patient-centered access control method.
RCIS
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
2013 B conf
An overview of a SysML extension for goal-oriented NFR modelling: Poster paper.
RCIS
Christophe Gnaho, Farida Semmak, Regine Laleau
2002 — conf
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
ZB
Regine Laleau, Fiona Polack
2001 A conf
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems.
CAiSE
Regine Laleau, Fiona Polack
2001 J jnl
Specification of integrity-preserving operations in information systems by using a formal UML-based language.
Inf. Softw. Technol.
Regine Laleau, Fiona Polack
2000 — conf
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications.
ICEIS
Regine Laleau
1999 J jnl
Processus d'optimisation conceptuelle d'un schéma orienté-objet.
Obj. Logiciel Base données Réseaux
Nadira Lammari, Regine Laleau, Mireille Jouve
1996 A conf
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints.
CAiSE
Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
1995 — conf
Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?.
INFORSID
Philippe Facon, Regine Laleau
1995 — conf
Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données.
INFORSID
Regine Laleau, Nassim Hadj Rabia
1994 — conf
An Algorithm for IS_A Hierarchy Derivation.
OOIS
Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
1993 C conf
Modeling Semantic Data Concepts with VDM.
SEKE
Regine Laleau, Philippe Facon