Maternity Formal Dresses

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.


Platforms: Windows, Mac, Linux

MACOW is a formal and scalable mandatory access implementation suitable on open worlds such as the provided on Semantic Web, Autonomic Computing and Coaltions and Federations scenarios. It is able to access control on distributed systems.


Platforms: Windows, Mac, Linux

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.


Platforms: Windows, Mac, BSD, Linux

Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.


Platforms: Windows, Mac, Linux

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.


Platforms: Windows, Mac, Linux

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

Agent based model of organizations considering the interplay between the formal hierarchical structure and the process network emerging while the organization performs a task-set.


Platforms: Windows, Mac, Linux

Web application for management formal representations of knowledge, thesauri, taxonomies and multilingual vocabularies / Aplicacion para la gestion de representaciones formales del conocimiento, tesauros, taxonomi­as, vocabularios multilingues


Platforms: Windows, Mac, Linux

Tockit tries to build a framework for Conceptual Knowledge Processing (CKP) and Formal Concept Analysis (FCA) in Java, using a component-based approach, XML formats and a three-tier architecture.


Platforms: Windows, Mac, Linux

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).


Platforms: Windows, Mac, Linux

About Intervallogic - multiple user environment with individually stored preferences and results for each user - basic tools to manipulate the user results files - minimal formal music background required, melodic answers are given in standard solfege symbols - customizable user interface,...


Platforms: Mac

GNU Cim is a compiler for the programming language Simula (except unspecified parameters to formal or virtual procedures). It offers a class concept, separate compilation with full type checking, interface to external C routines, an application package for process simulation and a coroutine concept.


Platforms: *nix, C/C++, BSD

CPG is an application for specifying formal language grammars and computing, generating, and simulating the corresponding automatons. It has features which significantly extend those of the lex/yacc and flex/bison tools available on UNIX and Linux operating systems. Requirements: - Qt Library


Platforms: *nix, C/C++, BSD

The goal of DAST is to provide a formal, repeatable, reusable process for 'building' a Drupal site using a formal build tool and build language. DAST applies the concept of the software build to creating Drupal sites...Phing build files are syntactically identical to Ant build files and provide...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

This is useful for making posts look more formal.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 1.5 up to 2.3.1


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

These files are obsolete. If you wish a more recent version download its from http://forja.rediris.es/frs/?group_id=644The methodology used for programing this utilities are described in the articles: * J.M. And?jar, A.J. Barrag?n, "A methodology to design stable nonlinear fuzzy control systems",...


Platforms: Matlab

This m-file is used in experiments involving several factors where it is necessary to investigate the joint effects (main and interactions) of the factors on a response variable and determine by a formal analysis of variance which factor effects are nonzero. Each of the three factors (k = 3) of...


Platforms: Matlab

MQJExplorer is a Java based suite of tools an utilities for working with IBM's WebSphere MQ products. There is no formal support for this tool.


Platforms: Mac