Bertrand Meyer is Professor of Software Engineering at Constructor Institute, Schaffhausen (Switzerland), Professor Emeritus, ETH Zurich, and CTO of Eiffel Software. He is the author of several seminal books including "Agile!", "Touch of Class" (both with Springer) and "Object-Oriented Software Construction".

• The French School of Programming: A Personal View.- Part I: Software Engineering.- “Testing can be formal too”: 30 years later.- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property.- Modeling: From CASE Tools to SLE and Machine Learning.- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account.- Part II: Programming language mechanisms and type systems.- From Procedures, Objects, Actors, Components, Services, to Agents.- Semantics and syntax, between computer science and mathematics.- Some remarks about Dependent Type Theory.- Part III: Theory.- A Personal Historical Perspective on Abstract Interpretation.- Tracking Redexes in the Lambda Calculus.- Confluence of terminating rewriting computations.- Part IV: Language design and programming methodology.- Programming with union, intersection, and negation types.- Right and wrong: ten choices in language design.

Bertrand Meyer is Professor of Software Engineering at Constructor Institute, Schaffhausen (Switzerland), Professor Emeritus, ETH Zurich, and CTO of Eiffel Software. He is the author of several seminal books including "Agile!", "Touch of Class" (both with Springer) and "Object-Oriented Software Construction".

• The French School of Programming: A Personal View.- Part I: Software Engineering.- “Testing can be formal too”: 30 years later.- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property.- Modeling: From CASE Tools to SLE and Machine Learning.- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account.- Part II: Programming language mechanisms and type systems.- From Procedures, Objects, Actors, Components, Services, to Agents.- Semantics and syntax, between computer science and mathematics.- Some remarks about Dependent Type Theory.- Part III: Theory.- A Personal Historical Perspective on Abstract Interpretation.- Tracking Redexes in the Lambda Calculus.- Confluence of terminating rewriting computations.- Part IV: Language design and programming methodology.- Programming with union, intersection, and negation types.- Right and wrong: ten choices in language design.

Bertrand Meyer is Professor of Software Engineering at Constructor Institute, Schaffhausen (Switzerland), Professor Emeritus, ETH Zurich, and CTO of Eiffel Software. He is the author of several seminal books including "Agile!", "Touch of Class" (both with Springer) and "Object-Oriented Software Construction".

• The French School of Programming: A Personal View.- Part I: Software Engineering.- “Testing can be formal too”: 30 years later.- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property.- Modeling: From CASE Tools to SLE and Machine Learning.- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account.- Part II: Programming language mechanisms and type systems.- From Procedures, Objects, Actors, Components, Services, to Agents.- Semantics and syntax, between computer science and mathematics.- Some remarks about Dependent Type Theory.- Part III: Theory.- A Personal Historical Perspective on Abstract Interpretation.- Tracking Redexes in the Lambda Calculus.- Confluence of terminating rewriting computations.- Part IV: Language design and programming methodology.- Programming with union, intersection, and negation types.- Right and wrong: ten choices in language design.