Apr 02
EiffelStudio 19.03, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.03 available.
Mar 21
Gobo Eiffel 19.03 released
Mar 08
EiffelStudio 19.02, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.02 available.
Feb 05
EiffelStudio 19.01, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.01 available.
2018, Dec 17
The Formal Picnic approach to requirements
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.
2018, Dec 17
EiffelStudio 18.11 is now available!
We are pleased to announce the availability of EiffelStudio 18.11.
2018, Dec 02
Set Theory 0.30.d
Software library of Eiffel classes modeled upon set theory
2018, Nov 28
Gobo Eiffel 4.3 released
2018, Nov 10
Set Theory 0.30.c
Software library of Eiffel classes modeled upon set theory
2018, Oct 15
A String Editing Class
2018, Oct 04
Eiffel-View Repository Publisher Version 1.3
New features in Version 1.3 of the Eiffel-View Repository Publisher
2018, Sep 12
Set Theory 0.30.b
Software library of Eiffel classes modeled upon set theory
2018, Aug 27
Set Theory 0.30.a
Software library of Eiffel classes modeled upon set theory
2018, Aug 04
Set Theory 0.30 just released
Software library of Eiffel classes modeled upon set theory. Release 0.30.
2018, Jul 24
EiffelStudio 18.07 is now available!
We are pleased to announce the availability of EiffelStudio 18.07.
2018, May 25
Considerations when writing class invariants
2018, May 24
Why not program right?
(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.
2018, May 22
A Proposal to Improve the Usefulness of Routine {CHAIN}.append
2018, May 21
Introducing the map-list structure
2018, May 18
Benchmarking Five List Iteration Methods
2018, May 13
Not magic, just ironic
Computing uncomputable real numbers
2018, Apr 26
Applying the DRY Principle To Attribute Setting From Textual Data
How to better exchange data between Eiffel objects and textual data sources with the DRY principle in mind
2018, Apr 21
Getting Started with MongoDB and Eiffel
2018, Mar 19
New "eiffel" tool with EiffelStudio 18.01
EiffelStudio 18.01 comes with a new tool eiffel providing pseudo script facilities (read "(re)compile+execute at once").
2018, Mar 17
Re: Split the Root: a little design pattern
The Eiffel-Loop implementation of the `split the root' design pattern
2018, Feb 28
Mainstream 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.
2018, Feb 19
EiffelStudio 18.01 is now available!
We are pleased to announce the availability of EiffelStudio 18.01.
2018, Jan 23
Festina 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 29
Split the Root: a little design pattern
2017, Sep 24
Set Theory
Software library of Eiffel classes modeled upon set theory
2017, Sep 06
Concurrency/verification positions at Politecnico di Milano
See more ...