Behavioural Specification SYstem 1.0

Bessy in Development \ Misc. Dev. Tools

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra. Behavioural Specification SYstem 1.0 License - GNU General Public License version 2.0 (GPLv2)


   
 
Related Software

ProjectWorkSpec4 4 4 ProjectMatrix  Multimedia

ProjectSpec provides the contract furniture industry with the most powerful, easiest to use, full-featured product specification package available. It allows the user to create a parts list with part options such as fabrics, trims, finishes, and prices. This specification system may be sued to...

System Spec 2 88 SystemSpec  File & Disk Management

System Spec is a system information program which can produce a specification of your Windows PC without listing lots of useless memory address and unnecessary information. It run without needing to be installed first which means you can run it on your customers PC. This utility can be...

System Spec Portable 2.99 Alex Nolan  Maintenance

With System Spec you can see, save and print a complete spec of your PC with this no-install, system information utility and perform various windows functions. Additional advanced info includes CPU, display, memory, drives, apps and more. System Spec is a self contained standalone EXE which can...

O3s - Object Oriented Operating System 1.0 o3s.sourceforge.net  Optimizers & Diagnostics

A cross-platform Operating System object model, including a cross-platform object-oriented text-only shell specification and other applications based on this object model. This also may include a lightweight Operating System based on the same model.

The ISSU Operating System 1.0 issu.sourceforge.net  Database

ISSU (pronounced issue) an Intelligent System Specification Unit, a new approach to thinking, computing, and the Internet. A free Ebook called Beyond the Information Age available at www.vias.org/beyinfoage/ will give you knowledge of ISSU.

USE: UML-based Specification Environment 3.0.3 db.informatik.uni-bremen.de  Components and Libraries

USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using Mantis (reachable via "Hosted Apps")

XSY#: C# Implementation of System Theory 1.2.3 xsy-csharp.sourceforge.net  Science

XSY# is an open source project to implement multi-formalisms such as Discrete Event System Specification (DEVS) as well as meta-heuristic search techniques such as Genetic Algorithms.

System Dynamics Information Model 1.0 Sdinfomodel  Misc. Dev. Tools

This project will produce a formal, open source System Dynamics information model specification document to rigorously define the set of model objects, their relationships, their attributes, and the operations performed during modeling and simulation. System Dynamics Information Model 1.0...

Protocol Specification Tool 1.0 Prospec  Misc. Utils.

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols. Protocol Specification Tool 1.0 License - GNU General Public License (GPL)

BinBase Cluster System 20071001 Bbcs  Maintenance

the bbsc - BinBase Cluster System is a specification for the distributed calculation of jobs using j2ee and a cluster. We provide an implementation for Rocks Linux Cluster (Sun Grid Engine). BinBase Cluster System 20071001 License - GNU Library or Lesser General Public License (LGPL)