A rigorous approach using stepwise refinement
  • François Erasmy
  • Emil Sekerinski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 891)


We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Brock and C.W. George: The RAISE Method Manual. LACOS/CRI/DOC/3, 1990, Computer Resources International A/S.Google Scholar
  2. [2]
    C. George and S. Prehn: The RAISE Justification Handbook. LACOS/CRI/DOC/7, 1992, Computer Resources International A/S.Google Scholar
  3. [3]
    Anne Haxthausen and Chris George: A Concurrency Case Study Using RAISE. In Proceedings of FME'93, Lecture Notes in Computer Science, pages 367–387. Springer-Verlag, 1993.Google Scholar
  4. [4]
    C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall International, 1985.Google Scholar
  5. [5]
    C. B. Jones: Systematic Software development — Using VDM, 2nd Edition. Prentice-Hall International, 1989.Google Scholar
  6. [6]
    R. Milner: Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  7. [7]
    The RAISE Language Group: The RAISE Specification Language. BCS Practitioner Series, Prentice-Hall International, 1992.Google Scholar
  8. [8]
    RAISE Tools Reference Manual. LACOS/CRI/DOC/13, 1992, Computer Resources International A/S.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • François Erasmy
  • Emil Sekerinski

There are no affiliations available

Personalised recommendations