Fourteen Years of Software Engineering at ETH Zurich
Bertrand Meyer
TL;DR
This paper summarizes fourteen years of software engineering research at ETH Zurich, focusing on theoretical and practical topics unified by object technology in the Eiffel method.
Contribution
It provides a comprehensive overview of diverse research efforts in software engineering at ETH Zurich over 14 years, highlighting the Eiffel method as a central theme.
Findings
Extensive research on object technology and Eiffel method.
Development of theoretical frameworks and practical tools.
Influence on software engineering practices and education.
Abstract
A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal Insti-tute of Technology, from 1 October 2001 to 31 January 2016, under my leader-ship. Our work, summarized here, covered a wide range of theoretical and practi-cal topics, with object technology in the Eiffel method as the unifying thread .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Scientific Computing and Data Management