Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try it Free
99.99% Uptime for MySQL and PostgreSQL Databases
Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.
Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game.
Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/.
Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...
...Generates basic tests or Open POJO tests for simple objects and generates test stubs for complex objects. Helps developers test projects created without Unit tests or without Agile methodologies
Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.
J!Cob (Joomla! Component Builder) is a project whose aim is providing Joomla! developers with tool for automatically writing standard and repetitive (thus boring) pieces of code.
Agile development with Java. JAVA EE Rich Internet Application Generator for jBoss Seam Framework. jGenUI produces java code integrated with Seam, Richfaces and Hibernate. More information at http://www.jgenui.org
Skyway Builder Community Edition (CE) is an Eclipse-based, code generation tool for accelerating the development of Spring applications. Spring MVC scaffolding capabilities allow users to generate a Spring-based, Java CRUD application in minutes.
The goal is to generate UML classes from an existing database. Connect to a database, read its schema and produce UML 2 classes with associations (conforming to Eclipse EMF). Prerequisite: - Eclipse 3.4 - MDT - EMF 2.4 / UML 2.0
axis2M increase the usability of Apache Axis2 by integrating with Maven2 with Convention over Configuration concept.Axis2M provide Quickstart archetype "run" plug-in to run SimpleHttpServer,customized versions of WSDL2Code,Java2WSDL,AAR plug-ins.
RapDAF is both a high speed data access framework, and an agile development process. The framework is built for speed. The development process takes advantage of xml and code generation to easily create and maintain data objects.
Source code generator. This project take 10 words and generate tables, scripts and source code for making CRUD. It's posible to modify tables and field so the web learn like a neuronal network.