2020, Dec 24
The right forms of expression
2020, Dec 21
EiffelStudio 20.11 is now available!
We are pleased to announce the availability of EiffelStudio 20.11.
2020, Dec 14
Once classes
A brief overview of once classes, their syntax and semantics.
2020, Dec 03
New video lecture: distances, invariants and recursion
2020, Nov 26
Fan mail
2020, Jul 06
Compile-time guarantees for string content
String classes are moving towards preservation of string object content when mixing different string types.
2020, Jun 08
Unicode aliases
In addition to symbolic forms of loops, EiffelStudio 20.05 adds a possibility to use mathematical notation in expressions.
2020, May 31
Gobo 20.05 released
2020, Mar 26
Getting a program right, in nine episodes
About this article: it originated as a series of posts on the Communications of the ACM blog. I normally repost such articles here. (Even though copy-paste is usually not good, there are three reasons for this duplication: the readership seems to be largely disjoint; I can use better formatting, since their blog software is more […]

The post Getting a program right, in nine episodes appeared first on Bertrand Meyer's technology+ blog.
2020, Mar 22
Gobo 20.03 released
2020, Mar 17
Notations you didn’t even know you could use
2020, Mar 16
Symbolic forms of loops
Iteration forms of loops (with keyword "across") turned out to be more concise and convenient shortcuts to the regular ones. This post introduces even shorter variants that resemble the notation found in math.
2020, Jan 21
Gobo 20.01 released
2020, Jan 09
Talk on requirements at UC Santa Barbara tomorrow
2019, Dec 14
This Wednesday in Nice: survey talk on the Eiffel method
2019, Nov 03
Gobo 19.11 released
2019, Oct 03
Gobo 19.10 released
2019, Oct 03
EiffelStudio 19.09, the intermediate beta release, is now available
2019, Oct 02
Wrapping TensorFlow C API with WrapC
Example to show how to use WrapC to wrap a C API
2019, Sep 02
EiffelStudio 19.08, the intermediate beta release, is now available
EiffelStudio 19.08 beta includes changes towards better adoption of Unicode.
2019, Aug 08
An Elegant Way To Implement The Singleton Pattern
2019, Jul 31
EiffelStudio 19.07, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.07 available.
2019, Jul 01
EiffelStudio 19.06, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.06 available.
2019, Jun 25
EiffelStudio 19.11 highlights: warnings as errors
What's new in the upcoming release? This blog post discusses the conversion of the warning setting from a logical value into a ternary one.
2019, Jun 21
Gobo Eiffel 19.06 released
2019, May 21
EiffelStudio 19.05 is now available!
We are pleased to announce the availability of EiffelStudio 19.05.
2019, May 06
EiffelStudio 19.04, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.04 available.
2019, 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.
2019, Mar 21
Gobo Eiffel 19.03 released
2019, 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.
2019, 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
EiffelStudio 18.11 is now available!
We are pleased to announce the availability of EiffelStudio 18.11.
See more ...