Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A Triptych Software Development Paradigm: Domain, Requirements and Software
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Domain Engineering: A Software Engineering Discipline in Need of Research
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
| Hi-index | 0.00 |