Specification frameworks

From CoFI

Contents

1 Frameworks
- 1.1 ASF+SDF
- 1.2 COLD
- 1.3 Extended ML
- 1.4 Larch
- 1.5 OBJ3
- 1.6 RAISE
- 1.7 Spectrum
- 1.8 Z

Frameworks

Formal Methods Home Page

ASF+SDF

The ASF+SDF Project for Generic Language Technology

COLD

Information on COLD

Extended ML

Extended ML Home Page

Larch

DEC SRC's Larch Home Page

MIT's Larch Home Page

OBJ3

The OBJ archive

RAISE

RAISE home page

Spectrum

Spectrum Language: Reports, Papers, More Papers, FTP Site (tools and papers)

Z

Z Standardization (includes Z Interchange Format).

Retrieved from "http://www.informatik.uni-bremen.de/cofi/wiki/index.php/Specification_frameworks"

This page has been accessed 1,437 times. This page was last modified 09:24, 13 November 2007.

Find

Browse

Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography

Edit

View source
Editing help

This page

Discuss this page
Post a comment
Printable version

Context

Page history
What links here
Related changes

My pages

Log in / create account

Special pages

New pages
File list
Statistics
Bug reports
More...