{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:30Z","timestamp":1725663390849},"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_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:42Z","timestamp":1330197402000},"page":"110-117","source":"Crossref","is-referenced-by-count":3,"title":["Support environments for VDM"],"prefix":"10.1007","author":[{"given":"Kevin D.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"9_CR1","unstructured":"The Alvey Directorate. The Alvey software engineering stratagy. 1983."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"H. Barringer, J.H. Cheng, and C.B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251\u2013269, 1984.","journal-title":"Acta Informatica"},{"key":"9_CR3","unstructured":"S.R. Bourne. The Unix System. Addison Wesley, 1982."},{"key":"9_CR4","unstructured":"I.D. Cottam, C.B. Jones, T. Nipkow, and A.C. Wills. The 2nd annual report on the MULE project. 1983."},{"key":"9_CR5","unstructured":"C.B. Jones, P. Lindsey, and C.P. Wadsworth. IPSE 2.5: the theorem proving concept paper. 1986."},{"key":"9_CR6","unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall International, 1986."},{"key":"9_CR7","unstructured":"K.D.Jones. A review of persistence in programming languages. 1986."},{"key":"9_CR8","unstructured":"B. Melese. Practical applications of a syntax directed program manipulation environment. In 7\n\n                  th\n                \nInt. Conf. on Software Engineering, 1984."},{"key":"9_CR9","unstructured":"R.C. Moore. The specification of Muffin. 1986."},{"key":"9_CR10","unstructured":"T. Nipkow. A user guide to the MULE database. 1982."},{"key":"9_CR11","unstructured":"T. Nipkow. A graph manipulation language \u2014 GRAPL. 1983."},{"key":"9_CR12","unstructured":"The Persistent Programming Research Group. The PS-Algol Reference Manual. Universities of St. Andrews and Glasgow, 2nd edition, 1985."},{"key":"9_CR13","unstructured":"STC and The University of Manchester. The IPSE 2.5 project proposal. 1985."},{"key":"9_CR14","unstructured":"A.C. Wills. The book of MULE. 1986."},{"key":"9_CR15","unstructured":"A.C. Wills. Description of MDB-T. 1986."},{"key":"9_CR16","unstructured":"A.C. Wills. Structure of interactive systems. 1986."}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:11:44Z","timestamp":1619557904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17654-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176541","9783540477402"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-17654-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}