OStatic

Soluci?n de gesti?n empresarial global de ERP y CRM, B2B y B2C, con soporte del estandard EDI y con informes OLAP. Fuertemente orientado hacia el merc...

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

Quality Assurance & Control database client server system. Postgresql server, delphi clients, web php, www-sql interface. In use for cable factory...

Open source VISA complient (Virtual Instrument Software Architecture) library written in C for Linux/Unix operating systems to control instruments thr...

I2CProg is I2C EEPROM Programmer. It works with HW PC to I2C bridge adapters.I2CProg supports stand-alone and in-circuit serial memory chip burning fo...

Collection of libraries to help automation application developement. ntddata provides a common data management layer (require glib-2.10). ntdwidgets i...

Calidad xc3xa8 un'applicazione di supporto alla gestione di un sistema integrato di qualitxc3xa0 per la propria azienda. Supporta la gestione del...

The Gedemin project is an open-sourced, object oriented, post relational rapid application development (RAD) tool especially aimed for creating of bus...

The Kreate project aims to develop an extensible CAD and design management environment that provides the tools engineers need to bring their electroni...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...