News
-
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
-
2017, Sep 04Revival of manifest arrays
A type of a manifest array involved in a reattachment is computed now directly. It does not depend on the type of the target of the reattachment anymore.
-
2017, Aug 07Building Eiffel projects with TravisCI
Continuous Integration, often abbreviated to just CI, is the process of automatically building and running tests whenever a change is committed. In this tutorial we will cover
-
2017, Jul 18Swagger Codegen for Eiffel
Using the Open-source project which allows generation of API client libraries (SDK generation), server stubs and documentation is automatically given an OpenAPI Spec with Eiffel.
-
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.
- See more ...