Eiffel Contracts

This script shows how you can use intospection to create a function wraper that verify Eiffel like contracts. Platforms: Windows, Mac, *nix, Python, BSD Solaris

Eiffel INET provides an Eiffel classes for writing IPV4 (TCP/UDP) servers and clients. Eiffel INET is a set of Eiffel classes (written to be used with SmallEiffel) which allow writing TCP and UDP clients & servers. Programs written with Eiffel INET run in a single thread-less process that... Platforms: *nix

Travel through time and witness a historic construction in Monument Builders: Eiffel Tower, an amazing Time Management game! Travel through the streets of 19th century Paris and visit the incredible construction site of the famous Eiffel Tower. Improve the surrounding neighborhoods for the world... Platforms: Windows

A spectacular view of the Eiffel Tower, the most universal French monument that was built in 1889, at dusk.In this photo, the Eiffel Tower rises majestically over the Paris skyline, in an attractive effect that lets you just about distinguish the silhouettes of the passers-by and tourists.This... Platforms: Windows

The Eclipe Eiffel Development Tools (EDT) are a set of plugins which eventually implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to Eiffel Platforms: Windows, Mac, Linux

Role Contracts creates a new content-type, 'Role Contract', which consists of terms/conditions that a user must agree to by clicking a check-box and/or typing ACCEPT in a text box, after which they will be granted a role associated with the Contract.The contracts can have expiration dates, and... Platforms: PHP

Besides the fact that the Paris and Eiffel Tower Theme customizes your browser with a beautiful image, it also offers you an additional search bar, and a bunch of links to other related themes. Here are some key features of "Paris and Eiffel Tower Theme": ?*A* Quick access to sites like... Platforms: Mac

Eiffel Software offers development tools that make a concrete and immediate difference in how companies produce software. The companys flagship product, EiffelStudio, is available under Dual Licensing: choose between Open Source and commercial.. Home page for object technology, Eiffel, software... Platforms: *nix

Eiffel Windowing System (EWS) is an Eiffel library which provides a small, stand-alone windowing system. The current implementation is based on the Simple Directmedia Library (SDL), but the design allows other graphical backends. Besides the basic windowing system functionality (overlapping... Platforms: *nix

SmartEiffels goal is to produce an Eiffel compiler to allow developers to migrate from SmartEiffel 1.1 code to SmartEiffel 2.x code. That means that "SmartEiffel 1.2 (transitional)" will be 100% compatible with SmartEiffel 1.1, but introducing some changes from the 2.x series, and issuing... Platforms: *nix

eGTK is a binding between the Eiffel programming language and the GTK+ widget toolkit. eGTK works with two compilers: the GNU SmallEiffel compiler and ISE Eiffel (commercial compiler). Gtk+ is a widget toolkit for X-window systems. Gtk+ appears to be the most popular open source toolkit... Platforms: *nix

Class::Agreement is a Perl module that add contracts to your Perl classes easily. SYNOPSIS package SomeClass; use Class::Agreement; # use base Class::Accessor or Class::MethodMaker, # or roll your own: sub new { ... } invariant { my ($self) = @_; $self->count > 0; }; precondition... Platforms: *nix

EDA is an Eiffel implementation of the General Decimal Arithmetic Specification. EDA allows unlimited precision decimal arithmetic. By implementing the GDA Specification version 1.08, the library conforms to the requirements of the ANSI/IEEE standard 854-1987, while supporting integer and... Platforms: *nix

ECLI library is an Eiffel wrapper around the X/Open ISO/CLI (Call Level Interface), which defines an API to RDBMS drivers and uses SQL92. ISO/CLI is also known as ODBC under MS Windows. ECLI wants to be portable across (1) Platforms, (2) Eiffel Compilers. (1) Platform portability : ECLI... Platforms: *nix

EiffelStudio is an advanced commercial-grade IDE for the Eiffel programming language. It is maintained and developed mostly by Eiffel Software and hosted at the Chair of Software Engineering at ETH Zurich. EiffelStudio is a full-featured IDE offering the following features, many of them... Platforms: Windows

EiffelStudio is an advanced commercial-grade IDE for the Eiffel programming language. It is maintained and developed mostly by Eiffel Software and hosted at the Chair of Software Engineering at ETH Zurich. EiffelStudio is a full-featured IDE offering the following features, many of them... Platforms: Linux

The view of Red Square in Moscow with the Kremlin and St Basil's Cathedral is as impressive as it is intimidating; nothing says Paris, France better than a view of the iconic Eiffel Tower; Hawaii's Lanikai Beach is widely regarded as one of the best beaches and the sunrise views are stunning; the... Platforms: Windows

Construction contractor toolbar for Internet Explorer. Tools and resources for construction and building trades pros from Contractor City, the top provider of professional construction contracts, books, videos and software. Platforms: Windows

Variant assertion script is Eiffel like loop variant assertion. Platforms: Windows, Mac, *nix, Python, BSD Solaris

This script presents the implemetation of eiffel like methods (methods with preconditions and postconditions). eiffelmethod is a new descriptor that implements eiffel like methods. It accepts a method and optional pre and post conditions. If the pre or post conditions are not given it searches... Platforms: Windows, Mac, *nix, Python, BSD Solaris