Abstract
It is often useful to apply several specification techniques within the same software development project. This raises the question how specification techniques can be integrated. In this presentation we give three different examples of how this can be done. In the first example, we summarise how the wide-spectrum approach has been used in the RAISE Specification Language (RSL) to integrate algebraic and model-oriented, applicative and imperative, and sequential and concurrent specification...
| Original language | English |
|---|---|
| Title of host publication | INT'00 - Integration of Specification Techniques with Applications in Engineering |
| Publisher | Technical University of Berlin |
| Publication date | 2000 |
| Pages | 33-40 |
| Publication status | Published - 2000 |
| Event | INT'00 - Integration of Specification Techniques with Applications in Engineering - Duration: 1 Jan 2000 → … |
Conference
| Conference | INT'00 - Integration of Specification Techniques with Applications in Engineering |
|---|---|
| Period | 01/01/2000 → … |