Using RAISE — first impressions from the LaCoS applications

Abstract

Practically all of the applications have realised their initial objectives, which is a substantial achievement. It is too early to pass comment on the longer term objectives, although work towards some of these has begun.

At the current stage of the project some of the applications have just finished constructing their initial specifications while others are still in the process of doing so. Therefore the experiences documented in this project report only relate to the process of learning RAISE, constructing initial specifications, and using the first release of the documentation and the tools.

To date, RAISE has shown itself to be a versatile approach to initial specification. However, there are detailed issues which have been raised as a result of the work over the current period. These are discussed below.