Projects tagged ‘design_by_contract’

EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436, and ACM Software System Award 2006). It includes: * Eiffel compiler * Eiffel GUI editor * Eiffel code browsing tool * ... [More] Eiffel diagram editor with round-trip, * Eiffel refactoring tool * Eiffel debugger * Eiffel profiler * Eiffel analysis tools (Metrics, Dependencies, etc.). Eiffel generates C or CLI for .NET or Mono. Eiffel applies O-O principles and Design by Contract for high-quality software. Many Eiffel libraries are included: ADT, network, GUI, database, parsing (including an Eiffel parser), XML, Web, COM, and more. [Less]