Freeware Listing: Specification

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.


  • Platform: WinOther

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.

  • Platform: Win2000, WinOther, WinServer

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..

  • Platform: WinOther

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").

  • Platform: Linux, Mac OS X, WinOther

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.

  • Platform: Java, Scripts

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..

  • Platform: Matlab, Scripts

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.

  • Platform: Matlab, Scripts

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 is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
Protocol Specification Tool License - GNU General Public License (GPL).

  • Platform: WinOther

Rei is a rule-based policy specification language in OWL-Lite for distributed systems..

  • Publisher: Rei
  • Date:
  • Platform: WinOther

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).

  • Platform: WinOther

Allows Photran to perform refactorings to remove specification statements.
Eliminate Specification Statements License - Public Domain.

  • Platform: WinOther

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).

  • Platform: WinOther

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).

  • Platform: WinOther
  • jUDDI
  • License: Shareware
  • Rating

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.


  • Platform: WinOther

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.


  • Platform: Windows 7, WinOther, WinVista

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.


  • Platform: WinOther

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.


  • Platform: Windows 7, WinOther, WinVista

The DITA Open Toolkit is an implementation of the OASIS DITA XML Specification. The Toolkit transforms DITA content into many deliverable formats. See for information about releases and download packages


  • Platform: Win2000, Windows 7, Windows 8, WinOther, WinVista

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..

  • Platform: WinOther

Specification: Freeware | All

New Reviews

Windows Movie Maker

Windows movie maker, expressed as windows live movie maker in the latest updates, is a piece of video and picture editing software for windows (as the name of the software no doubt suggests) designed to be simple, easy to use while still keeping as ...

Mozilla Thunderbird

Mozilla is well known name in the internet industry. In fact, good amount of people are connecting to internet with Mozilla Firefox and this number is growing with time but I’ll be sharing my views on one of the lesser known product of ...


There are many cases where you need to access a website which is otherwise blocked by your ISP. You need to use a proxy but a using free proxy that is never easy and convincing. Also, whenever you want to hide your identity online, you need to use ...


It feels better, when the main screen of the computer looks good. However, in most of the cases, you would find the main screen or desktop of the computer is filled with the ugly looking icons which spoil the beauty of your desktop, and there comes ...

Hot Lines

Hot lines is a freeware logic based puzzle and strategy game, which is actually entirely its own game, but bares resemblance to logic game such as chess and even games such as advance wars for the portable nintendo systems. In hot lines you must ...

AM Browser

AM browser is a freeware browser from 2009, which markets itself allowing you to surf the web in a more comfortable, less confusing way. Once you install and open AM browser, the first thing you will notice is how out dated the look of it is. Most ...

Angry Birds

Angry birds is one of the most successful games of all time, despite the fact that it has been free from the very beginning. Angry birds is a experimental physics game, with the objective being to fling all of your birds into the structures occupied ...

Simple Sticky Notes

Simple sticky notes is a freeware note taking utility to appeal to users in the same way in which a physical sticky note would; by allowing you to write something down very quickly with very little effort (without having to open a program or pull ...

Acebyte Utilities

Acebyte Utilities is a modern looking application, designed to help speed up your computer via system optimization and error correction. In the long run, this could help prevent freezes and slow downs, as well as the dreaded blue screen of death ...

New Downloads

Nero Wave Editor

Powerful editing and recording
of audio files. The various
filtering and sound
optimization methods allow you
to create ...


MobaMotion allows you to
easily create high-quality
animations for your website or
blog. Animations are
SEO-friendly, ...

Direct PHP Framework

Direct PHP Framework is
designed to provide modern and
rapid development of websites,
applications and services. It

MeshMagic 3D Modeling
Software Free

With MeshMagic 3D, viewing and
editing stl files has never
been easier. Import STL files
created with CAD and drafting

Free Animation Presentation

Free Animation Presentation
Software is the ideal choice
for you to enrich your digital
contents and make your ...

ChrisPC DNS Switch

ChrisPC DNS Switch provides
you a simple but effective
graphic user interface to
select the network adapter and
change ...


ConEmu replaces the standard
Windows console. It allows you
to open multiple console
Windows in tabs. Lots of ...

FileFort Free Backup
Software for Mac

FileFort Free Backup Software
for Mac is easy to use file
backup software that will
automatically backup your data
to ...

CL Searcher

CL Searcher is free Excel app
that scans Craigslist for
emails, phone #'s and any
specific text you may want to

Related Searches

Technical Specification
Network Driver Interface Specification Download
Screensaver Show Computer Specification
Car Grabber Vehicle Specification
Network Driver Interface Specification
Micromax Gravity Specification
Specification Digital Voice Recorder
Chm File Format Specification
Design Specification Cricket Bat
Engine Specification Software
Power Transformer Specification
Ram Specification Software