Recently I had a need to collect my education-related publications, so I went through my publication list and extracted items devoted to issues of learning computer science (informatics) and software engineering. There turned out to be far more than I expected; I did not think of myself as primarily an education researcher but it seems […]

The post Publications on CS/SE/informatics education appeared first on Bertrand Meyer's technology+ blog.

As part of our monthly beta version program, we are pleased to make EiffelStudio 19.06 available.

English to math to English: a formal detour yields better natural-language requirements

The post The Formal Picnic approach to requirements appeared first on Bertrand Meyer's technology+ blog.

(Originally published on CACM blog.) Most of the world programs in a very strange way. Strange to me. I usually hear the reverse question: people ask us, the Eiffel community, to explain why we program our way. I hardly understand the question, because the only mystery is how anyone can even program in any other […]

The post Why not program right? appeared first on Bertrand Meyer's technology+ blog.

Every couple of weeks or so, I receive a message such as the one below; whenever I give a talk on any computer science topic anywhere in the world, strangers come to me to express similar sentiments. While I enjoy compliments as much as anyone else, I am not the right recipient for such comments. […]

The post Mainstream enough for me appeared first on Bertrand Meyer's technology+ blog.

We “core” computer scientists and software engineers always whine that our research themes forever prevent us, to the delight of our physicist colleagues but unjustly, from reaching the gold standard of academic recognition: publishing in Nature. I think I have broken this barrier now by disproving the old, dusty laws of physics! Brace yourself for […]

The post Festina retro appeared first on Bertrand Meyer's technology+ blog.