{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:51Z","timestamp":1725664851946},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:00Z","timestamp":1330280940000},"page":"221-236","source":"Crossref","is-referenced-by-count":5,"title":["PICGAL: Practical use of formal specification to develop a complex critical system"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Devauchelle","sequence":"first","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"Voss","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"John Dawes. The VDM-SL Reference Guide. Pitman, 1991. ISBN 0-273-03151-1.","DOI":"10.1201\/9781482267419"},{"issue":"9","key":"12_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstr\u00f8m","year":"1994","unstructured":"Ren\u00e9 Elmstr\u00f8m, Peter Gorm Larsen, and Poul B\u00f8gh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77\u201380, September 1994.","journal-title":"ACM Sigplan Notices"},{"key":"12_CR3","unstructured":"John Fitzgerald, Peter Gorm Larsen, Tom Brookes, and Mike Green. Applications of Formal Methods, chapter 14. Developing a Security-critical System using Formal and Convential Methods, pages 333\u2013356. Prentice-Hall International Series in Computer Science, 1995."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Brigitte Fr\u00f6hlich and Peter Gorm Larsen. Combining VDM-SL Specifications with C++ Code. In Marie-Claude Gaudel and Jim Woodcock, editors, FME'96: Industrial Benefit and Advances in Formal Methods, pages 179\u2013194. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60973-3_87"},{"key":"12_CR5","volume-title":"Systematic Software Development Using VDM","author":"C. B. Jones","year":"1990","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, second edition, 1990. ISBN 0-13-880733-7.","edition":"second edition"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/52.493020","volume":"13","author":"P. G. Larsen","year":"1996","unstructured":"Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48\u201356, May 1996.","journal-title":"IEEE Software"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Paul Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, pages 133\u2013140, July 1995.","DOI":"10.1049\/sej.1995.0017"},{"key":"12_CR8","unstructured":"P. G. Larsen and B. S. Hansen and H. Brunn N. Plat and H. Toetenel and D. J. Andrews and J. Dawes and G. Parkin and others. Information technology \u2014 Programming languages, their environments and system software interfaces \u2014 Vienna Development Method \u2014 Specification Language \u2014 Part 1: Base language, December 1996."},{"key":"12_CR9","unstructured":"The VDM Tool Group. The IFAD VDM-SL Language. Technical report, IFAD, May 1996. IFAD-VDM-1."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"T.M. Brookes and J.S. Fitzgerald and P.G. Larsen. Formal and Informal Specifications of a secure System Component: Final Results in a Comparative Study. In Marie-Claude Gaudel and Jim Woodcock, editors, FME'96: Industrial Benefit and Advances in Formal Methods, pages 214\u2013227. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60973-3_89"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:50:06Z","timestamp":1640933406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}