Free specification software for linux

AspectES is an implementation of Aspect-Oriented Programming in JavaScript 1.5, as standardized by EcmaScript Specification 262.
AspectES project contains core classes that enable software engineers to gracefully develop JavaScript applications that have clear, well-documented designs that incorporate Aspect Oriented Programming.
This project only uses standardized Web technologies: JavaScript 1.5, with no proprietary extensions. The framework is documented with JavaScriptdoc.
Mission:
Produce a superior implementation of Aspect-Oriented Programming in JavaScript v1.5, as standardized by EcmaScript Specification 262.
Scope: A package framework that contains core classes that enable software engineers to gracefully develop JavaScript applications that have clear, well-documented designs incorporating Aspect Oriented Programming.
Agenda:
Current:
- This framework powers the drag-and-drop capability in the (open-source) Gigapan Explorer Application, delivered to the United States NASA in late 2005.
- This project only uses standardized web technologies: JavaScript 1.5, with no proprietary extensions.
- Enjoy complete JavaScriptdoc as you develop this codebase.
- See the Coding Standard.
- See the tips on Debugging JavaScript.
Immediate Future:
- Develop a test suite that completely exercises the existing functionality.
- Log and fix bugs on said functionality.
- Identify additional desired functionality.
- Build a pluggable module for generating JavaScriptdoc from AspectES aspects and their associated yarn.
Enhancements:
- This version is now contained in its own tigris.org project, separate from the Gigapan Explorer application for which it was originally developed.

Libfilth is a library for designing, analysing, transforming and executing digital FIR and IIR filters.
The filter design methods include:
- FIR filter with linear-phase, least-squares design.
- FIR filter with complex specification, least-squares Design.
- FIR filter with linear-phase, minimax-design using linear programming.
- FIR filter with linear-phase, minimax-design using Remes algorithm.
- FIR filter with minimum-phase and optimal amplitude.
- FIR filter with complex specification, minimax-design.
- FIR filter with group delay constraints.
- FIR optimal window using quadratic programming.
- FIR filter with minimum-phase by spectral factorisation.
- FIR filter design by cepstrum technique.
- Analog filter design Bessel-Thomson, Butterworth, Chebyshev type I, II and Elliptic function filter.
- Transformation of analog to analog and analog to digital filters.
- All-pass realization of IIR filters.
- FIR half-band filters.
- DFT filterbanks and parallel DFT filterbanks design and implementation.
- Analysis functions for calculating the properties if analog, IIR and FIR filters.

Test::LectroTest is a Perl module with easy, automatic, specification-based tests.

SYNOPSIS

#!/usr/bin/perl -w

use MyModule; # contains code we want to test
use Test::LectroTest;

Property {
##[ x "my_function output is non-negative" ;

Property { ... }, name => "yet another property" ;

# more properties to check here

This module provides a simple (yet full featured) interface to LectroTest, an automated, specification-based testing system for Perl. To use it, declare properties that specify the expected behavior of your software. LectroTest then checks your software to see whether those properties hold.
Declare properties using the Property function, which takes a block of code and promotes it to a Test::LectroTest::Property:

Property {
##[ x "my_function output is non-negative" ;

The first part of the block must contain a generator-binding declaration. For example:

##[ x<<less