{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:46:31Z","timestamp":1742399191109},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024638","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:09:15Z","timestamp":1132722555000},"page":"64-72","source":"Crossref","is-referenced-by-count":4,"title":["Role of VDM(++) in the development of a real-time tracking and tracing system"],"prefix":"10.1007","author":[{"given":"E. H.","family":"D\u00fcrr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. M.","family":"Dusink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Miche\u00e0l Mac an Airchinnigh, Tutorial Lecture Notes on the Irish School of the VDM, VVDM'91 Formal Software Development Methods vol 2, Lecture Notes in Computer Science nr. 552, Springer Verlag Berlin, Germany."},{"key":"5_CR2","volume-title":"Software Risk Management","author":"B. W. Boehm","year":"1906","unstructured":"Barry W. Boehm, Software Risk Management, IEEE Computer Society Press nr. 1906, Washington, USA."},{"key":"5_CR3","volume-title":"Studies in Computer Science and AI nr. 3","author":"W. Cellary","year":"1988","unstructured":"W. Cellary, E. Gelenbe, T. Morzy, Concurrency Control in Distributed Database Systems, Studies in Computer Science and AI nr. 3, North-Holland, Elseviers Science Publishers, Amsterdam, 1988."},{"key":"5_CR4","unstructured":"CombiCom Internal Deliverable S.1.X, Formal specification of the CombiCom architecture, CombiCom Consortium."},{"key":"5_CR5","unstructured":"E.H. D\u00fcrr, VDM++, Language Reference manual, Utrecht University, Faculty of Physics and Astronomy, Internal Report RUU-FI-91-6."},{"key":"5_CR6","unstructured":"E.H. D\u00fcrr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, Conference Proceedings Tools Euro '92 in Technology of Object-Oriented Languages and Systems,Tools 7, Prentice Hall International, 1992."},{"key":"5_CR7","volume-title":"IEEE Conference Proceedings CompEuro '92 in Computer Systems ans Software Engineering","author":"E.H. D\u00fcrr","year":"1992","unstructured":"E.H. D\u00fcrr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, IEEE Conference Proceedings CompEuro '92 in Computer Systems ans Software Engineering, IEEE Computer Society Press nr 2760, California, 1992."},{"key":"5_CR8","volume-title":"Ada in safety critical applications, Ada in Industry, proceedings of the Ada-Europe Conference","author":"R. Holzapfel","year":"1988","unstructured":"R. Holzapfel, G. Winterstein, Ada in safety critical applications, Ada in Industry, proceedings of the Ada-Europe Conference 1988, Cambridge University Press, Great Britain."},{"key":"5_CR9","unstructured":"C.B. Jones, Systematic Software Development using VDM, Prentice Hall International second edition, 1990."},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3180-9","volume-title":"Mural, A Formal Development Support System","author":"C.B. Jones","year":"1991","unstructured":"C.B. Jones, K.D. Jones, P.A. Lindsay, R. Moore, Mural, A Formal Development Support System, Springer Verlag, London, 1991."}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024638.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:53:04Z","timestamp":1607532784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566627"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0024638","relation":{},"subject":[]}}