{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:15Z","timestamp":1747579575751},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592051"},{"type":"electronic","value":"9783540492245"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59205-9_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:08:47Z","timestamp":1330276127000},"page":"241-254","source":"Crossref","is-referenced-by-count":5,"title":["A reflexive formal software process model"],"prefix":"10.1007","author":[{"given":"J.","family":"Sa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. C.","family":"Warboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"32_CR1","unstructured":"V. Ambriola and Carlo Montangero. Oikos at the Age of Three. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992."},{"key":"32_CR2","unstructured":"S. Bandinelli, A. Fuggetta, and S. Grigolli. Process Modelling In-the-Large with SLANG. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993."},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In Proceedings of the 16th A.C.M. Symposium on Theory of Computing, 1984.","DOI":"10.1145\/800057.808665"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"X.J. Chen and C. Montangero. Compositional Refinement in Multiple Blackboard Systems. In ESOP'92 European Symposium on Programming, February.","DOI":"10.1007\/3-540-55253-7_6"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"R. Conradi et al. Design, Use and Implementation of SPELL, a Language for Software Process Modeling and Evolution. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science. Springer Verlag, 1992.","DOI":"10.1007\/BFb0017519"},{"key":"32_CR6","unstructured":"R. Conradi, C. Fernstr\u00f6m and A. Fuggetta. A Conceptual Framework for Evolving Software Processes. in Software Process Modelling and Technology, A. Finkelstein, J. Kramer and B. Nuseibeh (Eds.), Research Studies Press, Wiley, 1994."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Mark Dowson. Software Process Themes and Issues. In Proceedings of the Second International Conference on the Software Process. IEEE Computer Society Press, 1993.","DOI":"10.1109\/SPCON.1993.236822"},{"key":"32_CR8","unstructured":"C. Fernstr\u00f6m. PROCESS WEAVER: Adding Process Support to UNIX. In Proceedings of the Second International Conference on the Software Process, Berlin, 1993."},{"key":"32_CR9","unstructured":"M.L. Jaccheri and R. Conradi. Techniques for Process Model Evolution in EPOS, in IEEE TSE."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"C.B. Jones, Tentative Steps Toward a Development Method for Interfering Programs, ACM TOPLAS 5(4), 1983.","DOI":"10.1145\/69575.69577"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"J.A. Keane, J. Sa and B.C. Warboys, Applying a Concurrent Formal Framework to Process Modelling. In Proceedings of FME'94, Barcelona, October, 1994. Pages 291\u2013305, LNCS 873.","DOI":"10.1007\/3-540-58555-9_101"},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0164-1212(91)90055-B","volume":"15","author":"C. Kung","year":"1991","unstructured":"C. Kung. Process Interface Modelling and Consistency Checking. Journal of System and Software, 15:185\u2013191, 1991.","journal-title":"Journal of System and Software"},{"key":"32_CR13","unstructured":"L. Lamport. What Good is Temporal Logic? In R.E.A. Mason, editor, Information Processing 83, pages 657\u2013668, IFIP, 1983."},{"key":"32_CR14","unstructured":"J. Sa and B.C. Warboys. Specifying Concurrent Object-based Systems using Combined Specification Notations. Technical Report UMCS-91-9-2, Department of Computer Science, University of Manchester, July 1991."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"R. Snowdon. An Example of Process Change. In Proceedings EWSPT'92, volume 635 of Lecture Notes in Computer Science, pages 179\u2013195. Springer Verlag, 1992.","DOI":"10.1007\/BFb0017520"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"M. Suzuki and T. Katayama. Meta-Operations in the Process Model HFSP for the Dynamics and Flexibility of Software Processes. in Proceedings of the First International Conference on software Processes, 1991, pages 202\u2013217.","DOI":"10.1109\/ICSP.1991.664350"},{"key":"32_CR17","unstructured":"B. Warboys. The IPSE2.5 Project: Process Modelling as the Basis for a Support Environment. In Proceedings of the First International Conference on System Development Environment and Factories, Berlin, May 1989"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"P. Wegner, Dimensions of Object-Based Language Design. in OOPSLA'87 Proceedings, October, 1987.","DOI":"10.1145\/38765.38823"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59205-9_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:12Z","timestamp":1605648372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59205-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592051","9783540492245"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-59205-9_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}