{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:28Z","timestamp":1750306288596,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2897134.2897137","type":"proceedings-article","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T22:58:31Z","timestamp":1464130711000},"page":"22-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parameterising a theory of software problem solving"],"prefix":"10.1145","author":[{"given":"Jon G.","family":"Hall","sequence":"first","affiliation":[{"name":"The Open University, Milton Keynes, UK"}]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[{"name":"The Open University, Milton Keynes, UK"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Notes on the Synthesis of Form","author":"Alexander Christopher","year":"1964","unstructured":"{Ale64} Christopher Alexander . Notes on the Synthesis of Form . Harvard University Press , 1964 . {Ale64} Christopher Alexander. Notes on the Synthesis of Form. Harvard University Press, 1964."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1237975"},{"key":"e_1_3_2_1_3_1","unstructured":"{His16} Ian Hislop. Private Eye volume #1409. Pressdam Ltd London 2016.  {His16} Ian Hislop. Private Eye volume #1409. Pressdam Ltd London 2016."},{"issue":"1","key":"e_1_3_2_1_4_1","first-page":"119","volume":"2","author":"Hall Jon G.","year":"2009","unstructured":"{HR09} Jon G. Hall and Lucia Rapanotti . Assurance-driven design in Problem Oriented Engineering. International Journal On Advances in Systems and Measurements , 2 ( 1 ): 119 -- 130 , 2009 . {HR09} Jon G. Hall and Lucia Rapanotti. Assurance-driven design in Problem Oriented Engineering. International Journal On Advances in Systems and Measurements, 2(1):119--130, 2009.","journal-title":"Problem Oriented Engineering. International Journal On Advances in Systems and Measurements"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 4th SEMAT Workshop on General Theories of Software Engineering","author":"Jon","year":"2015","unstructured":"{HR15} Jon G. Hall and Lucia Rapanotti. Towards a design theoretic characterisation of software development process models . In Proceedings of the 4th SEMAT Workshop on General Theories of Software Engineering , 2015 . {HR15} Jon G. Hall and Lucia Rapanotti. Towards a design theoretic characterisation of software development process models. In Proceedings of the 4th SEMAT Workshop on General Theories of Software Engineering, 2015."},{"key":"e_1_3_2_1_7_1","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problems","author":"Jackson M.","year":"2001","unstructured":"{Jac01} M. Jackson . Problem Frames: Analyzing and Structuring Software Development Problems . Addison-Wesley Publishing Company , 2001 . {Jac01} M. Jackson. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Publishing Company, 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"Toward a design theory of problem solving. Educational technology research and development, 48(4):63--85","author":"Jonassen David H","year":"2000","unstructured":"{Jon00} David H Jonassen . Toward a design theory of problem solving. Educational technology research and development, 48(4):63--85 , 2000 . {Jon00} David H Jonassen. Toward a design theory of problem solving. Educational technology research and development, 48(4):63--85, 2000."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of BUSTECH 2015","author":"Kaminski Dariusz","year":"2015","unstructured":"{KH15} Dariusz Kaminski and Jon G. Hall . Towards process design for efficient organisational problem solving . In Proceedings of BUSTECH 2015 , 2015 . {KH15} Dariusz Kaminski and Jon G. Hall. Towards process design for efficient organisational problem solving. In Proceedings of BUSTECH 2015, 2015."},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Metamathematics","author":"Kleene S. C.","year":"1964","unstructured":"{Kle64} S. C. Kleene . Introduction to Metamathematics . Van Nostrand , Princeton, NJ ., 1964 . {Kle64} S. C. Kleene. Introduction to Metamathematics. Van Nostrand, Princeton, NJ., 1964."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer performance evaluation: modelling techniques and tools","author":"Kwiatkowska Marta","year":"2002","unstructured":"{KNP02} Marta Kwiatkowska , Gethin Norman , and David Parker . Prism: Probabilistic symbolic model checker . In Computer performance evaluation: modelling techniques and tools , pages 200 -- 204 . Springer , 2002 . {KNP02} Marta Kwiatkowska, Gethin Norman, and David Parker. Prism: Probabilistic symbolic model checker. In Computer performance evaluation: modelling techniques and tools, pages 200--204. Springer, 2002."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-06683-4","volume-title":"The Nature of Engineering: A Philosophy of Technology","author":"Rogers G. F. C.","year":"1983","unstructured":"{Rog83} G. F. C. Rogers . The Nature of Engineering: A Philosophy of Technology . Palgrave Macmillan , 1983 . {Rog83} G. F. C. Rogers. The Nature of Engineering: A Philosophy of Technology. Palgrave Macmillan, 1983."},{"key":"e_1_3_2_1_13_1","first-page":"40","volume-title":"The Hidden History of Bletchley Park: A Social and Organisational History","author":"Smith Christopher","year":"1939","unstructured":"{Smi15} Christopher Smith . The Hidden History of Bletchley Park: A Social and Organisational History , 1939 --1945, chapter Recruitment at GC&CS: 1919--1945, pages 40 -- 69 . Palgrave Macmillan UK , London, 2015. {Smi15} Christopher Smith. The Hidden History of Bletchley Park: A Social and Organisational History, 1939--1945, chapter Recruitment at GC&CS: 1919--1945, pages 40--69. Palgrave Macmillan UK, London, 2015."},{"key":"e_1_3_2_1_14_1","volume-title":"Calif","author":"Weick K. E.","year":"1995","unstructured":"{Wei95} K. E. Weick . Sensemaking in Organisations. Thousand Oaks , Calif . Sage Publications , 1995 . {Wei95} K. E. Weick. Sensemaking in Organisations. Thousand Oaks, Calif. Sage Publications, 1995."}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897134.2897137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897134.2897137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:02Z","timestamp":1750221542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897134.2897137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":13,"alternative-id":["10.1145\/2897134.2897137","10.1145\/2897134"],"URL":"https:\/\/doi.org\/10.1145\/2897134.2897137","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}