Search Results for "tools java"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.

ULS is a class library for creating lexical analyzer from language specification file. It's provided as C/C++/C# and Java (class) libraries with a few of tools on Linux/Windows platform.

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

The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).

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

Enhancement to ANT / Maven - JUnit Reports: - adds 'yellow' or 'blue' state to unit tests: "not fully implemented" - an overview over how much not-fully-implemented tests exist see Screenshots!

Model driven code generation can improve coding standards, speed, quality of development and reduce your costs. From my experience generating code from XML using XSLT is one of the best and fastest solutions. This is just the base of the framework presenting the idea, any code template can be implemented upon request. Some sample generators are present for SQL / PLSQL / C# / AnsiC / Java The main target is to generate DTO/BDO/POJO objects based on the database definitions in...

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools

JTools provides some useful tools and utilities for Java 5.0 development. Beneath some smaller utilities we have: a (Ant like) DAO framework (also including XML Repository) and a (JSP like) general purpose template generator and execution framework.

Welcome to Data Access Layer for Java (DAL4j) a set of command line tools and framework used to reverse engineer a MySQL or SQLServer database schema into a set of JPA Entity Beans. DAL4j can be useful for scenarios where there is an existing database schema but a technology other that JPA is used to interact with the database. DAL4j can provide an easy way to migrate your code base from other technologies such as JDBC or Hibernate to JPA.

EclipseNSIS is a plugin for the Eclipse platform which enables editing, compiling and testing Nullsoft Installer (NSIS) scripts. The InstallOptions Editor plugin is for editing of InstallOptions files. (Requires Eclipse GEF http://www.eclipse.org/gef)

Jamaica is a simple and light but powerful utility to execute sql statements, scripts etc. written entierly in java.

Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit, NetBeans.

This project has moved to http://github/mlhartme/mork.

Log bytecode enhancer: Will surround each logging statement with "isXXXEnabled()" call. So stop messing up your code with such non-productive code. Supports log4j, JDK logging, Apache Commons Logging and SLF4J. Based on just4log, Ant Task included

GenGMF is a model driven generator framework for the Eclipse GMF graph and map models. It will generate large models from a small template model for you. It is based on Eclipse GMF, AspectJ and openArchitectureWare.

JCommons provides generally re-usable Java tools and components. Some things included are: code generation, data and object conversions such as EDI to XML, visualizing object instances as FreeMind mindmaps and a framework for generating factories.

The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.

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

Tools and libraries for IBM Tivoli Maximo customization developers. The main artifact is an Apache Maven plug-in that generating Maximo custom classes for MBOs, FLDs, Beans, Crontasks, etc.

jAstyle is a 100% pure Java port of the GPL’d AStyle (http://astyle.sourceforge.net/). jAstyle is intented to be created as a library and not as a command line tool, so It does not support those options associated to standard output or console.

Orizon is a framework intended to provide tools and facilities to test java sources for security flaws. The main goal is to detect common threats as described in Owasp top 10 vulnerability document.

Survey coffeeBeans are Swing based JavaBeans for easy component based MVC application development