Skip to main content
SpringerLink
Log in

Raise

A rigorous approach using stepwise refinement

  • Chapter
  • First Online:
Formal Development of Reactive Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 891))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Brock and C.W. George: The RAISE Method Manual. LACOS/CRI/DOC/3, 1990, Computer Resources International A/S.

    Google Scholar 

  2. C. George and S. Prehn: The RAISE Justification Handbook. LACOS/CRI/DOC/7, 1992, Computer Resources International A/S.

    Google Scholar 

  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. C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall International, 1985.

    Google Scholar 

  5. C. B. Jones: Systematic Software development — Using VDM, 2nd Edition. Prentice-Hall International, 1989.

    Google Scholar 

  6. R. Milner: Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  7. The RAISE Language Group: The RAISE Specification Language. BCS Practitioner Series, Prentice-Hall International, 1992.

    Google Scholar 

  8. RAISE Tools Reference Manual. LACOS/CRI/DOC/13, 1992, Computer Resources International A/S.

    Google Scholar 

Download references

Authors
  1. François Erasmy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Emil Sekerinski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Claus Lewerentz Thomas Lindner

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Erasmy, F., Sekerinski, E. (1995). Raise. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_60

Download citation

  • DOI: https://doi.org/10.1007/3-540-58867-1_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58867-2

  • Online ISBN: 978-3-540-49133-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation