Author of the publication

Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study.

, , , , and . IEEE SCC, page 217-224. IEEE Computer Society, (2005)

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

Providing High Performance Distributed Computing Through Scalable Computation Servers., and . HPDC, page 70-77. IEEE, (1994)State of the Journal Address.. IEEE Trans. Software Eng., 34 (1): 1-2 (2008)LTSA-PCA: tool support for compositional reliability analysis., , and . ICSE Companion, page 548-551. ACM, (2014)RE @ runtime : the challenge of change RE'20 Conference Keynote.. RE, page 4-6. IEEE, (2020)Dynamic Reconfiguration of Business Processes., , , , and . BPM, volume 11675 of Lecture Notes in Computer Science, page 35-51. Springer, (2019)Modelling Darwin in the Pi-Caculus., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 133-152. Springer, (1994)Translating FSP into LOTOS and Networks of Automata., , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 558-578. Springer, (2007)Method engineering for multi-perspective software development., , and . Inf. Softw. Technol., 38 (4): 267-274 (1996)Structuring parallel and distributed programs., , and . CDS, page 102-117. IEEE, (1992)REGIS-DARWIN specified in the π-calculus., , and . CDS, page 213. IEEE Computer Society, (1994)