Author of the publication

A Method for Component-Based Software and System Development.

, , and . EUROMICRO-SEAA, page 72-80. IEEE Computer Society, (2006)

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 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 method and a language for constructing iterative programs., and . Sci. Comput. Program., 5 (2): 201-218 (1985)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)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)Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns., and . RE Workshops, page 116-122. IEEE, (2019)Description and Improvement of Iterative Program Transformations., and . Sci. Comput. Program., 5 (3): 233-264 (1985)Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B., and . APSEC, page 495-. IEEE Computer Society, (2002)Reusing Operational Requirements: A Process-Oriented Approach., and . RE, page 16-. IEEE Computer Society, (1997)Contributions for Modelling UML State-Charts in B., and . IFM, volume 2335 of Lecture Notes in Computer Science, page 109-127. Springer, (2002)