The RAISE language, method and tools-Reference-Cited by-同舟云学术

The RAISE language, method and tools

Published:1989-03 Issue:1 Volume:1 Page:85-114
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Nielsen Mogens¹,Havelund Klaus¹,Wagner Kim Ritter¹,George Chris²

Affiliation:

1. Corporate Technology Computer Resources International A/S, Vesterbrogade 1A, DK-1620, Copenhagen, Denmark

2. STC Technology Limited, London Road, CM17 9NA, Harlow, Essex, UK

Abstract

Abstract This paper presents the RAISE 1 software development method, its associated specification language, and the tools supporting it. The RAISE method enables the stepwise development of both sequential and concurrent software from abstract specification through design to implementation. All stages of RAISE software development are expressed in the wide-spectrum RAISE specification language. The RAISE tools form an integrated tool environment supporting both language and method. The paper surveys RAISE and furthermore, more detailed presentations of major RAISE results are provided. The subjects of these are (a) an example of the use of the RAISE method and language, and (b) a presentation of the mathematical semantics of the RAISE specification language.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01887199.pdf

Reference20 articles.

1. Bjørner D. and Jones C. B.: Formal Specification and Software Development . Prentice Hall International 1982.

2. Breu M. Broy M. Grünler T. and Nicki F.: PA nn dA-S Semantics . PROSPECTRA Study Note M.2.1.S1-SN-1.3 Universität Passau Fakultät für Mathematik und Informatik 1988.

3. Burstall R. M. and Goguen J. A.: Putting Theories Together to Make Specifications. In: Proc. Fifth International Joint Conference on Artificial Intelligence. Cambridge Mass. pp. 1045–1058 1977.

4. Burstall R. M. and Goguen J. A.: The Semantics of Clear a Specification Language. In: Proc. 1979 Copenhagen Winter School on Abstract Software Specifications. Lecture Notes In Computer Science Vol 86 pp. 292–332 Springer-Verlag 1980.

5. The Munich CIP Group: The Munich Project CIP The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science Vol 183 Springer-Verlag 1985.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adapting to Different Types of Target Audience in Teaching Formal Methods;Communications in Computer and Information Science;2021

2. Conclusions;Refinement;2018

3. Bibliography;TopUML Modeling;2017

4. Scenario-based system design with colored Petri nets: an application to train control systems;Software & Systems Modeling;2016-02-04

5. Provably correct derivation of algorithms using FermaT;Formal Aspects of Computing;2014-09