News
Welcome
:: What's New
From new libraries, functionalities, contributions , and events, check out the latest happenings within the Eiffel Community:
-
Feb 28Mainstream enough for me
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.
-
Jan 23Festina retro
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.
-
2017, Nov 29Split the Root: a little design pattern
-
2017, Sep 06Concurrency/verification positions at Politecnico di Milano
-
2017, Jun 21LASER summer school on software for robotics: last call for registration
Much of the progress in robotics is due to software advances, and software issues remain at the heart of the formidable challenges that remain. The 2017 LASER summer school, held in September in Elba, brings together some of the most prestigious international experts in the area. The LASER school has established itself as one of […]
The post LASER summer school on software for robotics: last call for registration appeared first on Bertrand Meyer's technology+ blog.
-
2017, Jun 19The perils of feature interaction
One of the most delicate aspects of design is feature interaction. As users, we suffer daily from systems offering features that individually make sense but clash with each other. In my agile book [1] I explained in detail, building on the work of Pamela Zave, why this very problem makes one of the key ideas […]
The post The perils of feature interaction appeared first on Bertrand Meyer's technology+ blog.
-
2016, Sep 21AutoProof workshop: Verification As a Matter of Course
The AutoProof technology pursues the goal of “Verification As a Matter Of Course”, integrated into the EVE development environment. (The AutoProof project page here; see particularly the online interactive tutorial.) A one-day workshop devoted to the existing AutoProof and current development will take place on October 1 near Toulouse in France. It is an informal […]
The post AutoProof workshop: Verification As a Matter of Course appeared first on Bertrand Meyer's technology+ blog.
- See more ...