{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:17Z","timestamp":1725663137160},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502142"},{"type":"electronic","value":"9783540459552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50214-9_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:17:28Z","timestamp":1330201048000},"page":"376-405","source":"Crossref","is-referenced-by-count":8,"title":["The RAISE language, method and tools"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Ritter","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"George","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"25_CR1","unstructured":"Dines Bj\u00f8rner and Cliff B. Jones. Formal Specification and Software Development. Prentice Hall International, 1982."},{"key":"25_CR2","unstructured":"Michael Breu, Manfred Broy, Thomas Gr\u00fcnler, and Friederike Nickl. 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":"25_CR3","unstructured":"R.M. Burstall and J.A. Goguen. Putting theories together to make specifications. In Proceedings, Fifth International Joint Conference on Artificial Intelligence. Cambridge, Mass., pages 1045\u20131058, 1977."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"R.M. Burstall and J.A. Goguen. The semantics of clear, a specification language. In Proceedings, 1979 Copenhagen Winter School on Abstract Software Specifications. Lecture Notes In Computer Science, 86, pages 292\u2013332, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"25_CR5","unstructured":"The Munich CIP Group. The Munich Project CIP, The Wide Spectrum Language CIP-L. Volume 183 of Lecture Notes in Computer Science, Springer-Verlag, 1985."},{"key":"25_CR6","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J-P. Jouannaud, and J. Meseguer. 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":"25_CR8","unstructured":"C. W. George. Practical aspects of development. RAISE Report CWG\/28\/V4, STC Technology Limited, April 1988."},{"key":"25_CR9","unstructured":"J.V. Guttag, J.J. Horning, and J.M. Wing. Larch in Five Easy Pieces. Digital Systems Research Center, 1985. Report 5."},{"key":"25_CR10","unstructured":"Robert Harper, David MacQueen, and Robin Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1986."},{"key":"25_CR11","unstructured":"C.A.R. Hoare, editor. Communicating Sequential Processes. P-H Series in Computer Science, Prentice\/Hall International, 1985."},{"key":"25_CR12","unstructured":"Inmos Ltd. Occam Programming Manual. Prentice\/Hall International, 1984."},{"key":"25_CR13","unstructured":"C.B. Jones. Systematic Software Development Using VDM. P-H Series in Computer Science, Prentice Hall International Ltd., 1986."},{"key":"25_CR14","unstructured":"Jesper J\u00f8rgensen, Steen Ulrik Palm, Palle Christensen, Peter Haff, Lars Wilkens Henriksen, and Peter Sestoft. Preliminary Definition of the RAISE Specification Language. RAISE Report JJ\/14\/V6, Dansk Datamatik Center, February 1988."},{"key":"25_CR15","unstructured":"Leslie Lamport. LATEX: A Document Preparation System. Addison-Wesley Publishing Company, 1986."},{"key":"25_CR16","unstructured":"Brian Monahan. A semantic definition of the stc vdm reference language. November 1985. Hand written notes."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"S\u00f8ren Prehn. From vdm to raise. In D. Bj\u00f8rner and C. B. Jones, editors, Proceedings of the VDM '87 Symposium, Lecture Notes in Computer Science 252, pages 141\u2013150, Springer-Verlag, March 1987.","DOI":"10.1007\/3-540-17654-3_11"},{"key":"25_CR18","unstructured":"T.W. Reps and T. Teitelbaum. The synthesizer generator reference manual. Cornell University, Dept. of Computer Science, July 1987. Second Edition."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"A.W. Roscoe. Denotational semantics for Occam. In G. Winskel S.D Brookes, A. W. Roscoe, editor, Seminar on Concurrency, Lecture Notes in Computer Science 197, Springer-Verlag, July 1984.","DOI":"10.1007\/3-540-15670-4_15"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"N. Wirth. Program development by stepwise refinement. Communications of the ACM, (14):221\u2013227, 1971.","DOI":"10.1145\/362575.362577"}],"container-title":["Lecture Notes in Computer Science","VDM '88 VDM \u2014 The Way Ahead"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50214-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:37Z","timestamp":1605647857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50214-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502142","9783540459552"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-50214-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}