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.

Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues. First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. ...

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.

OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.

The Latiz Palette Modeling Environment is a systems modeling event driven simulation environment written in Java and built on the NetBeans platform.

automated refactorings, source-code metrics, audits and corrective actions. install as a stand-alone application or as a plug-in to Eclipse or NetBeans.

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

The Java Aspect Metamodel Interpreter (JAMI) is a research framework for modeling and experimenting with aspect-oriented programming languages. Common language design concepts and their operational semantics are modeled, and can be run by an interpre

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

Configo is an Open Source XML validation framework, modelling language and Eclipse plugin for Java application configuration.

Szoftverlab 4: Lemming jatek tervezese

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).

The Eclipse XML Meta-Modeling Tools project provides tools like editors, extended validation and generators for developing xml based meta-models and domain-specific languages in eclipse.

Struts-It provides comprehensive support for developing Struts-based web applicatons. It is based on Eclipse 3.1 and well integreted with WTP 0.7. Supports Struts 1.1, 1.2 and JSTL.

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.

Fundamental Types is a library of immutable, thread-safe, highly concurrent, common domain model classes and associated formatters and taglibs.