Search Results for "logic"

...It's designed to work in an asynchronous environment, providing a simple, straightforward approach to object modeling that skips out on the tedious tasks of writing MongoDB validation, casting and business logic boilerplate. Mongoose offers an uncomplicated schema-based solution, and comes with nifty features like type casting, validation, query building, and business logic hooks right out of the box. Mongoose also has a rich set of plugins made by the community and you can write your own to make Mongoose an even better solution for your needs.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

CodeDesigner is free and open-source RAD tool suitable for easy creation of various diagrams describing applications' structure and logic (class diagrams, state charts, ...) and for generation of production-ready source code from them. The main contribution was to translate the project into languages other than English.

ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level (constructs for defining modeling languages), and so forth. ...

...The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).

The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system. JLCF focuses on usability on a simple programming model and also provides advanced features...

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

This is home of the Generic Object Role Modeling Meta-Model (gORMmm). This ORM metamodel is designed as a software independent ORM metamodel for software developers/researchers of first-order logic, conceptual modeling, and artificial intelligence.

GraphSQL is a database modeling tool.User can build database logic model easily by mouse,dialog operation then generate the SQL script insured right and compatibled with Sybase PowerDesigner.

Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/). Don't confuse this programming language (a prolog language) with the IDE for Java.

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.