Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Managed File Transfer Software
Products to help you get data where it needs to go—securely and efficiently.
For too many businesses, complex file transfer needs make it difficult to create, manage and support data flows to and from internal and external systems. Progress® MOVEit® empowers enterprises to take control of their file transfer workflows with solutions that help secure, simplify and centralize data exchanges throughout the organization.
Execution Work, it´s a new framework engine for php programming.
Ew supports OOP, MVC, XML, XSL, DataBase2Objects, and much more.
Ew has its own Business Components, with many "packages" to make your programming life simple and useful.
Bedrock is a web framework designed around bridging popular APIs and technologies with PHP. While it has an MVC core with all the functionality expected from a web framework, it's primary goal is to simplify the use of other technologies with PHP.
Libray for Pro/ENGINEERs Java and JavaScript API. Contains methods to retrieve and render Data from Pro/ENGINEER content. Methods to modify and control Pro/ENGINEER Content interactively from a Webservice or client plug-in.
Cross platform and cross browser generic rapid application development studio tool, runs on Java/Reflection, hibernate, spring and DOJO ajax framework. Provides drag and drop design and development of applications live on intranet or internet.
For businesses wanting a platform to list, manage, and co-sell on cloud marketplaces with minimal engineering effort
Streamline and automate your cloud sales cycle, enhance operational efficiency, and capitalize on marketplace opportunities with the Clazar Cloud Sales Acceleration Platform.
JDBFramework (Java Database Framework) is a number of components intended for working with DBMS Oracle. The main difference - JDBF doesn't allow placing business logic on the application server. All business logic is placed at a database level only.
Curtain LogTrace File Activity Monitoring is an enterprise file activity monitoring solution. It tracks user actions: create, copy, move, delete, rename, print, open, close, save. Includes source/destination paths and disk type. Perfect for monitoring user file activities.
A base framework of reusable components for kick-starting the development of client and server sides of Rich Internet Applications, using JavaScript in the browser and Java on the server.
This is an open multi-language web based job application for managing job applications. This is a web-based Java application made using IT Mill Toolkit and Mootools frameworks.
The JSUIL (JavaScript User Interface Library) provides a powerful yet easy to use API for programming client-side web applications in a way that's well proven and tested for the implementation of desktop applications.
OpenProxy (Half Object Plus Pattern) Client implements a concept across multiple
address spaces by transforming the relevant object into two "halfobjects"
plus protocol, one half-object in each address space.
A JavaScript presentation layer framework. It proposes a complete separation of view logic and design. Its components are designed by its role and not by its screen appearance, reducing drastically the API.
Controls developed with GWT have tightly coupled behavior with their presentation, this introduce some troubles when we need to apply new theme for UI. This library introduce painless way to decouple logic from views using plain HTML templates.
Etch is a cross-platform, language- and transport-independent framework for building and consuming network services. With Etch, service development and consumption becomes no more difficult than library development and consumption.
JOOL is a Javascript object oriented language implementation which use a class design pattern similarly to Java. It provides java like developing with classes, access modifiers, type directives and exception handling.
A MVC oriented client-server web framework written in C and JavaScript for Apache HTTP servers. The server executes models and the built-in template engine creates the view. The client-side is a JS API, and makes communication with the server easy.