News

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

Computing uncomputable real numbers

How to better exchange data between Eiffel objects and textual data sources with the DRY principle in mind

EiffelStudio 18.01 comes with a new tool `eiffel` providing pseudo script facilities (read "(re)compile+execute at once").

The Eiffel-Loop implementation of the `split the root' design pattern

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.

We are pleased to announce the availability of EiffelStudio 18.01.

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.

Software library of Eiffel classes modeled upon set theory

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.

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

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.

Here we will show you how to read a user timeline calling the statuses/user_timeline endpoint, which returns a collection of the most recent Tweets posted by the user indicated by the screen_name or user_id parameters.

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.

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.

We are pleased to announce the availability of EiffelStudio 17.05.

Here we will show you how to read a tweet

The response from the verify_credentials.json endpoint contains a JSON-encoded representation of the authenticating user for successful requests.

The REST API identifies Twitter applications and users using OAuth; responses are in JSON format.

This tutorial will show you, step by step, how to use Twitter's REST API using EiffelWeb.

A bug can be found just by looking at warnings produced by Eiffel Inspector.

We are pleased to announce the availability of EiffelStudio 17.01.

The AutoProof technology pursues the goal of “Verification As a Matter Of Course”, integrated into the EVE development environment. (The AutoProof  project page here; see particularly the online interactive tutorial.) A one-day workshop devoted to the existing AutoProof and current development will take place on October 1 near Toulouse in France. It is an informal […]

The post AutoProof workshop: Verification As a Matter of Course appeared first on Bertrand Meyer's technology+ blog.