{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T03:01:44Z","timestamp":1773802904867,"version":"3.50.1"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1989,3,1]],"date-time":"1989-03-01T00:00:00Z","timestamp":604713600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1989,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            This paper presents the RAISE\n            <jats:sup>1<\/jats:sup>\n            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.\n          <\/jats:p>\n          <jats:p>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.<\/jats:p>","DOI":"10.1007\/bf01887199","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T06:18:31Z","timestamp":1120544311000},"page":"85-114","source":"Crossref","is-referenced-by-count":36,"title":["The RAISE language, method and tools"],"prefix":"10.1145","volume":"1","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[{"name":"Corporate Technology Computer Resources International A\/S, Vesterbrogade 1A, DK-1620, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[{"name":"Corporate Technology Computer Resources International A\/S, Vesterbrogade 1A, DK-1620, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Ritter","family":"Wagner","sequence":"additional","affiliation":[{"name":"Corporate Technology Computer Resources International A\/S, Vesterbrogade 1A, DK-1620, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"George","sequence":"additional","affiliation":[{"name":"STC Technology Limited, London Road, CM17 9NA, Harlow, Essex, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Bj\u00f8rner D. and Jones C. B.: Formal Specification and Software Development . Prentice Hall International 1982."},{"key":"e_1_2_1_2_2_2","unstructured":"Breu M. Broy M. Gr\u00fcnler T. and Nicki F.: PA nn dA-S Semantics . PROSPECTRA Study Note M.2.1.S1-SN-1.3 Universit\u00e4t Passau Fakult\u00e4t f\u00fcr Mathematik und Informatik 1988."},{"key":"e_1_2_1_2_3_2","unstructured":"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\u20131058 1977."},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"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\u2013332 Springer-Verlag 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"e_1_2_1_2_5_2","unstructured":"The Munich CIP Group: The Munich Project CIP The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science Vol 183 Springer-Verlag 1985."},{"key":"e_1_2_1_2_6_2","unstructured":"Dijkstra E. W.: A Discipline of Programming . Prentice-Hall International 1976."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Futatsugi K. Goguen J. A. Jouannaud J-P. and Meseguer J.: Principles of OBJ2. In: Eleventh Annual ACM Symposium on Principles of Programming Languages Association for Computing Machinery Inc. 1985.","DOI":"10.1145\/318593.318610"},{"key":"e_1_2_1_2_8_2","unstructured":"George C. W.: Practical Aspects of Development . RAISE Report CWG\/28\/V4 STC Technology Limited April 1988."},{"key":"e_1_2_1_2_9_2","unstructured":"Guttag J. V. Horning J.J. and Wing J. M.: Larch in Five Easy Pieces . Digital Systems Research Center 1985. Report 5."},{"key":"e_1_2_1_2_10_2","unstructured":"Harper R. MacQueen D. and Milner R.: Standard ML LFCS Report Series ECS-LFCS-86-2 Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh 1986."},{"key":"e_1_2_1_2_11_2","unstructured":"Hoare C. A. R. (ed.): Communicating Sequential Processes. P-H Series in Computer Science Prentice-Hall International 1985."},{"key":"e_1_2_1_2_12_2","unstructured":"Inmos Ltd.: Occam Programming Manual Prentice-Hall International 1984."},{"key":"e_1_2_1_2_13_2","unstructured":"Jones C. B.: Systematic Software Development Using VDM. P-H Series in Computer Science Prentice-Hall International 1986."},{"key":"e_1_2_1_2_14_2","unstructured":"J\u00f8rgensen J. Palm S. U. Christensen P. Haff P. Henriksen L. W. and Sestoft P.: Preliminary Definition of the RAISE Specification Language . RAISE Report JJ\/14\/V6 Dansk Datamatik Center February 1988."},{"key":"e_1_2_1_2_15_2","unstructured":"Lamport L.: LATEX: a Document Preparation System . Addison-Wesley Publishing Company 1986."},{"key":"e_1_2_1_2_16_2","unstructured":"Monahan B.: A Semantic Definition of the STC VDM Reference Language. November 1985. Unpublished notes."},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Prehn S.: From VDM to RAISE. In: Proc. VDM '87 Symposium D. Bj\u00f8rner and C. B. Jones (ed.). Lecture Notes in Computer Science Vol 252 pp. 141\u2013150 Springer-Verlag March 1987.","DOI":"10.1007\/3-540-17654-3_11"},{"key":"e_1_2_1_2_18_2","unstructured":"Reps T. W. and Teitelbaum T.: The Synthesizer Generator Reference Manual 2nd Edn. Cornell University Dept of Computer Science July 1987."},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Roscoe A. W.: Denotational Semantics for Occam. In: Seminar on Concurrency G. Winskel S. D. Brookes and A. W. Roscoe (ed.) Lecture Notes in Computer Science Vol 197 Springer-Verlag July 1984.","DOI":"10.1007\/3-540-15670-4_15"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/362575.362577"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01887199.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01887199\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01887199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:23:27Z","timestamp":1641482607000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01887199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,3]]}},"alternative-id":["10.1007\/BF01887199"],"URL":"https:\/\/doi.org\/10.1007\/bf01887199","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,3]]}}}