Elevator Contract

The C4J-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts

Welcome to the Skyscraper Project website, home to the Skyscraper open-source 3D building simulator. If you're interested in highrise architecture and elevators, then you've come to the right place. Skyscraper allows you to create your own buildings and experience them in full first-person 3D. To...

TuxShop is a modern point of sale and shop management application, that is supported on Linux??a*zNz and/or Microsoft Windows??a*zNz. It is feature packed with stock control and a range of reports, yet still manages to provide an interface that is simpler than a cash register to operate. You can...


Platforms: *nix

Dlib is a general purpose cross-platform C++ library designed using contract programming and modern C++ techniques. It is open source software and licensed under the Boost Software License. The introduction contains everything you need to know to get started using the library. However, if you...


Platforms: *nix

Whisper is C++ application framework for the Mac and Windows. Unlike most frameworks it takes advantage of the standard library, design by contract, and modern C++ idioms.


Platforms: *nix

An organizational web interface providing student and administrative access with server-side authentication, inventory tracking, contract registration, permissions, and more. Designed to digitally manage the office where musical instruments are temporarily signed out. Originally written for...


Platforms: *nix

Service Desk Lite is free ready to use service management software that enables you to manage Service contracts/AMC and customer complaint life cycle from complaint initiation, assignment to closure in a very simple way. For service oriented firms it is very essential to timely respond to...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Service Desk Lite is free ready to use service management software that enables you to manage Service contracts/AMC and customer complaint life cycle from complaint initiation, assignment to closure in a very simple way. For service oriented firms it is very essential to timely respond to...


Platforms: Windows, Windows 8, Windows 7, Windows Server

This is a fleet management program developed according to market requirements. Warns upon the expiration of revisions, contracts, and insurance. It provides a clear, global and real-time view of the processes required to carry out the transport activity. This program generates email alerts when...


Platforms: Windows, Windows 7, Windows Server, Other

Neoxen Qwined is the first Embedded Technical Editor in the world. It is developed with Microsoft Visual Studio 2005 and it can be embedded into any application. It supports over twenty Programming Languages and Configuration File formats out of the box. It is localized for nearly thirty...


Platforms: Windows

ServiceDesk Plus is a web based, easy to use Help Desk and Asset Management software which integrates Ticketing, Asset Tracking, Purchasing, Project Management, Contract Management and Knowledge Base in one low-cost package. It has an ITIL ready version which gives you the ability to...


Platforms: *nix, Windows, Windows 7, Red Hat Linux 7.2 and above

You won't have to worry about people not being able to open files that you send them, all you've got to do is set the connection up (takes less than a minute) and print from whatever program you created it in, to their printer.


Platforms: Windows

Get your hardware assets organized and tracked using this free software. Are you having trouble knowing where all your hardware is, who™s using it, what the warranty and serial number is? This software can help. With Hardware Asset Tracker you can organize computer assets such as PDAs,...


Platforms: Windows

Microsoft Office is the de facto office software used all over the world. ID-Sign for MS Office is a suite of plugin technologies that add multi-parties digital signature support to nomal MS Office files, supporting Office2000, OfficeXP, Office2003 and Office2007. ID-Sign supports unlimited...


Platforms: Windows

Debt Reducer is just what you need to free you from your debts and payments, or at least to reduce them. Without needing to have deep financial knowledge or contract the services of an expert.Eliminate your debts and save hundreds or thousands of Euros in the process. Debt Reducer is very simple...


Platforms: Windows

SSX Free v2.0.1 allows individuals and corpoations to extend their Secure Trade Link account services to their Linux based servers. Secure Trade Link provides secure document transfer and digital signature services for businesses. Create legaly binding contracts online under collaborative...


Platforms: Windows, *nix

Hornil StylePix is a lightweight and professional image editing software. Now, through it you can create PC, internet and mobile contents. Convenient working environment - Supports png, jpg, bmp, tif, gif, tga file formats and tsp(StylePix own file forma). - Multi-level undo/redo...


Platforms: Windows

An ethics-enabled search engine can act as a complement to the well-known price search engines (a topic I have been working on earlier) and turn ethical considerations into an easily advertisable advantage. A search engine can store imprint and ethics of organizations that publish them and allow...


Platforms: *nix

Dream Print Tracking System is a powerful and user-friendly system for tracking print distribution and circulation. It uses many principles from customer relationship management (CRM) systems, but in a way specific to print publishers. The Media Development Loan Fund commissioned Dream based...


Platforms: *nix

Loro project is an open system (language and IDE) intended to help beginners learn to program. It uses its own programming language and includes an integrated development environment system focused on first-year students. The language features a "specify, then implement" methodology; you have...


Platforms: *nix