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.
Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.
Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.
ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus.
Detailed Call for participation: location, dates, topics, schedule, and speakers.
A Framework for Computational Semantics.
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.
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.
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.
Computers /
Programming /
Languages /
Functional
|