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

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions., and . Acta Informatica, 35 (12): 1007-1036 (1998)Shared QA for producing free educational materials at the FTA., , , and . OKCon, volume 739 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Improving students' code correctness and test completeness by informal specifications., , , , and . CoRR, (2023)On the Creation of a Reference Framework for Software Product Management: Validation and Tool Support., , , , and . IWSPM, page 3-12. IEEE Computer Society, (2006)Free technology academy: a European initiative for distance education about free software and open standards., , , and . ITiCSE, page 70-74. ACM, (2009)How do Students Test Software Units?, , , , and . ICSE (SEET), page 189-198. IEEE, (2021)Model-based specification.. Inf. Process. Lett., 77 (2-4): 77-84 (2001)Maintaining Unit Tests During Refactoring., , and . PPPJ, page 18:1-18:6. ACM, (2016)Towards a Tool to Support Students through Procedural Programming Guidance., , , , and . CSERC, page 13-23. ACM, (2022)Evaluation of a Structured Design Methodology for Concurrent Programming., , , , , and . CSERC, page 58-65. ACM, (2019)