description: "EiffelSoftware products compilation and others ..." author: "Jocelyn Fiat and others"