 |
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
Uni-trier.de ~
Site Info
Whois
Trace Route
RBL 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
Uni-bremen.de ~
Site Info
Whois
Trace Route
RBL 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 st
http://www.informatik.uni-bremen.de/agbkb/compass/
Uni-bremen.de ~
Site Info
Whois
Trace Route
RBL 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/
Fmeurope.org ~
Site Info
Whois
Trace Route
RBL 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 o
http://www4.informatik.tu-muenchen.de/proj/korso/
Tu-muenchen.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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
http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html
Dcu.ie ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
