 |
INKA Inductive Theorem Prover
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, a special variant of the resolution calculus with paramodulation. (Specification)
http://www.dfki.de/vse/systems/inka/ |
 |
B-Method
B-Method: Formal method for developing program code from a specification in the Abstract Machine Notation, with tool support, aimed at aiding the improved development of computer-based systems. Developed by Jean-Raymond Abrial, originator of Z notation, and others. (Specification)
http://archive.museophile.sbu.ac.uk/formal-methods/b.html |
 |
Formal Specification Languages
Formal Specification Languages: Brief explanation of formal specification languages in the context of ECLiPSe. Part of Why Logic Programming site. (Specification)
http://www.icparc.ic.ac.uk/eclipse/reports/eclipse/node5.html |
 |
Concurrency-1993: International Workshop on Semantics of Specification Languages
Concurrency-1993: International Workshop on Semantics of Specification Languages: Detailed Call for participation: location, dates, topics, schedule, and speakers. (Specification)
http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/Mailing_List_archive/con_hyperarchive_1993/0080.html |
 |
COMPASS
COMPASS: Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of semantics of generic reusable system components, providing formal conceptual basis for ste (Specification)
http://www.informatik.uni-bremen.de/agbkb/compass/ |
 |
Interactive Software Development and Renovation Software
Interactive Software Development and Renovation Software: ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus. (Specification)
http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment |
 |
ResearchIndex: Proof Theoretic Approach To Specification Languages
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 (Specification)
http://citeseer.nj.nec.com/chirimar95proof.html |
 |
Statestep
Statestep: A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion. (Specification)
http://statestep.com |
 |
ResearchIndex: Structure-preserving specification languages for knowledge-based systems
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, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of th (Specification)
http://citeseer.nj.nec.com/202219.html |
 |
Formal Methods Europe
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. (Specification)
http://www.fmeurope.org/ |
 |
The WWW Virtual Library: Formal Methods
The WWW Virtual Library: Formal Methods: Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems. (Specification)
http://www.afm.sbu.ac.uk/ |
 |
FraCaS
FraCaS: A Framework for Computational Semantics. (Specification)
http://www.cogsci.ed.ac.uk/~fracas/ |
 |
De Stijl
De Stijl: Design and Specification Through Interfacing and Joining Languages: fits in the framework of formal language engineering, aims at fundamental theoretical results relating features of extant languages for software specification and design, which should be (Specification)
http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html |
 |
Policy Specification Languages
Policy Specification Languages: Two languages to express security policies. Keynote language: more general, express most kinds of policy in form that can be used to automatically test conditions expressed in same format. Security Policy Specification Language, SPSL: more limited, for co (Specification)
http://www.nixu.fi/~minna/draft2.html |
 |
HasCASL DFG Project
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. (Specification)
http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html |
 |
KORSO
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 (Specification)
http://www4.informatik.tu-muenchen.de/proj/korso/ |
 |
CoFI: Common Framework Initiative
CoFI: Common Framework Initiative: Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of specification languages. Contacts with industry groups. (Specification)
http://www.brics.dk/Projects/CoFI/ |
 |
AMAST 2000
AMAST 2000: Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML. (Specification)
http://www.informatik.uni-trier.de/~ley/db/conf/amast/amast2000.html |
 |
Description Logics
Description Logics: Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix. (Specification)
http://www.ida.liu.se/labs/iislab/people/patla/DL/ |
Additional
Information: Synonyms: specification language, specification notation.
-
