Specification

This project realizes a Maven2 Plug-In that supports creating an OSGi Deployment-Package (conform to the OSGi Deployment Admin Specification Version 1.0) from a Maven Project.

pyfiglet is a full port of the FIGlet specification (http://www.figlet.org/) into pure python. It takes ASCII text and renders it in ASCII art fonts. It can be used on the commandline or as an Object Oriented driver library in your own programs.

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.


Platforms: Windows, Mac, Linux

This package contains an Open Source plug-in, for use with Open Source or commercial sendmail MTAs, which implements and enforces the merged Caller-ID/SPF specification from the IETF MARID working group, currently dubbed 'Sender-ID'.


Platforms: Mac, BSD, Solaris, Linux

The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.


Platforms: Windows, Mac, Linux

Flexible specification/implementation of RPC (Remote Procedure Calls) through HTTP.


Platforms: Windows, Mac, Linux

This is a C# deamon that implements the UPnP Internet Gateway Device specification (IGD) and allows UPnP aware clients, such as MSN Messenger or DirectPlay based applications to work properly from private networks.


Platforms: Mac, BSD, Linux

Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.


Platforms: Windows, Mac, Linux

Dinapter automatically generates a mapping between methods of incompatible components based on their public interfaces and behaviors. It uses a combination of expert system and A* algorithm. Based on A. Brogi, C. Canal and E. Pimentel papers.


Platforms: Windows, Mac, Linux

This project delievers the internal plugin support of the JavaCheck for the specification to the Eclipse Platfrom, for instance, Personal Java 1.1.8


Platforms: Windows, Mac, Linux

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).


Platforms: Windows, Mac, Linux

SUAS MapServer is a PHP based Web Map Service (WMS) and WFS implementation according to OGC's specification. Data are stored according to Simple Features Specification in WKT format and delivered (among others) in SVG, PDF, Flash, PNG, and GIF format. Features:WMS: -GetCapabilities -GetMap...


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

vzic is a program to convert the Olson timezone database files into VTIMEZONE files compatible with the iCalendar specification (RFC2445).


Platforms: Windows, Mac, Linux

UNFS3 is a user-space implementation of the NFSv3 server specification. It provides a unified mountd and nfsd program and so far runs under Linux, NetBSD, and Solaris.


Platforms: Mac, BSD, Solaris, Linux

This is a Java API binding of the IMS VDEX (Vocabulary Definition Exchange) specification. It defines an implementation neutral Java interface for VDEX, as well as providing a default implementation of that interface, and XML marshalling functionality.


Platforms: Windows, Mac, Linux

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.


Platforms: Windows, Mac, Linux

Design and development of visual programming interface to allow specification, loading, execution and termination of specified simulation runs. It should be capable of allowing secure remote control flow setup, execution / termination of simulation jobs


Platforms: Mac, Linux

A framework for building web apps based on a declarative specification made in XML files, code generator and templating system based on XSL Transformations. Base entirely on MVC model, xpotronix permits a fast building web applications


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

'Yet Another Do-It-Yourself (Test) Automation Framework' specification. Use or modify one of the existing software implementations (hosted/referenced here), or implement the framework yourself. Download and read the spec for more details.


Platforms: Windows, Mac, Linux