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
2017, Sep 04
Revival 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 07
Building 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 18
Swagger 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 21
LASER 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 19
The 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 ...