Sren Prehn. From VDM to RAISE. In Dine Bjrner, Cliff B. Jones, M'iche'al Mac an Airchinnigh, and Erich J. Neuhold, editors, VDM---A Formal Method at Work: Proceedings of the VDM-Europe Symposium, volume 252 of Lecture Notes in Computer Science, pages 141--149, Brussels, Belgium, 23--26 March 1987. Springer-Verlag, Berlin.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....The RAISE Method While industrial experience with the use of VDM has proved most encouraging, there are some difficulties with the method, particularly when applied to large scale developments. The RAISE (Rigourous Approach to Industrial Software Engineering) development method [HPP92, NHWG89, Pre87] takes VDM as a starting point, and aims to improve on it. The emphasis of the RAISE method is on practicality and industrial applicability. For this reason, the developers of RAISE reject strict adherence to formality as too restrictive and difficult, favouring instead a rigorous semiformal ....

Sren Prehn. From VDM to RAISE. In Dine Bjrner, Cliff B. Jones, M'iche'al Mac an Airchinnigh, and Erich J. Neuhold, editors, VDM---A Formal Method at Work: Proceedings of the VDM-Europe Symposium, volume 252 of Lecture Notes in Computer Science, pages 141--149, Brussels, Belgium, 23--26 March 1987. Springer-Verlag, Berlin.

....a small collection of transformation laws. For each programming construct there is one such rule which allows its introduction. A further development of VDM, which aims to improve its applicability to large scale developments is RAISE (Rigorous Approach to Industrial Software Engineering) Pre87, Geo95] It provides tools to assist the development process. All mentioned approaches rely on the use of a wide spectrum language, which means one language in which specifications, programs and all steps in between can be expressed. ffl In the eighties several authors, for example in [Heh84, ....

S.Prehn. From VDM to RAISE. In: D.Bjrner, C.B.Jones, M.Mac an Airchinnigh, E.J.Neuhold (Eds.), VDM - A Formal Method at Work: Proc. of the VDMEurope Symposium, LNCS 252 (Springer-Verlag), 1987, 141-149.

.... for Predicate Verification System is a proof tool for the formal verification of software properties. 37] covers PVS. 15. RAISE Rigorous Approach to Industrial Software Engineering. is a comprehensive method (language, proof system, design techniques) for implementing software. [47, 42, 3, 38, 7, 26] cover RAISE, 16. The Refinement Calculus is a comprehensive technique for the stepwise refinement of correct, sequential software. 40, 41] cover The Refinement calculus. 17. VDM the Vienna Development Method. is a comprehensive method (language, proof system, design techniques) for ....

S. Prehn. From VDM to RAISE. In [4], pages 141--150. Springer-Verlag, Heidelberg, Germany, 1987.

....and its Implementation. PrenticeHall International, 1988. Gri81] D. Gries. The Science of Programming. Springer Verlag, 1981. Ham82] A. G. Hamilton. Numbers, Sets and Axioms: the apparatus of Mathematics. Cambridge University Press, 1982. Hay87] I. Hayes, editor. Specification Case Studies. Prentice Hall International, 1987. Heh] E.C.R. Hehner. A simple view of variables and parameters. 86 Bibliography [Hen70a] W. Henhapl. On the interpretation of GOTO statements in ULD. Technical Report LN 25.3.065, IBM Vienna, March 1970. Hen70b] W. Henhapl. A run time mechanism for referencing variables. Technical Report LN ....

S. Prehn. From VDM to RAISE. In D. Bjørner, C.B. Jones, M. Mac an Airchinnigh, and E.J. Neuhold, editors, VDM '87: VDM --- A Formal Method at Work (Proceedings of the VDM-Europe Symposium 1987, Belgium, March 1987), pages 141--150. Springer-Verlag, 1987. Lecture Notes in Computer Science, Vol. 252.

....formal notations used. They overcame this problem by providing the signaling experts with a natural language description derived manually from the formal specification. 2. 3 RAISE RAISE (Rigorous Approach to Industrial Software Engineering) is a systematic development method [BjOErner et al. 1985] [Prehn 1987], which is a combination of useful aspects of VDM with wellresearched areas of algebraic specification techniques and CSP [Hoare 1985] It provides two languages, RAISE Specification Language (RSL) and RAISE Development Language (RDL) RSL is intended to support multiple styles of specification ....

S. Prehn, "From VDM to RAISE", VDM-- A Formal Method at Work, Lecture Notes in Computer Science 252, Springer-Verlag, pp 141150, March 1987.

....than Jones s. The RAISE Method While industrial experience with the use of VDM has proved most encouraging, there are some difficulties with the method, particularly when applied to large scale developments. The RAISE (Rigourous Approach to Industrial Software Engineering) development method [HPP92, NHWG89, Pre87] takes VDM as a starting point, and aims to improve on it. The emphasis of the RAISE method is on practicality and industrial applicability. For this reason, the developers of RAISE reject strict adherence to formality as too restrictive and difficult, favouring instead a rigorous semiformal ....

Søren Prehn. From VDM to RAISE. In Dine Bjørner, Cliff B. Jones, M'iche'al Mac an Airchinnigh, and Erich J. Neuhold, editors, VDM---A Formal Method at Work: Proceedings of the VDM-Europe Symposium, volume 252 of Lecture Notes in Computer Science, pages 141--149, Brussels, Belgium, 23--26 March 1987. Springer-Verlag, Berlin.

....parameters and combined together. y Research sponsored by the Polish Academy of Sciences, grant PCBP 02.17 c o Institute of Computer Science, Gda nsk Division of the PAS, ul. Ja skowa Dolina 31, P.O. Box 562, PL 80252 Gda nsk, POLAND Similarly to other followers of VDM, such as RAISE (cf. Prehn 87] Nielsen et al. 88] and BSI VDM (cf. Larsen et al. 89] our language is given a formal denotational model. Our model is developed in the style advocated in MetaSoft, i.e. starting from denotations. This allows to postpone fixing the syntax until some practical experience is gathered. The ....

Prehn, S. "From VDM to RAISE". Proceedings VDM'87 Symposium, Lecture Notes in Computer Science 252, Springer-Verlag, 1987,pp. 141--150.

....defined types is dependent on the ability to generate highly efficient representations for these types. In this paper only the most basic facilities for defining types are presented. Hierarchical structuring and partial functions as in Prospectra [20] parameterization as in OBJ and RAISE [6, 21, 22], and non determinism are features we regard as essential. Note that the manner in which Dtre treats polymorphism generalizes to the richer parameterization of OBJ3. There is a considerable body of literature on the theoretical foundation for data refinement; we only supply a few representative ....

Søren Prehn. From VDM to RAISE. In D. Bjørner and C. B. Jones, editors, VDM '87: VDM --- A Formal Method at Work, pages 141--149, Springer-Verlag, Berlin, 1987. Lecture Notes in Computer Science, Vol. 252.

No context found.

Prehn, S. "From VDM to RAISE." In VDM '87: Abstract: The Vienna Development Method (VDM) VDM---A Formal Method at Work, D. Bjørner, et is one of the few mathematically based methods for al., eds. Lecture Notes in Computer Science, vol. software development which has been successfully 252. Berlin: Springer-Verlag, 1987, 141-150.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC