Search Results for "unix tool windows"

Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model.

OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.

PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.

A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.

The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification

This project provides a tool (developed by the ArguGRID project) that implements different dispute derivations for assumption-based argumentation. It also computes a dialectical structure of arguments. Users have full control over selection functions and

Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.

Odin is a Tool that aims to be a didatic resource for AI Teachers. It lets students visualize PROLOG programs in 3D simulations.

OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).

Jude is a rapid application development tool to develop data management applications easy to mantain for developers and easy to use for end users.

SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.

This is a english based query tool. This was worked on for about 5 years before being abandoned in about 1999. The company that I work for agreed to open source the code.

Automates the creation of EMF model adaptors. A model conforming to a metamodel A can thus be "seen" by a tool as a model conforming to metamodel B.