Search Results for "code quality c"

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 and...

...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

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state machines. The CASE tool checks view consistency, has XMI support and code generation abilities.

Secom is an object-oriented library of portable, reusable components for communicating over serial devices. With secom you can develop an application that will compile and execute on Posix and Windows, with little to no changes to the source code.

EWG (Eiffel Wrapper Generator) is a tool that generates Eiffel wrapper classes for C libraries. It can be used to create libraries that bridge the gap between Eiffel and C. It aims to work for arbitrary ANSI C and with all common Eiffel compilers.

Generic Game Framework in eiFFel (G2F3) aims to simplify the development of two player zero sum strategy games by separating game specific code from reusable generic code. So far, abstract board games are best supported.

The purpose of this project is to modify SmartEiffel to allow it to be used to create applications for mobile device platforms such as Symbian, BREW, and J2ME. Currently the codebase is based on SmartEiffel 1.0, but we are looking into moving over to Sma