Blogs

blogger

AutoProof workshop: Verification As a Matter of Course external link

Wed, 09/21/2016 - 12:56

The AutoProof technology pursues the goal of “Verification As a Matter Of Course”, integrated into the EVE development environment.

read more ...

blogger

Agile MOOC starts this week external link

Thu, 09/01/2016 - 10:27

In spite of all the interest in both agile methods and MOOCs (Massive Open Online Courses) there are few courses on agile methods; I know only of some specialized MOOCs focused on a particular language or method.

read more ...

blog A DJ tool written in Eiffel

finnianr's picture

Hi all,

one of my hobbies is dancing Argentine tango, and I also like to DJ for tango events. I compose my playlists using the Rhythmbox media player and then export them to an Android device to take to the event.

Over the last 8 years or so I have been developing a DJ tool called "EL Rhythmbox".

blog Eiffel-Loop news 27th July 2016

finnianr's picture

Version 1.4.1 release

Eiffel-Loop on Github release 1.4.1

Documentation Project

New Module Descriptions

There are now descriptions of 20 modules on the eiffel-loop.com.

blog PART II: Eiffel-View 1.1, the new Eiffel repository publishing tool

finnianr's picture

Introduction

This is a follow up article to the introduction of Eiffel-View 1.0, a tool for publishing Eiffel repositories on a website.

blog Eiffel-Loop news (July 2016)

finnianr's picture

About Eiffel-Loop

First launched in 2003, Eiffel-Loop is a collection of Eiffel libraries, example programs and development tools consisting of over 435 thousand code words* in more than 1700 classes.

blog Part I: Eiffel-View 1.0, the new Eiffel repository publishing tool

finnianr's picture

Repository Publishing

If you have published your Eiffel code in a source repository like Github or Source Forge you will know that this is not the most ideal way to browse and explore Eiffel source code. There are a number of problems:

  1. Browsing in github requires endless drilling down into a deep directory structure and there is a noticeable delay for pages to load.

blog Eiffel-Loop news (June 2016)

finnianr's picture

About Eiffel-Loop

First launched in 2003, Eiffel-Loop is a collection of Eiffel libraries, example programs and development tools consisting of over 435 thousand code words* in more than 1700 classes.

blog Goodbye to the cross-platform bridge

finnianr's picture

Introduction

Lately I have had a change of mind about using the bridge pattern to make cross-platform classes, like those used in the Vision2 GUI library for example.

blog When parentheses matter

Recently I've run into an issue that can be summarized by the following code snippet:

 


Question 1. Will   and   have the same value?