Learn more about Specification from our Languages directory

AMAST 2000 - Algebraic Methodology And Software Technology conference: online proceedings and all papers

B-Method - Formal method for developing program code from a specification in the Abstract Machine Notation

COMPASS - Goal: consolidate

Computation Structures Group: CSG - MIT research group which does dataflow programming research.

Concurrency-1993: International Workshop on Semantics of Specification Languages - Detailed Call for participation: location

De Stijl - Design and Specification Through Interfacing and Joining Languages: fits in the framework of formal language engineering

Formal Methods Europe - An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.

Formal Specification Languages - Brief explanation of formal specification languages in the context of ECLiPSe. Part of Why Logic Programming site.

FraCaS - A Framework for Computational Semantics.

HasCASL DFG Project - Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.

INKA Inductive Theorem Prover - First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus

Interactive Software Development and Renovation Software - ASF+SDF compiler runtime library

KORSO - Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications with renaming and hiding. Powerful enough to express implementation of

Policy Specification Languages - Two languages to express security policies. Keynote language: more general

ResearchIndex: Coarse-Grain Dataflow Programming of Conventional Parallel Computers - Granular Lucid

ResearchIndex: Proof Theoretic Approach To Specification Languages - Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß cal

ResearchIndex: Structure-preserving specification languages for knowledge-based systems - Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages

Statestep - A lightweight

StateWORKS Studio - Professional software specification environment based on finite state machine (FSM) concept. Contains FSM editor

The WWW Virtual Library: Formal Methods - Pointers to information on Formal Methods