Régine Laleau

An overview of a method and its support tool for generating B specifications from UML notations

Régine Laleau, Amel Mammar · 2000 · 66 citations

Software Maintenance, Prototype Support Tool, Engineering +22

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi et al. · Innovations in Systems and Software Engineering · 2009 · 65 citations

Sysml Requirements Diagrams, Software Requirement, Engineering +13

From a B formal specification to an executable code: application to the relational database domain

Amel Mammar, Régine Laleau · Information and Software Technology · 2005 · 38 citations

Relational Database, Engineering, Relational Database Domain +16

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau · 2011 · 36 citations

Event-driven Architecture, Engineering, Requirement Modeling +22

Modeling a landing gear system in Event-B

Amel Mammar, Régine Laleau · International Journal on Software Tools for Technology Transfer · 2015 · 26 citations

Engineering, Aerospace Engineering, Aerospace Simulation +8