( en | de | ru )

 

Disambiguation of "Laleau, Régine"

Author of the publication

copydeleteadd this publication to your clipboard
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling.

, , , and . ANT/MobiWIS, volume 10 of Procedia Computer Science, page 474-481. Elsevier, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Régine Etienne

Régine Bonnefoit

Regine Heller

Regine Zeller

Regine Kahmann

 

Other publications of authors with the same name

Reuse of Specification Patterns with the B Method., , and . ZB, volume 2651 of Lecture Notes in Computer Science, page 40-57. Springer, (2003)A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction., and . APSEC (1), page 438-445. IEEE Computer Society, (2014)Assessment of a Formal Requirements Modeling Approach on a Transportation System., , , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 470-486. Springer, (2019)A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter., , and . Inf. Softw. Technol., (2017)A formal approach based on UML and B for the specification and development of database applications., and . Autom. Softw. Eng., 13 (4): 497-528 (2006)Supporting Variability in Goal-based Requirements., , and . RCIS, page 237-246. IEEE, (2009)Using Variants in KAOS Goal Modelling., , , and . ICEIS (3-2), page 339-344. (2008)978-989-8111-38-8.Introduction., and . Technique et Science Informatiques, 34 (5): 493-494 (2015)From a B formal specification to an executable code: application to the relational database domain., and . Inf. Softw. Technol., 48 (4): 253-279 (2006)Using formal metamodels to check consistency of functional views in information systems specification., and . Inf. Softw. Technol., 50 (7-8): 797-814 (2008)