- 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/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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/
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
- Statestep
A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion.
http://statestep.com
(Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It
|
