Search Results for "logic"

Pocket Application Maker. Combination of a rapid GUI generator and a flexible "text generator/commander" to handle both design and logic of an application simply from a text file. All with SQL capability (sqlite integrated).

...Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! Not only that, we can also write a View for testing to simulate various operations of the user, so as to test the Presenter - without using automated testing tools.

Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.

...The Visitor Generator generates code for components having no Visitor Design Pattern implemented by customer or design restrictions but there is a need to traverse the component tree. The generates code separates the code for the "visiting" (what to do on a visited node component) and the code implementing the traversal logic by a RelationResolver. Thus you can implement Visitors and RelationResolvers and combine them as needed. E.g. You want to find a node component by it's unique id. In that case you can implement a visitor comparing each node until found. And you implement an RelationResolver that stops as soon as the element is found. It is not necessary to traverse the whole component tr

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.

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.

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.

...Declare screens and DB tables of your application in XML, and have JSPs, session & CMP entity EJBs generated automatically. All that is needed to develop are business logic model classes as POJO.

metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/

A framework for all-platform GUI-development based on completely separating business from presentation logic and introducing methods of abstraction that allow stepwise refinement of the GUI-definition.

This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event

DBCache is a tool/framework set that creates java classes from a Database schema, and allows you to start with the logic of your application. It uses a cache to reduce DB overload and facilitates DB access. It'll save you a lot of time.

TyRuBa, a logic-programming language for Java, implemented in Java. TyRuBa was originally intended as language for writing logic-meta programs that generate Java code. It is however, just a normal logic language, with a few peculiarities.

Japano is a java-servlet based webapplication toolkit and engine. It offers easy website logic and HTML form creation and offers integration of dynamic javascript updates ( AJAX). A sample webapp makes it easy to start developing with japano.

NunniFSMGen generates a FSM (Finite State Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!

BizWare is JavaBeans middleware comprising the "fundamental business logic" tier in N-tier apps. This tier provides a DBMS abstraction layer, enabling developers to focus on complex business logic and not low-level data persistance. BizTool is a tool t

This is java State Machine Framework for all OS platforms. The framework is for modeling any event processing system as a state machine. This aims to separate the state transition and event handling logic from the business logic and let developers conce

Jeeg is a dialect of Java based on a declarative synchronization mechanisms.Synchronization constraints in Jeeg are expressed in a linear temporal logic. Jeeg is inspired by the current trend in aspect oriented languages.

JDBFramework (Java Database Framework) is a number of components intended for working with DBMS Oracle. The main difference - JDBF doesn't allow placing business logic on the application server. All business logic is placed at a database level only.

The application takes the pseudo code as an input and generates the necessary C code for the same logic. Thus the software can be used to produce the results just with the use of logic and there is no special importance given to a specific language in which the pseudo code should be implemented, instead there is a complete focus on the logic itself. The system to be designed must be user friendly, so that even if the end user or the client is technically illiterate he should be able to operate it efficiently. ...

LogicBuilder helps developers create complete and correct logic structures (if then else). Logic structures based on multiple variables are prone to human error. LogicBuilder eliminates this source of error.

Anapgen is a java based framework meant to generate java applications from a custom language. Anapgen is primarily designed to generate data processing applications (generating both the model and the view logic).