Search Results for "c framework web"

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ...

Olympos is an holistic MDA/MDD approach to projects. It allows to create Web (PHP, J2EE), Desktop (c#) and Mobile applications (.NET, J2ME) from a UML model. Features a Web 2.0 IDE, a generator based on openArchitectureWare and several cartridges.

BIRT is an open source technology platform used to create data visualizations and reports that can be embedded into rich client and web applications. Developers who use BIRT Designer are able to access information from multiple data sources easily and quickly in order to create reports and applications with stunning data visualizations. Actuate now provides a free report server, BIRT iHub F-Type, to deploy BIRT content so developers don't have to build their own infrastructure. ...

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

A framework for transferring implicit or tacit knowledge between members of a community. It works by observing the behavior of community members, and providing them with suggestions from other community members based on their past behavior.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

A collaboration web site for software engineers to find and contribute code. The goal is to have users of the system to be able to not only get code from the system but also be able to update and fix specific code segments.

Swing Bean Form Builder (SBFB) is a java SWING framework that automatically generates input and presentation GUIs from standards JavaBeans (or POJO) objects. The generated GUIs can be customized using a simple XML file.

JLeaf is a business & component oriented RAD platform for building enterprise-level application based on Spring framework. JLeaf provides fundamental modules (e.g.Organization,Security,Workflow,etc) by integrating mature open source technical frameworks.

Developed in KBQuest Ltd, Compass framework is an architectural pattern for web application. It provides guidelines for developers to avoid misuse of frameworks.

Web 2.0 environment for collaborative and extensible design of object interconnection diagrams like UML, networks, circuits and other graph based diagrams. Client: Web-based (AJAX / Dojo Toolkit) Server: JEE Application (Struts Framework)