• 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 ...