Search Results for "graphics design software"

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements...

... 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 Eiffel Windowing System is a small Eiffel library providing an SDL-based windowing system (and possibly other frontends in the future).

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

EiffelOpenGL is an Eiffel wrapping of OpenGL. As of today it consists of incomplete but working wrappings of the GL and GLU libraries, as well as the GLUT library. It is licensed under EFL - The Eiffel Forum License.

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.