Author of the publication

Modélisation événementielle pour la construction de diagrammes de classes.

, , and . Ingénierie des Systèmes d Inf., 13 (3): 131-155 (2008)

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.

 

Other publications of authors with the same name

A method and a language for constructing iterative programs., and . Sci. Comput. Program., 5 (2): 201-218 (1985)A Systematic Approach to Transform OMT Diagrams to a B Specification., and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 875-895. Springer, (1999)A "Coming and Going" Approach to Specification Construction: A Scenario., and . IWSSD, page 155-158. IEEE Computer Society, (1996)Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation., , , , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 54-69. Springer, (2018)Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns., and . RE Workshops, page 116-122. IEEE, (2019)Integrating UML and B Specification Techniques., and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 641-648. Konstanz UVK-Verl.-Ges., (2001)Description and Improvement of Iterative Program Transformations., and . Sci. Comput. Program., 5 (3): 233-264 (1985)Reusing Operational Requirements: A Process-Oriented Approach., and . RE, page 16-. IEEE Computer Society, (1997)Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B., and . APSEC, page 495-. IEEE Computer Society, (2002)Modélisation événementielle pour la construction de diagrammes de classes., , and . Ingénierie des Systèmes d Inf., 13 (3): 131-155 (2008)