FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Nicht verÃ¶ffentlicht
Autor:	Till Mossakowski
Titel:	How to write consistent CASL design specifications
Erscheinungsjahr:	2000
Abstract / Kurzbeschreibung:	We emphasize the role of consistency in the development process and in particular the need to write consistent design specifications. CASL takes an axiomatic approach, as opposed to model-oriented approaches like VDM or Z. This means that it is possible to specify loose requirements at a very high level. Moreover, it is possible to decribe abstract data types only w.r.t. their properties, without giving any intended implementation.
Internet:	http://www.informatik.uni-bremen.de/cofi/old/Notes/M-8/index.html
Schlagworte:	CASL specification consistency
Anmerkung / Hinweis:	CoFI note M-8
Status:	Other
Letzte Aktualisierung:	13. 02. 2007

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023