Bertrand Meyer's technology+ blog
Software engineering, programming methodology, languages, verification, general technology, publication culture, and more
Bertrand Meyer Bertrand Meyer, Software engineering as a domain to formalize, available here. This article is meant as a blog but was written as a standard text and I haven’t had the time to HTML-ize yet. So I am just providing an abstract below, and linking to the PDF which gives the details. The purpose is simple: … Read more
Academic life includes self-governance and require people to sit in committees, take on various duties, serve as director of studies, graduate program director, chair of PhD chair of external relations, department vice chair or chair, dean… Not everyone wants to play. It is not rare to encounter faculty members who tell you bluntly that as … Read more
The dominant discourse right now is “Calm down, this is just the normal game of democracy”. Actually, “this” is not the normal course of democracy. Everyone has experienced the disappointment of a favored candidate losing. The result of Tuesday is something else, not seen before in our lifetime: the triumph of indecency and the rout … Read more
This week, Informatics Europe, the association of European computer science departments and industry research centers, is holding its annual ECSS event, bizarrely billed as “20 years of Informatics Europe”. (Informatics Europe was created at the end of 2006 and incorporated officially in 2011. The first ever mention of the name appeared in an email from … Read more
Reading notes. From: Quelques éléments d’histoire des nombres négatifs (Elements of a history of negative numbers) by Anne Boyé, Proyecto Pénélope, 2002, revision available here; On Solving Equations, Negative Numbers, and Other Absurdities: Part II by Ralph Raimi, available here; Note sur l’histoire des nombres entiers négatifs (Note on the History of Negative Numbers) by … Read more
Recently I prepared some of my books for free access on the Web (after gaining agreement from the publishers). Here are the corresponding links. They actually point to pages that present the respective books and have further links to the actual PDF versions. Although the texts are essentially those of the books as published, I … Read more
July 14 (still here for 15 minutes) is not a bad opportunity to announced the publication of a new book: The French School of Programming. The book is a collection of chapters, thirteen of them, by rock stars of programming and software engineering research (plus me), preceded by a Foreword by Jim Woodcock and a … Read more
[English version forthcoming.] Que peut-on faire ? Un pays vieux d’un millénaire et demi est en train de se suicider. Pour tentant que soit le désespoir, il est encore temps d’agir. Le pire scénario, c’est la menace de la gauche. Ce qu’il restait de sociaux-démocrates s’est prosterné devant une bande d’extrémistes décidés à détruire toute … Read more
What is going on? In the US, the leading presidential candidate is a vulgar crook, a serial business failure and convicted business fraudster; more ominously, he acts like a vassal to Putin. His first term was an endless string of catastrophes, including the deaths of hundreds of thousands of his compatriots through gross mismanagement. And … Read more