Advertisement

Experiences from applications of RAISE

  • Bent Dandanell
  • Jesper Gørtz
  • Jan Storbank Pedersen
  • Eld Zierau
Industrial Usage Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)

Abstract

The formal method RAISE and its associated specification language, RSL, are assessed by a number of consumers in the LaCoS project. The consumers apply the technology to their industrial applications and document their experience in a number of assessment reports. This report is based on the consumers' response to using RAISE and RSL and covers the first 1 1/2 year of the LaCoS project.

Keywords

Formal Method Target Language Reusable Component Safety Critical System Separate Development 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BrG90]
    Brock, S., George, C., RAISE Method Manual, LACOS/CRI/DOC/3, 1990Google Scholar
  2. [CDG91]
    Chalmers, D.L., Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Experiences from Applications of RAISE — Report 1, LACOS/CRI/CONS/-13, 1991Google Scholar
  3. [CDG91a]
    Chalmers, D.L., Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Using RAISE — First Impressions from the LaCoS Applications, in “VDM'91: Formal Software Development Methods”, LNCS 551, Springer-Verlag, 1991Google Scholar
  4. [DGP92]
    Dandanell, B., Gørtz, J., Storbank Pedersen, J., Zierau, E., Experiences from Applications of RAISE — Report 2, LACOS/SYPRO/CONS/20, 1992Google Scholar
  5. [DaG91]
    Dandanell, B., George, C., The LaCoS Project, LACOS/CRI/BDH/8, 1991Google Scholar
  6. [ESA91]
    ESA Board for Software Standardisation and Control (BSSC), ESA Software Engineering Standards, ESA PSS-05-0 Issue 2, 1991Google Scholar
  7. [Fox91]
    Fox, C., SCP — Testing Working Paper, LACOS/LLOYD'S/CJF/8, 1991Google Scholar
  8. [GeP91]
    George, C., Prehn, S., The RAISE Justification Handbook, LACOS/CRI/-DOC/7, 1992Google Scholar
  9. [Gra92]
    Granville, R, Assessment of RAISE against UK MoD DefStan 00–55, LACOS/-LLOYD'S/RJG/29, 1992Google Scholar
  10. [HPS92]
    Haxthausen, A., Prehn, S., Storbank Pedersen, J., RAISE Overview, RAISE/-CRI/DOC/9, 1992Google Scholar
  11. [Man92]
    Manero, E., RAISE and ESA Software Engineering Lifecycles, Proceedings of the Second Symposium ‘Ada in AEROSPACE', pp. 411–437, 1992Google Scholar
  12. [Mil90a]
    Milne, R., Semantic Foundations of RSL, RAISE/CRI/DOC/4, 1990Google Scholar
  13. [MoD91]
    UK Ministry of Defence, Interim Defence Standard, MoD 00–55, UK Ministry of Defence, 1991Google Scholar
  14. [ReT88]
    Reps, T.W., Teitelbaum, T., The Synthesizer Generator, Springer Verlag, New York, 1988Google Scholar
  15. [Rlg92]
    The RAISE Language Group, The RAISE Specification Language, Prentice Hall, 1992Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Bent Dandanell
    • 1
  • Jesper Gørtz
    • 2
  • Jan Storbank Pedersen
    • 1
  • Eld Zierau
    • 2
  1. 1.Computer Resources International A/SBirkerødDenmark
  2. 2.CAP GEMINI TECHNO LOGIC A/SGlostrupDenmark

Personalised recommendations