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.
Description Logics
Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.
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.
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.
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.
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.
AMAST 2000
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
[ 1 ] [ 2 ]
|
