| Directory > Computers > Programming > Languages > Specification 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 useful to integrate and improve
specification and design methods.
http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html
Reviews Rating: Not yet Rated
Whois Check
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.
http://archive.museophile.sbu.ac.uk/formal-methods/b.html
Reviews Rating: Not yet Rated
Whois Check
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 specifications via more primitive
specifications.
http://www4.informatik.tu-muenchen.de/proj/korso/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dfki.de/vse/systems/inka/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.fmeurope.org/
Reviews Rating: Not yet Rated
Whois Check
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 stepwise, correct development.
http://www.informatik.uni-bremen.de/agbkb/compass/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html
Reviews Rating: Not yet Rated
Whois Check
AMAST 2000
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in
.pdf format, abstracts in HTML.
http://www.informatik.uni-trier.de/~ley/db/conf/amast/amast2000.html
Reviews Rating: Not yet Rated
Whois Check
Formal Specification Languages
Brief explanation of formal specification languages in the context of ECLiPSe. Part of Why Logic
Programming site.
http://www.icparc.ic.ac.uk/eclipse/reports/eclipse/node5.html
Reviews Rating: Not yet Rated
Whois Check
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 ß calculus.
http://citeseer.nj.nec.com/chirimar95proof.html
Reviews Rating: Not yet Rated
Whois Check
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 the system.
http://citeseer.nj.nec.com/202219.html
Reviews Rating: Not yet Rated
Whois Check
FraCaS
A Framework for Computational Semantics.
http://www.cogsci.ed.ac.uk/~fracas/
Reviews Rating: Not yet Rated
Whois Check
Concurrency-1993: International Workshop on Semantics of Specification Languages
Detailed Call for participation: location, dates, topics, schedule, and speakers.
http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/Mailing_List_archive/con_hyperarchive_199....
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment
Reviews Rating: Not yet Rated
Whois Check
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 communications security policies; easily
usable to implement firewall rules, control IPSEC connections.
http://www.nixu.fi/~minna/draft2.html
Reviews Rating: Not yet Rated
Whois Check
The WWW Virtual Library: Formal Methods
Pointers to information on Formal Methods, useful for mathematically describing and reasoning about
computer-based systems.
http://www.afm.sbu.ac.uk/
Reviews Rating: Not yet Rated
Whois Check
Description Logics
Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.
http://www.ida.liu.se/labs/iislab/people/patla/DL/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.brics.dk/Projects/CoFI/
Reviews Rating: Not yet Rated
Whois Check
|
