Blogs

blogger

Speech synthesis technology external link

Wed, 08/25/2010 - 16:31

Rereading an article from last year’s August New Yorker, a discussion of e-paper devices and especially the Kindle by Nicholson Baker [1]:

read more ...

blog Automorphism

dlebansais's picture
Posted August 15th, 2010 by David Le Bansais
in

Introduction

Practitioners of Eiffel are used to polymorphism, the separation between the view some piece of code may have over an object, and the actual implementation of that object.

blogger

The rise of empirical software engineering (II): what we are still missing external link

Sat, 07/31/2010 - 16:41

Like the previous one, this entry was initially posted on my blog at Communications of the ACM (see [3]).

read more ...

blogger

The rise of empirical software engineering (I): the good news external link

Thu, 07/29/2010 - 22:48

In the next few days I will post a few comments about a topic of particular relevance to the future of our field: empirical software engineering. I am starting by reposting two entries originally posted on my blog at Communications of the ACM. Here is the first (originally published as [1]).

read more ...

blog My three Eiffelwishes, part 3: readable types

dlebansais's picture
Posted July 28th, 2010 by David Le Bansais
in

In a previous blog entry, I related how I modified my code to split classes in two parts, separating commands and queries. In the conclusion I was suggesting that Eiffel could be extended to provide support for this. I will now formalize the language extension, and demonstrate how to use it to write even more solid code.

blog Another Eiffelwish: A cluster concept with restricted visibility (to avoid name clashes).

Posted July 20th, 2010 by Helmut Brandl
in

The Eiffel language in its current definition has no concept of namespaces. However in large programs using many libraries name clashes (i.e. two classes having the same name) become more and more probable.

Different Eiffel compilers have resolved the name clashes with different strategies. This is not satisfactory because it is not portable.

blog Proofs for Eiffel SW

Posted July 7th, 2010 by Helmut Brandl

The following paper describes a proof engine for the Eiffel language.

The proof engine allows the verification of the assertions of Eiffel code. Some language extensions are introduced to express proofs of assertions.

blog BALIGN - A multi-functional batch sequence alignment tool

Posted July 1st, 2010 by Eser Aygün
in

BALIGN is a multi-functional batch sequence alignment tool. It has been used in several bioinformatics applications by İTÜ Computer Engineering Bioinformatics Group, but its abilities are not limited to biological sequences. Any type of sequence with an ASCII representation and a scoring matrix can be handled by BALIGN. The source code contains generic aligner classes which can be used separately.

blog My three Eiffelwishes, part 2: Unicode

dlebansais's picture
Posted June 29th, 2010 by David Le Bansais
in

If English is your primary language, you've probably never used characters from a foreign language in Eiffel source files.

blogger

Another DOSE of distributed software development external link

Wed, 06/16/2010 - 18:05

The software world is not flat; it is multipolar. Gone are the days of one-site, one-team developments. The increasingly dominant model today is a distributed team; the place where the job gets done is the place where the appropriate people reside, even if it means that different parts of the job get done in different places.

read more ...