Search Results for "linux tutorial"

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

DAOgenerator is pure Java, open source application, generates DAO classes for Jee applications. Additionally you can use auto generated mapping.xml on your Spring projects. Fully compatible with eclipse/JPA POJO generator DAO Generator currently supports below ORM frameworks: Hibernate JPA Application is platform free, you can run via console: java -jar daogenerator.jar OR right click -> open with -> Java SE Binary (Windows) Application requeries Java 1.6+ You can...

J2J provides an intuitive way to convert Java to JSON and JSON to Java. Annotate any Java class then use JsonWriter to emit JSON from java or JsonReader to convert JSON to java objects. (source code and tutorial included) Version 2.0 in development.

lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.

Group-CCS development Components, templates, tools, accessories, tutorial, modules, translations, documentation, codes, scripts, everything that can improve the work of who uses the powerful tool of development, CCS - CodeCharge Studio.

Project is the source to a tutorial that shows how to use Eclipse AST to add complete subtrees to your code. There are no releases, just browse the SVN.