报告标题：The deal with Design by Contract and why it is worth the fuss
报告时间：5月13日13：30-15：00
报告地点：理科大楼B211
报告摘要：
Design by Contract is a discipline of software construction -- requirements, design, implementation, testing, proofs, documentation, management -- which profoundly changes the way we look at software development and results in software that is “correct by construction”. It is all the more necessary in the age of AI, to counter the hallucinations and other risks of vibe coding. There is now a long experience with Design by Contract; the talk will explain the concepts and show how they can be used to produce better software and produce software better.
报告人简介：
Bertrand Meyer is an academic and entrepreneur whose career has been devoted to developing methods and tools for software quality. He is Professor Emeritus at ETH Zurich and CTO of Recognyze AI and of Eiffel Software (based in Santa Barbara, California). He was one of the pioneers in object technology through his introduction of the Design by Contract and other well-known software design concepts such as the Open-Closed Principle, and best-selling books such as Object-Oriented Software Construction. He has made important contributions to programming languages, through his design of the Eiffel language, agile methods (with another best-selling book, Agile! The Good, the Hype and the Ugly, Springer), requirements engineering (Handbook of Requirements and Business Analysis, also Springer, 2022), formal methods (with the development of the AutoProof program-proving system), concurrent programming, and software project management. His received the ACM Software System Award, the IEEE Harlan Mills Prize, the Jolt Award, the ACM SIGSOFT Influential Educator Award, is an ACM and IFIP fellow and member of Academia Europaea and the French National Academy of Technologies, and received two honorary doctorates.