Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures Bernardo Marco Heftet / 2003 / Engelsk
Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures Inverardi Paola Heftet / 2006 / Engelsk
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings Fiadeiro, José Heftet / 2008 / Engelsk
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings Bures, Tomas Heftet / 2019 / Engelsk