{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:39Z","timestamp":1725664359428},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_99","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:35:51Z","timestamp":1330274151000},"page":"251-270","source":"Crossref","is-referenced-by-count":1,"title":["A precise examination of the behaviour of process models"],"prefix":"10.1007","author":[{"given":"Kelvin J.","family":"Ross","sequence":"first","affiliation":[]},{"given":"Peter A.","family":"Lindsay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"J. C. Bicarregui, J. S. Fitzgerald, P. A. Lindsay, R. D. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. FACIT Series. Springer-Verlag, 1994. ISBN 3-540-19813-X.","DOI":"10.1007\/978-1-4471-2033-9"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"W. Deiters and V. Gruhn. Managing software processes in the environment MELMAC. In R. N. Taylor, editor, Proc. 4th ACM SIGSOFT Symp. on Software Development Environments, vol. 15, SIGSOFT Software Engineering Notes, Dec. 1990.","DOI":"10.1145\/99278.99295"},{"issue":"3","key":"17_CR3","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 approach to complex systems. Science of Computer Programming, 8(3):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"17_CR4","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, and R. D. Moore. Mural: A Formal Development Support System. Springer-Verlag, London, 1991."},{"key":"17_CR5","unstructured":"C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, second edition, 1990."},{"key":"17_CR6","volume-title":"Tech. Rep. No. 70","author":"G. Junkermann","year":"1993","unstructured":"G. Junkermann, B. Peuschel, W. Sch\u00e4fer, and S. Wolf. MERLIN: Supporting cooperation in software development through a knowledge-based environment. Tech. Rep. No. 70, Univ. of Dortmund, Germany, September 1993."},{"key":"17_CR7","volume-title":"Tech. Rep.","author":"G. Junkermann","year":"1994","unstructured":"G. Junkermann. How to improve process programming in merlin. Tech. Rep., Univ. of Dortmund, Germany, 1994. To appear."},{"key":"17_CR8","volume-title":"Tech. Rep. TR 94-3","author":"P. A. Lindsay","year":"1994","unstructured":"P. A. Lindsay and E. van Keulen. Verification Case Studies in Z and VDM. Tech. Rep. TR 94-3, Software Verification Research Centre, Dept. of Comp. Sci., Univ. of Queensland, Australia, 1994."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"B. Peuschel and W. Sch\u00e4fer. Concepts and implementation of a rule-based process engine. In Proc. 14th Int. Conf. on Software Engineering, Melbourne, Australia, May 1992.","DOI":"10.1145\/143062.143126"},{"issue":"1","key":"17_CR10","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1142\/S0218194092000051","volume":"2","author":"B. Peuschel","year":"1992","unstructured":"B. Peuschel, W. Sch\u00e4fer, and S. Wolf. A knowledge-based software development environment supporting cooperative work. International Journal of Software Engineering and Knowledge Engineering, 2(1):79\u2013106, 1992.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"K. J. Ross and P. A. Lindsay. Maintaining consistency under changes to formal specifications. In J. C. P. Woodcock and P. G. Larsen, editors, Proceedings of Formal Methods Europe \u2014 1993, LNCS 670, pages 558\u2013577. Springer-Verlag, April 1993.","DOI":"10.1007\/BFb0024667"},{"key":"17_CR12","unstructured":"K. J. Ross and P. A. Lindsay. A VDM Verification of Merlin Process Models. Tech. Rep. TR 94-7, Software Verification Research Centre, Dept. of Comp. Sci., University of Queensland, 1994."},{"key":"17_CR13","unstructured":"VDM specification language proto-standard: Draft. British Standards Institute, Working Group IST\/5\/19, November 1993. ISO\/IEC JTC1\/SC22\/WG19 N-20."}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:14Z","timestamp":1605648194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}