{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:26Z","timestamp":1725663386673},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176541"},{"type":"electronic","value":"9783540477402"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17654-3_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:04Z","timestamp":1330197364000},"page":"141-150","source":"Crossref","is-referenced-by-count":6,"title":["From VDM to RAISE"],"prefix":"10.1007","author":[{"given":"S\u00f8ren","family":"Prehn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"D. Bj\u00f8rner & C.B. Jones: \u201cFormal Specification and Software Development\u201d, Prentice\/Hall, 1982.","key":"11_CR1"},{"unstructured":"D. Bj\u00f8rner, S. Prehn: \u201cSoftware Engineering Aspects of VDM\u201d, in: D. Ferrari et al: \u201cTheory and Practice of Software Technology\u201d, North-Holland, 1983.","key":"11_CR2"},{"unstructured":"D. Bj\u00f8rner et al: \u201cThe RAISE Project \u2014 Fundamental Issues and Requirements\u201d, RAISE\/DDC\/EM\/1, Dansk Datamatik Center, 1985.","key":"11_CR3"},{"unstructured":"A. Blikle: \u201cA Metalanguage for Naive Denotational Semantics\u201d, Progretto Finalizzato Informatica, C.N.R. Progretto P1, CNET 104, Pisa, 1984.","key":"11_CR4"},{"unstructured":"F.L. Bauer et al: \u201cThe Munich Project CIP\u201d, Volume I: The Wide Spectrum Language CIP-L, Springer Verlag LNCS 183, 1985.","key":"11_CR5"},{"unstructured":"J. Guttag et al: \u201cLarch in Five Easy Pieces\u201d, Report #5, DEC Systems Research Center, Palo Alto, 1985.","key":"11_CR6"},{"unstructured":"P. Haff, D. Bj\u00f8rner (eds.): \u201cA Formal Definition of CHILL. A Supplement to the CCITT Recommendation Z.200\u201d, Dansk Datamatik Center, 1980.","key":"11_CR7"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: \u201cCommunicating Sequential Processes\u201d, Prentice\/Hall, 1985.","key":"11_CR8","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"C.B. Jones: \u201cSoftware Development: A Rigorous Approach\u201d, Prentice\/Hall, 1980.","key":"11_CR9"},{"unstructured":"C.B. Jones: \u201cSystematic Software Development Using VDM\u201d, Prentice\/Hall, 1986.","key":"11_CR10"},{"unstructured":"E. Meiling, C.W. George: \u201cThe RAISE Language and Method\u201d, RAISE\/DDC\/EM\/21, Dansk Datamatik Center, 1986.","key":"11_CR11"},{"unstructured":"B. Monahan: \u201cA Semantic Definition of the STC Reference Language\u201d, STC Technology Ltd., 1985.","key":"11_CR12"},{"unstructured":"\u201cA Basis for a Portable Common Tool Environment\u201d, Fourth Edition, Volumes I+II, Bull S.A., 1986.","key":"11_CR13"},{"unstructured":"S. Prehn et al: \u201cA Critical Examination of VDM\u201d, ESPRIT Formal Methods Appraisal Study Final Report, Dansk Datamatik Center, 1983.","key":"11_CR14"},{"unstructured":"G. Reggio, P. Inverardi, E. Astesiano, A. Giovini, F. Mazzanti, E. Zucca: \u201cThe Draft Formal Definition of Ada, The User Manual of the Meta-Language\u201d, CRAI\/IEI\/University of Genoa, September 1986.","key":"11_CR15"},{"doi-asserted-by":"crossref","unstructured":"D. Sanella, M. Wirsing: \u201cA Kernel Language for Algebraic Specification and Implementation\u201d, University of Edinburgh, CSR-131-83, 1983.","key":"11_CR16","DOI":"10.1007\/3-540-12689-9_122"}],"container-title":["Lecture Notes in Computer Science","VDM '87 VDM \u2014 A Formal Method at Work"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17654-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:57:25Z","timestamp":1640915845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17654-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176541","9783540477402"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-17654-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}