Search Results for "llm for java developers" - Page 4

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)

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

redVoodo uses Vaadin + OSGI and provides informations, HowTo's and also a framework to design und develop dynamic and modular business web applications. You'll get best practices HowTo use Vaadin and OSGI together.

PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...

Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.

is a loadable application for the jrc-framework, that helps managing db schema. Support for scanning of db-schema, export/import to/from XML, creation and versionizing of db-schema. Column-Definitions are domainbased and the GUI supports drag&drop.

The Dawn project provides collaborative network solution for GMF-Editors. This extension provides conflict-detection mechanisms. It also provides a basic user management system and a Web-Viewer which allows to view every diagram change online.

NexJ Scheme is an open source project providing an efficient and powerful Scheme interpreter that executes in a Java Virtual Machine.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

redView Riena EMF Dynamic Views. redView provides a WYSIWYG Editor for SWT Views based on EMF Models. redView can be used as Prototyping System, RCP Application and more. redView can render the Views dynamically.

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

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

HowTo make 3rdParty Libraries run (per ex. SLF4J, LogBack, Lilith and more) under Eclipse Equinox / OSGI Environments. Modeling and Code Generators: Eclipse Modeling with openArchitectureWare (MWE, Xpand, Xtend, Xtext), BlackBerry development ...

JavaStates is a Java library designed to statically describe and animate the states of Java objects, while ensuring that the integrity of states is retained at all times. JavaStates brings OO Programming style to interface spec, design and coding.

Patternity is a framework to build tools upon it. Its meta-model is augmented with patterns, enabling tools to work at a higher level, closer to the way you think. The goal is to to create patterns-aware tools to automate more of your work.

JDynA is a JAVA library for the management of persistable object properties in a dynamic fashion. The structure of domain objects can be modified by adding, removing or altering properties, also via web UI, without need for any change in the database.

The objective of this project is to provide the benefits of object-oriented modeling in projects developed using structured analysis and which will still be active for many years and require maintenance evolution.

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.

A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit

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