An overview of a method and its support tool for generating B specifications from UML notations R Laleau, A Mammar Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000 | 117 | 2000 |
A first attempt to combine SysML requirements diagrams and B R Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B Tatibouet Innovations in Systems and Software Engineering 6, 47-54, 2010 | 98 | 2010 |
Coming and going from UML to B: a proposal to support traceability in rigorous IS development R Laleau, F Polack International Conference of B and Z Users, 517-534, 2002 | 71 | 2002 |
Mapping object diagrams into B specifications P Facon, R Laleau, HP Nguyen Proceedings of the Methods Integration Workshop, 1996 | 63 | 1996 |
A goal-based approach to guide the design of an abstract Event-B specification A Matoussi, F Gervais, R Laleau 2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011 | 60 | 2011 |
From a B formal specification to an executable code: application to the relational database domain A Mammar, R Laleau Information and Software Technology 48 (4), 253-279, 2006 | 54 | 2006 |
Extending statecharts with process algebra operators M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis Innovations in Systems and Software Engineering 4, 285-292, 2008 | 53 | 2008 |
Reuse of specification patterns with the B method S Blazy, F Gervais, R Laleau ZB 2003: Formal Specification and Development in Z and B: Third …, 2003 | 51 | 2003 |
A generic process to refine a B specification into a relational database implementation R Laleau, A Mammar ZB 2000: Formal Specification and Development in Z and B: First …, 2000 | 46 | 2000 |
A survey of non-functional requirements in software development process A Matoussi, R Laleau LACL, 2008 | 44 | 2008 |
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach SJ Tueno Fotso, M Frappier, R Laleau, A Mammar Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 42 | 2018 |
Combining UML, ASTD and B for the formal specification of an access control filter J Milhau, A Idani, R Laleau, MA Labiadh, Y Ledru, M Frappier Innovations in Systems and Software Engineering 7, 303-313, 2011 | 39 | 2011 |
Secure databases: an analysis of Clark-Wilson model in a database environment X Ge, F Polack, R Laleau Advanced Information Systems Engineering: 16th International Conference …, 2004 | 37 | 2004 |
On the use of domain and system knowledge modeling in goal-based Event-B specifications A Mammar, R Laleau International Symposium on Leveraging Applications of Formal Methods, 325-339, 2016 | 35 | 2016 |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard A Mammar, M Frappier, SJ Tueno Fotso, R Laleau Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 32 | 2018 |
Using RELAX, SysML and KAOS for ambient systems requirements modeling M Ahmad, JM Bruel, R Laleau, C Gnaho Procedia Computer Science 10, 474-481, 2012 | 32 | 2012 |
A formal approach based on UML and B for the specification and development of database applications A Mammar, R Laleau Automated Software Engineering 13, 497-528, 2006 | 32 | 2006 |
Taking into account functional models in the validation of is security policies Y Ledru, A Idani, J Milhau, N Qamar, R Laleau, JL Richier, MA Labiadh Advanced Information Systems Engineering Workshops: CAiSE 2011 International …, 2011 | 31 | 2011 |
Combining UML with the B formal method for the specification of database applications P Facon, R Laleau, A Mammar CEDRIC Lab/CNAM, 1999 | 31 | 1999 |
State-based versus event-based specifications for information systems: a comparison of B and eb3 B Fraikin, M Frappier, R Laleau Software & Systems Modeling 4, 236-257, 2005 | 30 | 2005 |