Abstract
This paper gives an overview of RAISE, a product consisting of a method for developing software, an associated formal specification language and tools supporting the method and the language. The method is based on the notion of stepwise refinement and offers the possibility of formal verification. The specification language incorporates several specification styles in one uniform framework. The product is aimed at industry and is currently being used by several companies
| Original language | English |
|---|---|
| Journal | Technique et Science Informatiques |
| Volume | 12 |
| Issue number | 3 |
| Pages (from-to) | 319-346 |
| Publication status | Published - 1993 |