Search Results for "fuzzy logic with java"

The KFramework is the first integral SOFEA/SOUI framework for web based business applications using Domain Driven Design. The framework provides a web delivered SWING frontend and a WebServices based backend.

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

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.

Dto.java and others classes - for data transmission from/to view (with EL - Expression Language" ) layer to/from business and persistence layer in J2EE application. Dto extends from HashMap class of Java API for encapsulate any type of information by key type:key_i.key_ij.key_ijk....: Any component in any J2EE functional chain can access to DTO if they know the key key_i.key_ij.key_ijk.... for object access. This project helps to decouple the data, business logic and persistence logic allowing portability between different frameworks gently.

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

XUL4Java is a XML UI Framework built upon Java, that lets you build feature rich, cross platform applications across Hetrogenous Architecture, building rich client, desktop , web and mobile application. 'Created For Once And For Ever '