Search Results for "command line client"

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...

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

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

Program creates the database table diagrams from databases metadata.

Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.

Das erste Projekt mit dem RaspberryPi Model B - Ein Multifunktions Wecker. Ich habe mir dieses Projekt ausgesucht da es derzeit auf dem Markt kaum bzw keine günstigen Internet Radio Wecker zu kaufen gibt (meistens ab 80€ und aufwärts...) daher DIY

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)

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

Application has been created during my Master Degree studies at PJIIT. It was inspired by "Business Process Modeling and Simulation with UML" articles by Pan-Wei Ng published on The Rational Edge Apr / May 2002.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

The Visio-EMF Bridge offers the transformation of Visio stencils and Visio models into EMF metamodels and EMF models, respectively. The bridge enables the processing of Visio models with EMF tools, such as, openArchitectureWare or Eclipse Epsilon.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).

The Quarrel tool renders UML diagrams from text-based, declarative inputs for quick and easy modeling, as described in the UML as Sketch practice. The first release will only support class diagrams, but future releases will support more diagram types.

ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org

Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.

STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.

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

PeerSE is a graphical experiment environment for analysing and developing peer-to-peer (p2p) systems in Java.

SQLOrm focuses on mediating database interaction rather than shielding the user from it. SQLOrm consists of 3 major parts. A dynamic query builder. A prepared statement layer. A resultset to object graph mapper, supporting batch inserts/updates.