{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:15Z","timestamp":1725663135455},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:47Z","timestamp":1330193567000},"page":"27-41","source":"Crossref","is-referenced-by-count":2,"title":["The role of proof obligations in software design"],"prefix":"10.1007","author":[{"given":"Cliff B.","family":"Jones","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"3_CR1","unstructured":"A Note on Program Verification, P.Aczel, manuscript, January 1982."},{"key":"3_CR2","unstructured":"On an Inference Rule for Parallel Composition, P.Aczel, manuscript, February 1983."},{"key":"3_CR3","unstructured":"Now You May Compose Temporal Logic Specifications, H.Barringer, R.Kuiper and A. Pnueli, Procs. of 16th ACM Symposium on Theory of Computing, May 1984."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"H. Barringer","year":"1984","unstructured":"A Logic Covering Undefinedness in Program Proofs, H. Barringer, J.H. Cheng and C.B. Jones, ACTA Informatica, Vol 21 Part 3, pp251\u2013269, 1984.","journal-title":"ACTA Informatica"},{"key":"3_CR5","unstructured":"A Survey of Verification Techniques for Parallel Programs, H.Barringer, to be published, LNCS, Springer-Verlag."},{"key":"3_CR6","unstructured":"A Compositional Temporal Approach to a CSP-Like Language, H.Barringer, R.Kuiper and A.Pnueli, IFIP Working Conference on \"The Role of Abstract Model in Information Processing\", Vienna, January 30th \u2014 February 1st, 1985."},{"key":"3_CR7","unstructured":"Formal Specification and Software Development, D.Bjorner and C.B.Jones, Prentice-Hall International, 1982."},{"key":"3_CR8","unstructured":"The Specification of Abstract Mappings and their Implementation as B +-Trees, E. Fielding, Oxford University, Monograph PRG-18, 1980."},{"issue":"2","key":"3_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00289074","volume":"9","author":"N. Francez","year":"1978","unstructured":"A Proof Method for Cyclic Programs, N. Francez and A. Pnueli, ACTA Inf. Vol 9 No 2, pp133\u2013157, April 1978.","journal-title":"ACTA Inf."},{"key":"3_CR10","unstructured":"An Axiomatic Basis of Computer Programming, C.A.R.Hoare, CACM"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Parallel Programming: An Axiomatic Approach, C.A.R.Hoare, In Computer Langs, Permagon Press, Vol 1, pp 151\u2013160.","DOI":"10.1016\/0096-0551(75)90014-4"},{"key":"3_CR12","unstructured":"Software Development: A Rigorous Approach, C.B. Jones, Prentice-Hall International, 400 pages, 1980."},{"key":"3_CR13","unstructured":"Development Methods for Computer Program Including a Notion of Interference, C.B.Jones, Oxford University, Monograph PRG 25, June 1981."},{"key":"3_CR14","unstructured":"Specification and Design of (Parallel) Programs, C.B.Jones, (invited paper), IFIP 1983, Paris, North-Holland, pp 321\u2013332, September 1983."},{"key":"3_CR15","unstructured":"Systematic Program Development, C.B.Jones, Symposium \u2018Wiskunde en Informatica', Amsterdam, to be published in the Mathematical Centre Tracts."},{"issue":"4","key":"3_CR16","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. B. Jones","year":"1983","unstructured":"Tentative Steps Toward a Development Method for Interfering Programs, C.B. Jones ACM Trans. Program. Lang. Syst., Vol 5 No4, pp 596\u2013619, October 1983.","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"3_CR17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00289062","volume":"14","author":"L. Lamport","year":"1980","unstructured":"The \"Hoare Logic\" of Concurrent Programs, L. Lamport, Acta Inf., vol 14 no 1, pp21\u201337, June 1980.","journal-title":"Acta Inf."},{"key":"3_CR18","unstructured":"What Good Is Temporal Logic?, L. Lamport, North-Holland, Proc. of the IFIP 9th World Computer Congress, Paris, pages 657\u2013668, 1983."},{"key":"3_CR19","unstructured":"A Formal Specification of Line Representations on Graphics Devices, L.S.Marshall, TAPSOFT Joint Conference on Theory and Practice of Software Development, Berlin, March 1985."},{"key":"3_CR20","unstructured":"Software Construction Using Typed Fragments, N.H.Madhavji, N.Leoutsarakos, D Vouliouris, TAPSOFT Joint Conference on Theory and Practice of Software Development, Berlin, March 1985."},{"key":"3_CR21","unstructured":"Intuition in Software Development, P. Naur, TAPSOFT Joint Conference on Theory and Practice of Software Development, Berlin, March 1985."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Verifying Properties of Parallel Programs: An Axiomatic Approach, S.S.Owicki and D.Gries, Comm. ACM, Vol 19 No 5, pp 279\u2013285.","DOI":"10.1145\/360051.360224"},{"key":"3_CR23","unstructured":"The Quest for Compositionality \u2014 a Survey of Assertion-based Proof Systems for Concurrent Programs, W.P.de Roever, IFIP Working Conference on \"The Role of Abstract Models in Information Processing\", Vienna, January 30th \u2014 February 1st., 1985."},{"key":"3_CR24","unstructured":"Temporal Logic Specifications of Communication Protocals, J.Sa, Manchester University, 1984."},{"key":"3_CR25","unstructured":"Experiences with the PSG-Programming System Generator, G.Snelting, TAPSOFT Joint Conference on Theory and Practice of Software Development, Berlin, March 1985."},{"key":"3_CR26","unstructured":"The Specification, Design and Implementation of NDB, A. Welsh, M.Sc. Thesis, Manchester University, October 1982."},{"key":"3_CR27","unstructured":"A Database Programming Language: Definition, Implementation and Correctness Proofs, A. Welsh, Ph.D. thesis, Manchester University, October 1984."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:11Z","timestamp":1605643691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}