{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T18:40:04Z","timestamp":1733596804267,"version":"3.30.1"},"reference-count":31,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2000]]},"DOI":"10.1049\/ip-sen:20000681","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:03:36Z","timestamp":1027681416000},"page":"73","source":"Crossref","is-referenced-by-count":4,"title":["The logic of software design"],"prefix":"10.1049","volume":"147","author":[{"given":"J.S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.F.","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"journal-title":"In Proc. of FME'96, Third International Symposium of Formal Methods Europe","year":"1996","author":"BICARREGUI","key":"10.1049\/ip-sen:20000681_r1"},{"key":"10.1049\/ip-sen:20000681_r2","unstructured":"DEAN, C.N., HINCHEY, M.G., Teaching and learning formal methods, (Academic Press, London 1996)"},{"key":"10.1049\/ip-sen:20000681_r3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.329400","volume":"11","author":"GLASS","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"HALL","year":"1990","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r5","doi-asserted-by":"crossref","unstructured":"HINCHEY, M., and BOWEN, J.: Applications of formal methods, (Prentice Hall 1995)","DOI":"10.1049\/ic:19950707"},{"key":"10.1049\/ip-sen:20000681_r6","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/32.368133","volume":"20","author":"PARNAS","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r7","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"PARNAS","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r8","first-page":"37","volume":"17","author":"GUNTER","year":"2000","ISSN":"https:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r9","doi-asserted-by":"crossref","unstructured":"HEHNER, E.C.R.: A practical theory of programming, (Springer-Verlag, New York 1993)","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"10.1049\/ip-sen:20000681_r10","doi-asserted-by":"crossref","unstructured":"OSTROFF, J.S.: KRAMER, J., Temporal logic for real-time systems. Advanced software development series, (Research Studies Press Limited (John Wiley and Sons, Taunton, England 1989)","DOI":"10.1109\/REAL.1989.63560"},{"key":"10.1049\/ip-sen:20000681_r11","unstructured":"JACKSON, M.: Software requirements & specifications, (Addison-Wesley 1995), p. 127"},{"key":"10.1049\/ip-sen:20000681_r12","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/TSE.1986.6312940","volume":"SE-12","author":"PARNAS","year":"1986","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r13","doi-asserted-by":"crossref","unstructured":"OSTROFF, J.S. and R.F. PAIGE. `The timed predicative calculus as a framework for comparative semantics'. York University. CS-2000-01, 2000. http:\/\/www.cs.yorku.ca\/techreports\/2000\/CS-2000-01.html","DOI":"10.1049\/ip-sen:20000681"},{"key":"10.1049\/ip-sen:20000681_r14","unstructured":"PAIGE, R.F. and OSTROFF, J.S. `An object-oriented refinement calculus'. Department. of Computer Science, York University, Toronto. CS-1999-07, 1999. http:\/\/www.cs.yorku.ca\/techreports\/1999\/CS-1999-07.html"},{"key":"10.1049\/ip-sen:20000681_r15","unstructured":"MEYER, B.: Object-oriented software construction, (Prentice Hall 1997)"},{"key":"10.1049\/ip-sen:20000681_r16","doi-asserted-by":"crossref","unstructured":"GRIES, D., and SCHNEIDER, F.B.: A logical approach to discrete math, (Springer Verlag 1993)","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"10.1049\/ip-sen:20000681_r17","unstructured":"GRIES D., On presenting monotoncity and on EA => AE. Cornell University, Department of Computer Science, TR95-1512, 1995, http:\/\/www.cs.cornell.edu\/gries\/Papers\/Monotonicity.ps"},{"key":"10.1049\/ip-sen:20000681_r18","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"OWRE","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r19","unstructured":"OSTROFF, J.S. and R. PAIGE. `The logic of software design'. Computer Science, York University. CS-98-04, 1998. http:\/\/www.cs.yorku.ca\/General\/techreports\/98\/CS-98-04.html"},{"key":"10.1049\/ip-sen:20000681_r20","unstructured":"NASA. Formal methods specification and analysis guidebook. NASA Office of Safety and Mission Assurance. NASA-GB-001-97, 1997."},{"key":"10.1049\/ip-sen:20000681_r21","first-page":"129","volume":"30","author":"JEZEQUEL","year":"1997"},{"key":"10.1049\/ip-sen:20000681_r22","first-page":"40","volume":"281","author":"PAYNE","year":"1998"},{"key":"10.1049\/ip-sen:20000681_r23","doi-asserted-by":"crossref","unstructured":"ABRIAL, J.-R.: The B-Book: Assigning programs to meanings, (Cambridge University Press 1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"10.1049\/ip-sen:20000681_r24","unstructured":"GRIES, D.: The science of programming, (Springer-Verlag 1985)"},{"key":"10.1049\/ip-sen:20000681_r25","doi-asserted-by":"crossref","unstructured":"MORGAN, C.: Programming from specifications, (Prentice Hall, International Series in Computer Science 1994)","DOI":"10.1016\/0167-6423(94)90004-3"},{"key":"10.1049\/ip-sen:20000681_r26","unstructured":"WALDEN, K., and NERSON, J.-M.: Seamles object oriented software and architecture, (Prentice Hall 1995)"},{"key":"10.1049\/ip-sen:20000681_r27","doi-asserted-by":"crossref","unstructured":"MANNA Z. `STeP'. The Stanford Temporal Prover. Dep. of Computer Science, Stanford University, STAN-CS-'TR-94-1518 1994","DOI":"10.21236\/ADA324036"},{"key":"10.1049\/ip-sen:20000681_r28","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"HOLZMANN","year":"1997","ISSN":"https:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r29","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"BURCH","year":"1992","ISSN":"https:\/\/id.crossref.org\/issn\/0890-5401","issn-type":"print"},{"key":"10.1049\/ip-sen:20000681_r30","unstructured":"HUTH, M., and RYAN, M.: Logic in computer science: Modelling and reasoning about systems, (Cambridge University Press 1999)"},{"key":"10.1049\/ip-sen:20000681_r31","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/6.681968","volume":"35","author":"PERRY","year":"1998","ISSN":"https:\/\/id.crossref.org\/issn\/0018-9235","issn-type":"print"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20000681?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T18:25:39Z","timestamp":1733595939000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20000681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20000681","relation":{},"ISSN":["1462-5970"],"issn-type":[{"type":"print","value":"1462-5970"}],"subject":[],"published":{"date-parts":[[2000]]}}}