Search Results for "developers console"

A suite of open source utilities written in Oracle PL/SQL for schema instrumentation, auditing, schema administration scripting, ddl mapping and migration code generation, dml package generation, and xml service package generation based on metadata tables

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

The ‘setupdocx‘ provides a control layer for continuous documentation by the simplified creation, packaging, and installation of documentation. The provided commands are distributed as entry points and optional base classes for further customization into 'setup.py' - setuptools / distutils. Manages arbitrary document templates for the supported builder, supports multiple builds with arbitrary document layouts, designs, and patched contents. The current release supports the following...

That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.

PlantUml Dependency allows to parse / reverse engineering source files (only Java is supported by now) to generate a PlantUml description, allowing to draw the UML class diagram associated to the source code.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Quantum Mechanical Toolkit And 3D Viewer for C++. Allows Data Visualisation via Images, Surfaces and Volume plots using OpenGL, as well as rapid development Quantum Mechanical Simulations. Uses the Blitz++, VTK Visualisation and Qt Libraries.

Pi combines a programming language (comparable to 'R') with an advanced GUI including 3D and 2D visualizations and a highly flexible interface to analyse, visualize and manipulate data. It is extendible by C++ librarys as well as by Pi-scripts

u4j2rsf is a java tool to translate reports generated by Understand for Java to RSF (Rigi Standard Format).

Interactive PHP shell Create an interactive environment to debug php line by line. It enables you to execute php code as if it were a command line in a similar setting to bash and psh (perl shell).

a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .

QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.

QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.

PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.

A set of tools and utilities that allow development teams to practice code generation techniques in a scalable and extensible manner. This is based on the style of code generation found in Ruby on Rails.

Framework for literate programming using XML written in C++. Boost, The STL and Patterns are used extensively. All platforms which support Boost will be supported.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)