| Art der Veröffentlichung: |
Nicht veröffentlicht |
| Autor: |
Markus Roggenbach, Till Mossakowski |
| Titel: |
Methodological guidelines (for CASL) |
| Erscheinungsjahr: |
2002 |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
CASL methodology specification |
| Anmerkung / Hinweis: |
CoFI note M-6 |
| Status: |
Other |
| Letzte Aktualisierung: |
13. 02. 2007 |
