[This note was first published in my newsletter (23 November 2025. One can subscribe to the newsletter here.] I might sound like a broken record, but the CloudFlare outage is one more example of the consequences of the software industry making the wrong technical choices. Where were the contracts? Rust, by all accounts the language ... Read more

The post CloudFlare outage: the lesson that will not be drawn appeared first on Bertrand Meyer's technology+ blog.

(A version of this note was published as three separate articles in the Communications of the ACM blog.) Work in engineering, science or technology can only be effective if it relies on precisely defined concepts. For the fundamental notions taught at school, particularly in mathematics, physics, and chemistry, the definitions, honed over centuries, have become ... Read more

The post Criteria and recipes for good technical definitions appeared first on Bertrand Meyer's technology+ blog.

Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel and Bertrand Meyer, UOOR: Seamless and Traceable Requirements, submitted for publication, February 2025, preprint available on arXiv. This article grew out of Maria Naumcheva’s PhD thesis defended on December 18 at the University of Toulouse (I will write separately about the thesis as a whole). It is part of ... Read more

The post New preprint: Seamless and Traceable Requirements appeared first on Bertrand Meyer's technology+ blog.

Li Huang, Bertrand Meyer and Reto Weber, New preprint: Loop unrolling:  formal definition and application to testing, February 2025, submitted to publication. Available here on arXiv and also here. Abstract Testing coverage criteria usually make a gross simplification: they assume that loops will have their bodies executed 0 or 1 time. How much (specificall,y how ... Read more

The post New preprint: Loop unrolling — formal definition and application to testing appeared first on Bertrand Meyer's technology+ blog.

Just published: Li Huang, Bertrand Meyer and Manuel Oriol, Seeding Contradiction: a fast method for generating full-coverage test suites, in Springer Nature Computer Science, vol. 6, no. 4, 2025. The text is available here on the publisher’s site. Also available is a preprint version. This just published SNCS article and revised and extended from a ... Read more

The post New paper: seeding contradiction appeared first on Bertrand Meyer's technology+ blog.

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

The post New preprint: Software engineering as a domain to formalize appeared first on Bertrand Meyer's technology+ blog.

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

The post Freely accessible books appeared first on Bertrand Meyer's technology+ blog.

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

The post The French School of Programming appeared first on Bertrand Meyer's technology+ blog.

First Udemy tutorial for native Console Eiffel applications is available for $39.99.

https://www.udemy.com/course/eiffel-console-programming-for-c-oo-developers.