%0 Unpublished Work %1 Mossakowski00 %A Mossakowski, Till %D 2000 %K CASL consistency specification %T How to write consistent CASL design specifications %U http://www.informatik.uni-bremen.de/cofi/old/Notes/M-8/index.html %X 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.

@unpublished{Mossakowski00, 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. }, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/2c4a9a049fc70e2e5b0980d406564f36f/tillmo}, interhash = {a7a92203b2b110ac27ea59b5a481a716}, intrahash = {c4a9a049fc70e2e5b0980d406564f36f}, keywords = {CASL consistency specification}, note = {CoFI note M-8}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {How to write consistent CASL design specifications}, url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/M-8/index.html}, year = 2000 }