2017/12/14 by Bertrand Meyer, Meyer, Bertrand · 2 voices
Computer Science · Decision Sciences · #Formal Methods in Verification #Logic, programming, and type systems #Scientific Computing and Data Management #cs.SE
paper · pdf · doi:10.48550/arxiv.1712.05078
openalex publication_date 2017/12/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 .