Regine Laleau

Regine Laleau

Université Paris-Est Créteil - Créteil / France
Others
AD Scientific Index ID: 1708442
University of Paris-Est Créteil
person_outline Regine Laleau's MOST POPULAR ARTICLES
1-) An overview of a method and its support tool for generating B specifications from UML notationsR Laleau, A MammarProceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 20001092000
2-) A first attempt to combine SysML requirements diagrams and BR Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B TatibouetInnovations in Systems and Software Engineering 6 (1), 47-54, 2010912010
3-) Coming and going from UML to B: a proposal to support traceability in rigorous IS developmentR Laleau, F PolackInternational Conference of B and Z Users, 517-534, 2002672002
4-) A goal-based approach to guide the design of an abstract Event-B specificationA Matoussi, F Gervais, R Laleau2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011612011
5-) Mapping object diagrams into B specificationsP Facon, R Laleau, HP NguyenProceedings of the Methods Integration Workshop, 1996611996