{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:12Z","timestamp":1725456132724},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540559280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017510","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:08:47Z","timestamp":1132639727000},"page":"106-122","source":"Crossref","is-referenced-by-count":3,"title":["Integrating a formal specification method with PML: A case study"],"prefix":"10.1007","author":[{"given":"Jin","family":"Sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Warboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"G. E. Kaiser, N. S. Barghouti, P. E. Feiler, R. W. Schwank, \u201cDatabase Support for Knowledge-Based Engineering Environments\u201d IEEE Experts, 1988.","DOI":"10.1109\/64.2102"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"G. E. Kaiser, P. H. Feiler, S. S. Popouich, \u201cIntelligent assistance for software development and maintenance\u201d, IEEE Software, May 1988.","DOI":"10.1109\/52.2023"},{"key":"15_CR3","unstructured":"W. Emmerich, G. Junkermann, B. Peuschel, W. Scchafer, S. Wolf, \u201cMerlin: Knowledge-based Process Modelling\u201d, First European Workshop on Software Process Modelling, May, 1991."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"V. Gruhn, \u201cThe Software process Management Environment Melmac\u201d, First European Workshop on Software Process Modelling, May, 1991.","DOI":"10.1145\/99277.99295"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"S. Bandinelli, a. Fuggetta, C. Ghezzi, \u201cSoftware Process as Real-Time Systems: A case study using High-level Petri Nets\u201d, First European Workshop on Software Process Modelling, May, 1991.","DOI":"10.1109\/PCCC.1992.200598"},{"key":"15_CR6","volume-title":"The IPSE 2.5 Project: Process Modelling as the basis for a Support Environment","author":"B. C. Warboys","year":"1989","unstructured":"B. C. Warboys, \u201cThe IPSE 2.5 Project: Process Modelling as the basis for a Support Environment\u201d, Procs First International Conference on Software Development, Environments and Factories, Berlin, 1989."},{"key":"15_CR7","unstructured":"J. Sa, B. C. Warboys, \u201cSpecifying concurrent object-based systems using combined specification notations\u201d, Technical Report Series UMCS-91-9-2, Department of Computer Science, University of Manchester, July, 1991."},{"key":"15_CR8","unstructured":"A. Apps, \u201cA Prototype BM Specification Tool\u201d, EDS document EDS. WP6I. AA16, Department of Computer Science, University of Manchester, Februrary, 1992."},{"key":"15_CR9","unstructured":"J. Sa, \u201cBM Extensions for Asynchronous Communications\u201d, Draft note, Department of Computer Science, University of Manchester, February, 1992."},{"key":"15_CR10","unstructured":"J. Sa, \u201cBM Specification of the Surrey Project PSS Demonstration Model\u201d, Draft Note, Department of Computer Science, University of Manchester."},{"key":"15_CR11","unstructured":"I. Robertson, \u201cSurrey Project Forecasting \u2014 PSS Demonstration\u201d, IPG document, Department of Computer Science, January, 1992."},{"key":"15_CR12","unstructured":"C. B. Jones, \u201cSystematic Software Development Using VDM\u201d, Prentice-Hall International Series in Computer Science, 1986"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017510.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:39:21Z","timestamp":1626752361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540559280"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0017510","relation":{},"subject":[]}}