Search Results for "software design tools"

The Gobo Eiffel Project provides the Eiffel community with free and portable Eiffel tools and libraries.

...When ready to design, you build upon the model you just created, still with EiffelStudio. Then you implement with EiffelStudio. You never need to throw anything out and start over. You don’t need extra tools to go back and safely make changes in your architecture. Roundtrip engineering? It’s built in by design. Testing, metrics and productivity tools?

...An operating system is the set of basic programs and utilities that make your computer run. Eifflix will be similar to Debian, both in concept in structure and borrows many of the Debian tools. The main difference is that the primary source code language for Eifflix will be Eiffel. Currently almost 70% of Debian is written in C or C++. The aim of Eifflix is to replicate Debian, replacing as much as possible of the low-level C code with higher-level design-by-contract Eiffel code. Beginning as a collection of packages, we hope one day to provide a full operating system as stated at http://eifflix.org.

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

Exploring the possibilities of doing an Operating System completely different than all of the existing ones. Instead of basing it upon concepts that are 40 years old, design it from the ground up object oriented, peer-to-peer, and for security.

ESE (reads "easy") stands for "Enterprise SmartEiffel". Its aim is to build enterprise-level tools and libraries for SmartEiffel (http://smarteiffel.loria.fr)

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

To develop a plug-in for eclipse (eclipse.org) allowing for seamless Eiffel Development using the SmartEiffel (smarteiffel.loria.fr) compiler and the ELJ (elj.com) tools.

Design Pattern Wizard GUI - Design and implementation of the wizard (GUI and “business model”) in Eiffel

Eiffel BON case tool to support analysis, design and implementation in a seamless way

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.

ePolyglot is a set of libraries, classes, and tools which enable Eiffel to interoperate with Python and, to an extent, Haskell. Features for using Python objects from Eiffel, Eiffel objects from Python, and Haskell functions from Eiffel are included.