Abstract
The sudden death of Arrmando in February devastated his many friends and colleagues around the world. I had known him for almost twenty years and I cannot but remember him in very personal terms. Hence, this brief account of his life and work will be written in the first person singular and represents mainly my own impressions of him as a man and as a scientist/academic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Frias, M.: Fork algebras in algebra, logic and computer science. World Scientific, Singapore (2002); (Advances in Logic, Vol. 2)
Haeberer, A.M., Maibaum, T.S.E.: Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering. In: Proc - 23rd International Conference on Software Engineering, Toronto. IEEE Computer Society Press, Los Alamitos (2001)
Cengarle, M.V., Haeberer, A.M.: A formal approach to specification-based black-box testing. In: Workshop on Modelling Software System Structures in a Fastly Moving Scenario, Proc of the.. Santa Margherita Ligure, Italia (June 2000), http://www.disi.unige.it/person/FerrandoE/MSSSworkshop
Cengarle, M.V., Haeberer, A.M.: Specifications, programs, and confirmation. In: Proc Workshop on Requirements, Design, Correct Construction, And Verification: Mind The Gaps!, F.A.S.T. mbH- Munich (April 2000), www.fast.de
Haeberer, A.M., Maibaum, T.S.E.: The Very Idea of Software Development Environments - A Conceptual Architecture for the ARTS Environment Paradigm. In: International Conference on Automated Software Engineering (ASE 1998), Havaii (1998)
Cengarle, M.V., Haeberer, A.M.: Towards an epistemology-based methodology for verification and validation testing. Technical Report 0001, Ludwig-Maximilians-Universität München, Institut für Informatik (January 2000), http://www.pst.informatik.uni-muenchen.de/bibtex/bibtex.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Maibaum, T. (2003). In Memoriam Armando Martín Haeberer. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive