The RAISE language,method and tools |
| |
Authors: | Mogens Nielsen Klaus Havelund Kim Ritter Wagner Chris George |
| |
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;(3) Dansk Datamatik Center, Lundtoftevej 1C, DK-2800 Lyngby, Denmark |
| |
Abstract: | This paper presents the RAISE1 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. |
| |
Keywords: | The RAISE method Formal software development Wide-spectrum specification language Computer based tools for SE |
本文献已被 SpringerLink 等数据库收录! |
|