Freeware Listing: Specification
- Specification Analysis Tool
- License: Shareware

Specification Analysis Tool is a tool designed to help organizations generate requirement text. The program allows you to create text based specifications by using the organization rules.
You can use the application to review your specifications within seconds and save time when you need to process multiple documents. It allows you to use the preset rules and create your own rules adapted to your current projects.
.
- Publisher: Cassbeth Inc.
- Date:
- Platform: WinOther
- PDF Version Converter
- License: Freeware

Convert PDF file between different versions for compatibility purpose. Every PDF file is generated or produced according to a specification. This specification has evolved from version 1.0 to version 1.6. Sometimes users are faced with the dilemma that a certain application only recognizes a specific version of PDF file. For example, some journal publishers only accept submission of PDF files of version 1.4 or later, some obsolete Windows applications only read PDF files of version 1.2. Suppose you have a PDF file of version 1.1, what would you like to do? PDF Version Converter is the answer.
- Publisher: NicePDF Software Inc.
- Date: 18-07-2005
- Size: 293 KB
- Platform: Win2000, WinOther, WinServer
- Spice Utility
- License: Freeware

Spice Utility is a small, simple, easy to use application specially designed to help you check out spice mobile phone specification. Basically all that you have to do is to select the device that interests you and Spice Utility will open a PDF file containing the info that you were looking for..
- Publisher: Choudhary Mobiles
- Date: 05-07-2012
- Size: 19968 KB
- Platform: WinOther
- USE: UML-based Specification Environment
- License: Freeware

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").
- Publisher: db.informatik.uni-bremen.de
- Date: 13-06-2012
- Size: 21247 KB
- Platform: Linux, Mac OS X, WinOther
- Java Modeling Language
- License: Freeware

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus. As such it allows one to specify both the syntactic interface of Java code and its behavior. The syntactic interface of Java code consists of names, visibility and other modifiers, and type checking information. For example, the syntactic interface of a method can be seen in the method's header, which lists its modifiers, name, return type, the types of its formal parameters, and the types of the (checked) exceptions it may throw.
- Publisher: JML Development Team
- Date: 24-01-2013
- Size: 13855 KB
- Platform: Java, Scripts
- 802.11b 5.5 Mbps Complementary Code Keying Simulatio
- License: Freeware

Using the IEEE 802.11b specification for 5.5 Mbps CCK, this program demonstrates how a test data is modulated at the transmitter and then demodulated at the receiver. The program has been tested to run on Matlab version 7..
- Publisher: Abhishek Mitra
- Date: 24-03-2013
- Size: 10 KB
- Platform: Matlab, Scripts
- Translation of Matlab & Simulink models to SpecC specification Models
- License: Freeware

This project deals with the translation of a Simulink models to SpecC specification models. Matlab is one of the leading softwares in model based and algorithmic designing. Spec C (close to ANSI C) is a high level language which can be implemented on hardware using System on Chip Environment(SCE). Having the features of both procedural languages like C, C++ and Hardware Description languages like VHDL and Verilog and even more, SpecC can be considered as superior System Level Design Language which can be realized on hardware. The ease of translating Matlab/Simulink models to SpecC can show how algorithmic and model based designs can be realized on hardware.
- Publisher: Krishna yalamanchili
- Date: 11-02-2013
- Size: 2580 KB
- Platform: Matlab, Scripts
- The JODI anti-fraud specification
- License: Freeware

JODI, the Jointly Owned Digital Imaging specification, documents the requirements and behavior of a proposed Point-of-Sale (POS) anti-fraud effort. JODI is a specification for hardware, software, procedures, and a legal framework that prevent fraud.
The JODI anti-fraud specification License - Open Software License 3.0 (OSL3.0).
- Publisher: Jodi
- Date:
- Platform: WinOther
- Protocol Specification Tool
- License: Freeware

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
Protocol Specification Tool License - GNU General Public License (GPL).
- Publisher: Prospec
- Date:
- Platform: WinOther
- Rei Policy Specification Language
- License: Freeware

Rei is a rule-based policy specification language in OWL-Lite for distributed systems..
- Publisher: Rei
- Date:
- Platform: WinOther
- Java Specification Compiler
- License: Freeware

The Java Specification Compiler is a tool used by java developers to generate JUnit test cases from specifications written in XML files. Each specification is a set of axioms, that is a static constraints that classes of a Java Project must verify. Axiom
Java Specification Compiler License - GNU General Public License (GPL).
- Publisher: Jspec
- Date:
- Platform: WinOther
- Eliminate Specification Statements
- License: Freeware

Allows Photran to perform refactorings to remove specification statements.
Eliminate Specification Statements License - Public Domain.
- Publisher: Photraness
- Date:
- Platform: WinOther
- Behavioural Specification SYstem
- License: Freeware

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra.
Behavioural Specification SYstem License - GNU General Public License version 2.0 (GPLv2).
- Publisher: Bessy
- Date:
- Platform: WinOther
- Visual Evaluation Specification Tool
- License: Freeware

The Visual Evaluation Specification Tool (VEST) allows usability evaluators to specify usability lab evaluations using statecharts. This allows an evaluator to accurately reproduce conditions and groupings, without invalidating data.
Visual Evaluation Specification Tool License - GNU General Public License (GPL).
- Publisher: Vest-tool
- Date:
- Platform: WinOther
- jUDDI
- License: Shareware

jUDDI is an open source Java implementation of the Universal Description, Discovery, and Integration (UDDI v3) specification for Web Services.
jUDDI runs on any platform and easily integrates with authentication systems.
.
- Publisher: Apache Software Foundation
- Date:
- Platform: WinOther
- TLA Toolbox
- License: Shareware

TLA+ is a specification language that is designed to help in the creation of high-level specifications for both distributed and concurrent systems.
TLA Toolbox is the IDE that was designed in order to allow you to use the TLC model checker and TLAPS as well as the TLA+ proof system to create and verify TLA+ specifications.
.
- Publisher: Microsoft Research
- Date:
- Platform: Windows 7, WinOther, WinVista
- iCal4j
- License: Freeware

iCal4j is a Java API that provides support for the iCalendar specification as defined in RFC2445.
This support includes a Parser, Object Model and Generator for iCalendar data streams.
.
- Publisher: Ben Fortuna
- Date:
- Platform: WinOther
- VLE - Virtual Laboratory Environment
- License: Freeware

VLE or Virtual Environment Laboratory, is a handy, easy to use multimodeling, simulation platform developed on the discrete event formalism DEVS (Discrete Event System Specification).
VLE provides a set of C++ libraries, the VFL (VLE Foundation Libraries) and a lot of programs like a simulator, a graphical user interface to model and develop models and tools to analyze and visualize simulation outputs. The VFL are sufficiently well designed to allow the development of new simulators, models or new programs for modeling and analysis.
.
- Publisher: Eric Ramat
- Date:
- Platform: Windows 7, WinOther, WinVista
- DITA Open Toolkit for Windows
- License: Shareware

The DITA Open Toolkit is an implementation of the OASIS DITA XML Specification. The Toolkit transforms DITA content into many deliverable formats. See http://dita.xml.org/wiki/the-dita-open-toolkit for information about releases and download packages
.
- Publisher: Jian Le Shen, Robert D Anderson
- Date:
- Size: 26521 KB
- Platform: Win2000, Windows 7, Windows 8, WinOther, WinVista
- OpenXDAS - Distributed Auditing Service
- License: Shareware

OpenXDAS is an open source implementation of the Open Group's Distributed Auditing Service (XDAS) specification. OpenXDAS provides a complete implementation of the XDAS specification API, including client-side instrumentation and filtering..
- Publisher: Daniel Sanders, John Calcote
- Date:
- Size: 3491 KB
- Platform: WinOther
Specification: Freeware | All










