Author of the publication

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

Multiparadigm Specification Languages: A First Attempt at Foundations., and . Semantics of Specification Languages, page 168-185. Springer, (1993)On the Deployment of IoT Systems: An Industrial Survey., , , , and . ICSA Companion, page 17-24. IEEE, (2020)DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications., and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 96-110. Springer, (2006)Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML., , and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 273-292. Springer, (2000)Algebraic-Oriented Institutions., and . AMAST, page 201-208. Springer, (1993)Introduction to the special section on fundamental approaches to software engineering., , and . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 415-416 (2007)Fight silent horror unit test methods by consulting a TestWizard., , , and . J. Softw. Evol. Process., (April 2023)Two experiments for evaluating the impact of Hamcrest and AssertJ on assertion development., , , and . Softw. Qual. J., 28 (3): 1113-1145 (2020)COVID-19 hits the job market: an 88 million job ads analysis., , and . SAC, page 1721-1726. ACM, (2021)Civic participation powered by ethereum: a proposal., and . Programming, page 15:1-15:6. ACM, (2019)