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

This repository hosts a set of pre-trained models that have been ported to TensorFlow.js. The models are hosted on NPM and unpkg so they can be used in any project out of the box. They can be used directly or used in a transfer learning setting with TensorFlow.js. To find out about APIs for models, look at the README in each of the respective directories. In general, we try to hide tensors so the API can be used by non-machine learning experts. New models should have a test NPM script. You...

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.

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

The diagrams are represented in the DOT language and can be interpreted by the visualization software Graphviz (http://www.graphviz.org/). Features: - Use HTML tables as templates for customizing the diagram design - Already comes with predefined connections for some common database systems, new systems can easily be added.

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.

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

PLiX (Programming Language in XML) is an XML-based code-generation framework. Generators produce XML matching the PLiX.xsd schema, which can be formatted into multiple languages. Extensible formatters support C# and VB.NET in Visual Studio 2005 and 2008

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

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.

It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi

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

Szoftverlab 4: Lemming jatek tervezese

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.

Our goal is to demonstrate the potential of model driven development. Implementation in the form of Graphical Workflow ENvironment for Visual Studio.

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

A text template to generate KM3 files from a StarUML Model. The template uses the API provided from StarUML and it works just in WinXP systems (StarUML restriction).

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.