{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T17:14:28Z","timestamp":1673630068343},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,12,29]],"date-time":"2011-12-29T00:00:00Z","timestamp":1325116800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1007\/s11334-011-0171-2","type":"journal-article","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T08:48:54Z","timestamp":1325062134000},"page":"175-193","source":"Crossref","is-referenced-by-count":8,"title":["Software engineering as the design theoretic transformation of software problems"],"prefix":"10.1007","volume":"8","author":[{"given":"Jon G.","family":"Hall","sequence":"first","affiliation":[]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,29]]},"reference":[{"key":"171_CR1","unstructured":"Apple (2011) Apple XCode template for document-based application in iOS"},{"key":"171_CR2","unstructured":"AssWS (2004) Workshop on assurance cases: best practices, possible obstacles and future opportunities. Co-located with the international conference on dependable systems and networks, Florence, Italy"},{"key":"171_CR3","doi-asserted-by":"crossref","unstructured":"Back RJ, von Wright J (1994) Trace refinement of action systems. In: International conference on concurrency theory, pp 367\u2013384. http:\/\/citeseer.nj.nec.com\/back94trace.html","DOI":"10.1007\/BFb0015020"},{"issue":"1","key":"171_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"SE-7","author":"R Balzer","year":"1981","unstructured":"Balzer R (1981) Transformation implementation: an example. IEEE Trans Softw Eng SE-7(1): 3\u201314","journal-title":"IEEE Trans Softw Eng"},{"key":"171_CR5","unstructured":"Bird RS (1988) Lectures on constructive functional programming. Technical monograph PRG-69, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK"},{"key":"171_CR6","unstructured":"Bloomfield R, Bishop P, Jones C, Froome P (1998) ASCAD-Adelard safety case development manual. http:\/\/www.adelard.com\/resources\/ascad\/ . (Last accessed: 29th November 2011)"},{"issue":"9","key":"171_CR7","first-page":"45","volume":"11","author":"N Boyd","year":"1999","unstructured":"Boyd N (1999) Using natural language in software development. J Obj Oriented Progr JOOP 11(9): 45\u201355","journal-title":"J Obj Oriented Progr JOOP"},{"issue":"2","key":"171_CR8","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"MS Feather","year":"1987","unstructured":"Feather MS (1987) Language support for the specification and development of composite systems. ACM Trans Progr Lang Syst 9(2): 198\u2013234","journal-title":"ACM Trans Progr Lang Syst"},{"key":"171_CR9","doi-asserted-by":"crossref","unstructured":"Fensel D, Neubert S (1994) Integration of semiformal and formal methods for specifying knowledge-based systems. In: B Wolfinger (ed) Proceedings of GI Jahrestagung 1994. Innovation bei Rechen- und Kommunikationssystemen, Informatik Aktuell. Springer, Berlin, pp 43\u201350","DOI":"10.1007\/978-3-642-51136-3_6"},{"issue":"5","key":"171_CR10","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"MD Fraser","year":"1991","unstructured":"Fraser MD, Kumar K, Vaishnavi VK (1991) Informal and formal requirements specification languages: bridging the gap. IEEE Trans Softw Eng 17(5): 454\u2013466","journal-title":"IEEE Trans Softw Eng"},{"key":"171_CR11","unstructured":"Gamma E, Johnson R, Vlissides J, Helm R (1995) Designpatterns: elements of reusable object-oriented software. Addison-Wesley, Upper Saddle River"},{"key":"171_CR12","doi-asserted-by":"crossref","unstructured":"Hall JG, Mannering D, Rapanotti L (2007) Arguing safety with problem oriented software engineering. In: 10th IEEE international symposium on high assurance system engineering (HASE). Dallas, Texas","DOI":"10.1109\/HASE.2007.44"},{"key":"171_CR13","unstructured":"Hall JG, Rapanotti L (2008) The discipline of natural design. In: Proceedings of the Design Research Society conference 2008. Design Research Society, Bangkok"},{"issue":"1","key":"171_CR14","first-page":"119","volume":"2","author":"JG Hall","year":"2009","unstructured":"Hall JG, Rapanotti L (2009) Assurance-Driven design in problem oriented engineering. Int J Adv Syst Measur 2(1): 119\u2013130","journal-title":"Int J Adv Syst Measur"},{"key":"171_CR15","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L (2010) Give us a clue! Tech. Rep. 16, The Open University. http:\/\/computing-reports.open.ac.uk\/2010\/TR2010-16.pdf","DOI":"10.19070\/2326-3350-SI03003"},{"key":"171_CR16","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L (2012) Enterprising research skills: academia\u2019s changing role. Int J Learn Intel Capital (to appear)","DOI":"10.1504\/IJLIC.2013.052080"},{"key":"171_CR17","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L, Jackson M (2005) Problem frame semantics for software development. J Softw Syst Model 4(2):189\u2013198. doi: 10.1007\/s10270-004-0062-1","DOI":"10.1007\/s10270-004-0062-1"},{"key":"171_CR18","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L, Jackson M (2007) Problem oriented software engineering: a design-theoretic framework for software engineering. In: Proceedings of 5th IEEE international conference on software engineering and formal methods. IEEE Computer Society Press, Los Angels, pp 15\u201324. doi: 10.1109\/SEFM.2007.29","DOI":"10.1109\/SEFM.2007.29"},{"key":"171_CR19","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L, Jackson M (2008) Problem-oriented software engineering: solving the package router control problem. IEEE Trans Softw Eng. doi: 10.1109\/TSE.2007.70769","DOI":"10.1109\/TSE.2007.70769"},{"key":"171_CR20","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall International, Upper Saddle River"},{"key":"171_CR21","volume-title":"Problem frames: analyzing and structuring software development problems","author":"M Jackson","year":"2001","unstructured":"Jackson M (2001) Problem frames: analyzing and structuring software development problems. Addison-Wesley Publishing Company, New York"},{"key":"171_CR22","doi-asserted-by":"crossref","unstructured":"Jackson MA (1995) The world and the machine (keynote). In: 17th international conference on software engineering (ICSE\u201995). IEEE\/ACM, New Jersey","DOI":"10.1145\/225014.225041"},{"key":"171_CR23","unstructured":"Jackson MA, Zave P (1993) Domain descriptions. In: Proceedings of the 1st IEEE international symposium on requirements engineering. IEEE CS Press, Washington, pp 56\u201364"},{"key":"171_CR24","unstructured":"Kaminski DW, Hall JG, Rapanotti L (2011) Towards executable business processes with problem oriented engineering process algebra. In: Proceedings of the 6th international conference of software engineering advances (ICSEA), IARIA"},{"key":"171_CR25","unstructured":"Kelly T, Weaver R (2004) The goal structuring notation\u2014a safety argument notation. In: [2]"},{"key":"171_CR26","unstructured":"Kelly TP (1998) Arguing safety\u2014a systematic approach. Ph.D. thesis, Department of Computing, University of York"},{"key":"171_CR27","unstructured":"Kleene SC (1964) Introduction to metamathematics. Van Nostrand, Princeton"},{"key":"171_CR28","doi-asserted-by":"crossref","unstructured":"Lavazza L, Bianco VD (2006) Combining Problem Frames and UML in the Description of Software Requirements. In: Baresi L, Heckel R (eds) Proceedings of FASE 2006, lecture notes in computer science, vol 3922. Springer, Berlin, pp 199\u2013213","DOI":"10.1007\/11693017_16"},{"key":"171_CR29","doi-asserted-by":"crossref","unstructured":"Li Z, Hall JG, Rapanotti L (2006) From requirements to specification: a formal perspective. In: Hall JG, Rapanotti L, Cox K, Jin Z (eds) Proceedings of the second international workshop on advances and applications of problem Frames, ACM","DOI":"10.1145\/1138670.1138671"},{"key":"171_CR30","unstructured":"Mac Lane S (1998) Categories for the working mathematician. Graduate texts in mathematics. Springer, Berlin"},{"key":"171_CR31","unstructured":"Mannering D (2010) Problem oriented engineering of safety-critical software. Ph.D. thesis, Open University."},{"key":"171_CR32","doi-asserted-by":"crossref","unstructured":"Mannering D, Hall JG, Rapanotti L (2007) Safety process improvement with POSE & Alloy. In: Saglietti F, Oster N (eds) Computer safety, reliability and security (SAFECOMP 2007), lecture notes in computer science, vol 4680. Springer, Nuremberg, pp 252\u2013257","DOI":"10.1007\/978-3-540-75101-4_23"},{"key":"171_CR33","doi-asserted-by":"crossref","unstructured":"Mannering D, Hall JG, Rapanotti L (2007) Towards normal design for safety-critical systems. In: Dwyer MB, Lopes A (eds) Proceedings of ETAPS fundamental approaches to software engineering (FASE) \u201907, lecture notes in computer science, vol 4422. Springer, Berlin, pp 398\u2013411","DOI":"10.1007\/978-3-540-71289-3_30"},{"key":"171_CR34","unstructured":"Martin A, Nickson R, Utting M (1997) Improving angel\u2019s parallel operator: Gumtree\u2019s approach. Technical Report. University of Queensland, Australia, pp 97\u201315"},{"issue":"4","key":"171_CR35","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/BF01213535","volume":"8","author":"AP Martin","year":"1996","unstructured":"Martin AP, Gardiner PHB, Woodcock JCP (1996) A tactic calculus. Formal Asp Comput 8(4): 479\u2013489","journal-title":"Formal Asp Comput"},{"issue":"5","key":"171_CR36","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S Mellor","year":"2003","unstructured":"Mellor S, Clark A, Futagami T (2003) Model-driven development\u2014guest editor\u2019s introduction. IEEE Softw 20(5): 14\u201318","journal-title":"IEEE Softw"},{"key":"171_CR37","unstructured":"Morgan C (1994) Programming from Specifications. Prentice Hall international series in computer science. Prentice-Hall International, Upper Saddle River"},{"key":"171_CR38","doi-asserted-by":"crossref","unstructured":"Nkwocha A, Hall JG, Rapanotti L (2010) Design rationale capture in the globalised enterprise: an industrial study. In: Proceedings of fifth international conference on software engineering advances (ICSEA 2010), IEEE electronic proceedings","DOI":"10.1109\/ICSEA.2010.50"},{"key":"171_CR39","unstructured":"Oliveira MVM, Cavalcanti ALC (2000) Tactics of refinement. In: Proceedings of the XIV simposio Brasileiro de engenharia de software, pp 117\u2013132"},{"issue":"1","key":"171_CR40","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/s00165-003-0003-8","volume":"15","author":"MVM Oliveira","year":"2003","unstructured":"Oliveira MVM, Cavalcanti ALC, Woodcock JCP (2003) ArcAngel: a tactic language for refinement. Formal Asp Comput 15(1): 28\u201347","journal-title":"Formal Asp Comput"},{"key":"171_CR41","unstructured":"OMG: Unified modeling language (UML), version 2.0. http:\/\/www.uml.org\/ . (Last accessed 11th November 2008)"},{"key":"171_CR42","doi-asserted-by":"crossref","unstructured":"Overton J, Hall JG, Rapanotti L (2009) A problem-oriented theory of pattern-oriented analysis and design. In: Proceedings of IARIA patterns 2009","DOI":"10.1109\/ComputationWorld.2009.57"},{"key":"171_CR43","unstructured":"Paulson L (1990) Logic and computation: interactive proof with cambridge LCF. Cambridge tracts in theoretical computer Science. Cambridge University Press, Cambridge"},{"key":"171_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/014453499298165","volume":"20","author":"FJ Pelletier","year":"1999","unstructured":"Pelletier FJ (1999) A brief history of natural deduction. Histor Philos Log 20: 1\u201331","journal-title":"Histor Philos Log"},{"key":"171_CR45","doi-asserted-by":"crossref","unstructured":"Rapanotti L, Hall JG (2010) Design concerns in the engineering of virtual worlds for learning. Behav Inform Technol 30(1):27\u201337. (Special issue On social networks research for interactive learning environments: defining new frontiers for interactivity). doi: 10.1080\/0144929X.2010.490922","DOI":"10.1080\/0144929X.2010.490922"},{"key":"171_CR46","unstructured":"Rapanotti L, Hall JG (2010) Lessons learned in developing a second life educational environment. In: Proceedings of the 2nd international conference on computer supported education. Valencia, Spain"},{"issue":"5","key":"171_CR47","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1049\/ip-sen:20060011","volume":"153","author":"L Rapanotti","year":"2006","unstructured":"Rapanotti L, Hall JG, Li Z (2006) Deriving specifications from requirements through problem reduction. IEE Proc Softw 153(5): 183\u2013198","journal-title":"IEE Proc Softw"},{"key":"171_CR48","doi-asserted-by":"crossref","unstructured":"Redmill F, Anderson T (1993) Safety-critical systems: current issues, techniques, and standards. Chapman & Hall, Springer","DOI":"10.1007\/978-1-4471-2037-7"},{"key":"171_CR49","doi-asserted-by":"crossref","unstructured":"Rogers GFC (1983) The nature of engineering: a philosophy of technology. Palgrave Macmillan","DOI":"10.1007\/978-1-349-06683-4_6"},{"key":"171_CR50","doi-asserted-by":"crossref","unstructured":"Seater R, Jackson D (2006) Problem frame transformations: deriving specifications from requirements. In: Proceedings of 2nd international workshop on advances and applications of problem frames. Shanghai, China","DOI":"10.1145\/1138670.1138682"},{"key":"171_CR51","doi-asserted-by":"crossref","unstructured":"Smith D (2005) Comprehension by derivation. In: Proceedings of the 13th international workshop on program comprehension. IWPC, USA, pp 3\u20139","DOI":"10.1109\/WPC.2005.13"},{"key":"171_CR52","doi-asserted-by":"crossref","unstructured":"Strunk EA, Knight JC (2008) The essential synthesis of problem frames and assurance cases. Exp Syst 25(1):9\u201327. http:\/\/www.blackwell-synergy.com\/doi\/abs\/10.1111\/j.1468-0394.2008.00452.x","DOI":"10.1111\/j.1468-0394.2008.00452.x"},{"key":"171_CR53","doi-asserted-by":"crossref","unstructured":"Swartout W, Balzer R (1982) On the inevitable intertwining of specification and implementation. Commun ACM 25(7):438\u2013440. http:\/\/doi.acm.org\/10.1145\/358557.358572","DOI":"10.1145\/358557.358572"},{"key":"171_CR54","unstructured":"Szabo ME (ed) (1969) Gentzen G.: The collected papers of Gerhard Gentzen. Amsterdam, the Netherlands"},{"key":"171_CR55","unstructured":"Turski WM (1986) And no philosophers\u2019 stone, either. Inform Process 86"},{"key":"171_CR56","unstructured":"Weick KE (1995) Sensemaking in organisations. Sage Publications, Thousand Oaks"},{"issue":"3\/4","key":"171_CR57","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0306-4379(98)00007-6","volume":"23","author":"R Wieringa","year":"1998","unstructured":"Wieringa R, Dubois E (1998) Integrating semi-formal and formal software specification techniques. Inform Syst 23(3\/4): 159\u2013178","journal-title":"Inform Syst"},{"issue":"11","key":"171_CR58","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"DS Wile","year":"1983","unstructured":"Wile DS (1983) Program developments: formal explanations of implementations. Commun ACM 26(11): 902\u2013911","journal-title":"Commun ACM"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0171-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-011-0171-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-011-0171-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,22]],"date-time":"2021-12-22T21:22:08Z","timestamp":1640208128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-011-0171-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,29]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["171"],"URL":"https:\/\/doi.org\/10.1007\/s11334-011-0171-2","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,29]]}}}