Search Results for "common"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. ...

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.

E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

This project aims at implementing a tool to provide traceability for variable and common features in Software Product Lines (SPLs) to other requirement artifacts.

ITCWorks a Java Framework with more than 500 Java classes. The foundation of ITCPro a visual UI for ORM++. ITCworks includes: - XML Bean Support (SOA,WSDL Schema Framework, Code Gen.)-ORM, object graph gen., SQL code gen., More info at <a href=www.i-tech

An adaptive mini database learns algorithmic operations for data intensive algebraic computational methods within a pervasive computing graph. It also provides generic structures and algorithms as a data fabric.

The SpringEditor is a plugin for the Eclipse IDE (http://www.eclipse.org) that supports graphical modelling of application contexts for the spring framework (http://www.springframework.org).

XML Based Application Architecture(XAA) is a concept of constitution method of GUI Application based on XML. This project develop the framework and RAD tools.

Model Wizard is a set of Eclipse plug-ins that support Information Modeling using EMF/UML2. The plug-ins although initially targeted at the DMTF's Common Information Model should support any Object Orientated UML class model.

SG is an another next generation code generator which generates web-based java applications with Apache Cayenne RDBMS, Apache Struts 1.1, Displaytag 1.1 , AjaxTags support. It uses an excel user interface to gather beans and application data.