| Publication type: |
Unpublished |
| Author: |
Markus Roggenbach, Till Mossakowski |
| Title: |
Methodological guidelines (for CASL) |
| Year published: |
2002 |
| Abstract: |
This note provides a style guide how to write specifications in CASL. The guidelines presented here were developed writing the note "Basic Datatypes in CASL" [4]. Thus they have proven to be useful in practice.
The aim of this note is twofold: on the one hand it documents the methodology behind the "Basic Datatypes in CASL" [4] and thus helps to understand the design decision behind them. On the other hand the here presented "Methodological Guidelines" may be useful as a starting point for other methodologies. |
| Internet: |
http://www.informatik.uni-bremen.de/cofi/old/Notes/M-6/index.html |
| Keywords: |
CASL methodology specification |
| Note / Comment: |
CoFI note M-6 |
| Status: |
Other |
| Last updated: |
13. 02. 2007 |
