{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:22Z","timestamp":1747578322245,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_42","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:13:47Z","timestamp":1330211627000},"page":"37-59","source":"Crossref","is-referenced-by-count":14,"title":["Integrating structured and formal methods: A visual approach to VDM"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Dick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Loubersac","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"4_CR1","volume-title":"Proc. Fourth Refinement Workshop","author":"R. J. R. Back","year":"1991","unstructured":"R. J. R. Back, Refinement Diagrams, In Proc. Fourth Refinement Workshop, Wolfson College, Cambridge, Jan 1991"},{"key":"4_CR2","unstructured":"R. D. van der Bos, L. M. G. Feijs, R. C. van Ommering, POLAR, A Picture-Oriented Language for Abstract Representations, Philips Research Laboratories, Research report No. RWR-113-RB-89021-RB, October 1989"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudier, F. Gallo, R. Minot, I. Thomas, An Overview of PCTE and PCTE+, ACM Symposium on Software Development Environments 1988, pp. 248\u2013257","DOI":"10.1145\/64135.65026"},{"key":"4_CR4","unstructured":"British Standards Institute, The BSI\/VDM Proto-Standard, Draft of 7 Sept 1990, Brian Richee (Ed.)"},{"key":"4_CR5","unstructured":"British Standards Institute, The Dynamic Semantics of the BSI\/VDM Specification Language, Draft of August 1990, Peter Gorm Larsen (Ed.)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"P. P. Chen, The Entity-Relationship Model: towards a unified view of data, ACM Transactions on Database Systems, Vol 1, No 1, March 1976","DOI":"10.1145\/320434.320440"},{"key":"4_CR7","unstructured":"R. J. Cunningham, S. J. Goldsack, Why FOREST?, In Proc. of UK IT88, IEE, 1988, pp. 91\u201394"},{"key":"4_CR8","unstructured":"J. Dick, J. Loubersac, A Visual Approach to VDM: Entity-Structure Diagrams, Bull Research Center Report, DE\/DRPA\/DMA\/91001, Jan 1991."},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Programm. Vol. 8, pp. 231\u2013274, 1987","journal-title":"Sci. Comput. Programm"},{"key":"4_CR10","unstructured":"Cliff B. Jones, Systematic Software Development using VDM, Second Edition, Prentice Hall Int., 1990"},{"key":"4_CR11","unstructured":"M. W. Maimone, J. D. Tygar, J. M. Wing, Formal Semantics for Visual Specification of Security, in Visual Languages and Visual Programming, Shi-Kuo Chang (Ed.), Plenum Publishing Corp., 1990"},{"key":"4_CR12","unstructured":"Maurice Naftalin, A Formal Framework for Opportunistic Design, Univ. of Stirling Tech. Report TR72, April 24 1991"},{"key":"4_CR13","unstructured":"Nico Plat, Jan van Katwijk, Kees Pronk, A Case for Structured Analysis\/Formal Design, Submitted for publication."},{"key":"4_CR14","unstructured":"Fiona Polack, Integrating Formal Notations and Systems Analysis: Using Entity Relationship Diagrams, University of York Research Report, SAZ 91\/004, Feb. 27, 1991"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Lesley Semmens, Pat Allen, Using Yourdon and Z: an Approach to Formal Specification, In Proc. 5th Z Users Group Meeting, December 1990, (to be published by Springer Verlag in Workshops in Computing Science.)","DOI":"10.1007\/978-1-4471-3540-1_15"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:24:06Z","timestamp":1742592246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3540547428_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}