News
-
Apr 02EiffelStudio 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 21Gobo Eiffel 19.03 released
-
Mar 08EiffelStudio 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 05EiffelStudio 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 17The 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 17EiffelStudio 18.11 is now available!
We are pleased to announce the availability of EiffelStudio 18.11.
-
2018, Dec 02Set Theory 0.30.d
Software library of Eiffel classes modeled upon set theory
-
2018, Nov 28Gobo Eiffel 4.3 released
-
2018, Nov 10Set Theory 0.30.c
Software library of Eiffel classes modeled upon set theory
-
2018, Oct 15A String Editing Class
-
2018, Oct 04Eiffel-View Repository Publisher Version 1.3
New features in Version 1.3 of the Eiffel-View Repository Publisher
-
2018, Sep 12Set Theory 0.30.b
Software library of Eiffel classes modeled upon set theory
-
2018, Aug 27Set Theory 0.30.a
Software library of Eiffel classes modeled upon set theory
-
2018, Aug 04Set Theory 0.30 just released
Software library of Eiffel classes modeled upon set theory. Release 0.30.
-
2018, Jul 24EiffelStudio 18.07 is now available!
We are pleased to announce the availability of EiffelStudio 18.07.
-
2018, May 25Considerations when writing class invariants
-
2018, May 24Why 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 22A Proposal to Improve the Usefulness of Routine {CHAIN}.append
-
2018, May 21Introducing the map-list structure
-
2018, May 18Benchmarking Five List Iteration Methods
-
2018, May 13Not magic, just ironic
Computing uncomputable real numbers
-
2018, Apr 26Applying 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 21Getting Started with MongoDB and Eiffel
-
2018, Mar 19New "eiffel" tool with EiffelStudio 18.01
EiffelStudio 18.01 comes with a new tool
eiffelproviding pseudo script facilities (read "(re)compile+execute at once"). -
2018, Mar 17Re: Split the Root: a little design pattern
The Eiffel-Loop implementation of the `split the root' design pattern
-
2018, 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.
-
2018, Feb 19EiffelStudio 18.01 is now available!
We are pleased to announce the availability of EiffelStudio 18.01.
-
2018, 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 24Set Theory
Software library of Eiffel classes modeled upon set theory
-
2017, Sep 06Concurrency/verification positions at Politecnico di Milano
- See more ...