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.
Users
Please
log in to take part in the discussion (add own reviews or comments).