{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:48:19Z","timestamp":1725486499767},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416357"},{"type":"electronic","value":"9783540445777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44577-3_8","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T14:23:39Z","timestamp":1181399019000},"page":"112-130","source":"Crossref","is-referenced-by-count":1,"title":["Thinking Tools for the Future of Computing Science"],"prefix":"10.1007","author":[{"given":"Cliff B.","family":"Jones","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"8_CR1","unstructured":"J. Biccaregui, Matthew Bishop, Theo Dimitakos, Kevin Lano, Brian Matthews, and Brian Ritchie. Supporting co-use of VDM and B by translation. In J. S. Fitzgerald, editor, VDM in 2000, 2000."},{"key":"8_CR2","unstructured":"J. H. Cheng and C. B. Jones. On the usability of logics which handle partial functions. In C. Morgan and J. C. P. Woodcock, editors, 3rd Refinement Workshop, pages 51\u201369. Springer-Verlag, 1991."},{"key":"8_CR3","unstructured":"Pierre Collette and Cliff B. Jones. Enhancing the tractability of rely\/guarantee specifications in the development of interfering operations. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction, chapter 10, pages 275\u2013305. MIT Press, 2000."},{"key":"8_CR4","unstructured":"Pierre Collette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications-Application to UNITY. PhD thesis, Louvain-la-Neuve, June 1994."},{"key":"8_CR5","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"8_CR6","unstructured":"J\u00fcrgen Dingel. Systematic Parallel Programming. PhD thesis, Carnegie Mellon University, 2000. CMU-CS-99-172."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"W. P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, 1999.","DOI":"10.1017\/CBO9780511663079"},{"key":"8_CR8","unstructured":"Edsger W Dijkstra and Carel S Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990. ISBN 0-387-96957-8, 3-540-96957-8."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"R.W. Floyd. Assigning meanings to programs. In Proc. Symp. in Applied Mathematics, Vol.19: Mathematical Aspects of Computer Science, pages 19\u201332. American Mathematical Society, 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"J. R. Gurd and C. B. Jones. The global-yet-personal information system. In Ian Wand and Robin Milner, editors, Computing Tomorrow, pages 127\u2013157. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511605611.009"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems VIII","year":"1993","unstructured":"R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems VIII, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, 1993."},{"key":"8_CR12","unstructured":"C. A. R. Hoare and C. B. Jones. Essays in Computing Science. Prentice Hall International, 1989."},{"issue":"10","key":"8_CR13","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576\u2013580, 583, October 1969.","journal-title":"Communications of the ACM"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR15","unstructured":"Michael Jackson. System Design. Prentice-Hall International, 1983."},{"key":"8_CR16","unstructured":"Michael Jackson. Problem Frames: Structring and Analysing Software Development Problems. Addison-Wesley, 2000."},{"key":"8_CR17","unstructured":"C. B. Jones. Development Methods for Computer Programs including a Notion of Interference. PhD thesis, Oxford University, June 1981. Printed as: Programming Research Group, Technical Monograph 25."},{"key":"8_CR18","unstructured":"C. B. Jones. The search for tractable ways of reasoning about programs. Technical Report UMCS-92-4-4, Manchester University, 1992."},{"key":"8_CR19","unstructured":"C. B. Jones. Process algebra arguments about an object-based design notation. In A. W. Roscoe, editor, A Classical Mind, chapter 14, pages 231\u2013246. Prentice-Hall, 1994."},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00122417","volume":"8","author":"C. B. Jones","year":"1996","unstructured":"C. B. Jones. Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design,8(2):105\u2013122, March 1996.","journal-title":"Formal Methods in System Design"},{"issue":"4","key":"8_CR21","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/2.488361","volume":"29","author":"C. B. Jones","year":"1996","unstructured":"C. B. Jones. A rigorous approach to formal methods. IEEE, Computer, 29(4):20\u201321, 1996.","journal-title":"IEEE, Computer"},{"key":"8_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-48119-2_2","volume-title":"FM\u201999 \u2014 Formal Methods","author":"C. B. Jones","year":"1999","unstructured":"C. B. Jones. Scientific decisions which characterize VDM. In FM\u201999 \u2014 Formal Methods, volume 1708 of Lecture Notes in Computer Science, pages 28\u201347. Springer-Verlag, 1999."},{"key":"8_CR23","unstructured":"Cornelius A. Middelburg. Logic and Specification: Extending VDM-SL for advanced formal specification. Chapman and Hall, 1993."},{"key":"8_CR24","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"8_CR26","unstructured":"Donald A Norman. The Psychology of Everyday Things. Basic Books, 1988."},{"key":"8_CR27","unstructured":"S. Owicki. Axiomatic Proof Techniques for Parallel Programs. PhD thesis, Department of Computer Science, Cornell University, 1975. 75\u2013251."},{"key":"8_CR28","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, 1981."},{"issue":"2","key":"8_CR29","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1093\/comjnl\/43.2.95","volume":"43","author":"B. Randell","year":"2000","unstructured":"B. Randell. Facing up to faults. The Computer Jopurnal, 43(2):95\u2013106, 2000.","journal-title":"The Computer Jopurnal"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"James Reason. Human Error. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9781139062367"},{"key":"8_CR31","unstructured":"John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Proceedings of 3rd Workshop on Human Error, pages 1\u201318. HESSD\u201999, 1999."},{"issue":"1","key":"8_CR32","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<25::AID-TAPO3>3.0.CO;2-A","volume":"5","author":"D. Sangiorgi","year":"1999","unstructured":"Davide Sangiorgi. Typed \u03c0-calculus at work: a correctness proof of Jones\u2019s parallelisation transformation on concurrent objects. Theory and Practice of Object Systems, 5(1):25\u201334, 1999.","journal-title":"Theory and Practice of Object Systems"},{"key":"8_CR33","unstructured":"Edwin H. Satterthwaite. Source Language Debugging Tools. PhD thesis, Stanford University, 1975."},{"key":"8_CR34","unstructured":"Mary Shaw and David Garlan. Sofware Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996."},{"key":"8_CR35","unstructured":"R.L. Sites. Some thoughts on proving clean termination of programs. Technical Report STAN-CS-74-417, Computer Science Department, Stanford University, May 1974."},{"issue":"3","key":"8_CR36","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1145\/357369.357371","volume":"1","author":"F. B. Schneider","year":"1983","unstructured":"F. B. Schneider and R. D. Schlichting. Fail-stop processors: an approach to designing fault-tolerant computing systems. TOCS, 1(3):222\u2013238, 1983.","journal-title":"TOCS"},{"key":"8_CR37","unstructured":"T. B. Steel. Formal Language Description Languages for Computer Programming. North-Holland, 1966."},{"key":"8_CR38","unstructured":"K. St\u00f8len. Development of Parallel Programs on Shared Data-Structures. PhD thesis, Manchester University, 1990. available as UMCS-91-1-1."},{"key":"8_CR39","unstructured":"I. C. Smith and D. N. Wall. Programmamable electronic systems for reactor safety. Atom, (395), 1989."},{"key":"8_CR40","unstructured":"WWW. http:\/\/www.dcs.gla.ac.uk\/prosper\/ , 2000."},{"key":"8_CR41","unstructured":"WWW. http:\/\/www.dirc.org.uk , 2000."},{"key":"8_CR42","unstructured":"WWW. http:\/\/www.ifad.dk\/products\/vdmtools.htm , 2000."},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"Qiwen Xu. A Theory of State-based Parallel Programming. PhD thesis, Oxford University, 1992.","DOI":"10.1007\/978-1-4471-3756-6_15"}],"container-title":["Lecture Notes in Computer Science","Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44577-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T05:52:36Z","timestamp":1683870756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44577-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416357","9783540445777"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-44577-3_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}