FB 3

Group BKB > Publications > Search >

Deutsch
English

Publications Search - Details

Publication type:	Unpublished
Author:	Till Mossakowski
Title:	How to write consistent CASL design specifications
Year published:	2000
Abstract:	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
Keywords:	CASL specification consistency
Note / Comment:	CoFI note M-8
Status:	Other
Last updated:	13. 02. 2007

Back to result list

Author: Automatically generated page

Group BKB

Last updated: May 9, 2023