{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:16:59Z","timestamp":1742379419305},"reference-count":40,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2006]]},"DOI":"10.1049\/ip-sen:20060011","type":"journal-article","created":{"date-parts":[[2006,11,6]],"date-time":"2006-11-06T23:03:31Z","timestamp":1162854211000},"page":"183","source":"Crossref","is-referenced-by-count":15,"title":["Deriving specifications from requirements through problem reduction"],"prefix":"10.1049","volume":"153","author":[{"given":"L.","family":"Rapanotti","sequence":"first","affiliation":[]},{"given":"J.G.","family":"Hall","sequence":"additional","affiliation":[]},{"given":"Z.","family":"Li","sequence":"additional","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20060011_r1","first-page":"891","volume":"47","author":"Cox","year":"2005"},{"key":"10.1049\/ip-sen:20060011_r2","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1109\/ICSE.2004.1317520","author":"Cox","year":"2004","journal-title":"Proc. 26th Int. Conf. on Software Engineering (ICSE 2004)"},{"key":"10.1049\/ip-sen:20060011_r3","author":"Hall","year":"2006","journal-title":"Proc. 28th Int. Conf. on Software Engineering (ICSE 2006)"},{"key":"10.1049\/ip-sen:20060011_r4","unstructured":"Jackson, M.A.: \u2018Software requirements & specifications: a lexicon of practice, principles and prejudices\u2019, (ACM Press, Addison-Wesley Publishing Company 1995)"},{"key":"10.1049\/ip-sen:20060011_r5","author":"Jackson","year":"1995","journal-title":"Proc. 17th Int. Conf. on Software Engineering (ICSE'95)"},{"key":"10.1049\/ip-sen:20060011_r6","first-page":"47","volume":"22","author":"Jackson","year":"1998"},{"key":"10.1049\/ip-sen:20060011_r7","unstructured":"Jackson, M.A.: \u2018Problem Frames: analyzing and structuring software development problem\u2019, 1st(Addison-Wesley Publishing Company 2001)"},{"key":"10.1049\/ip-sen:20060011_r8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"Zave","year":"1997","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"},{"key":"10.1049\/ip-sen:20060011_r9","first-page":"37","volume":"17","author":"Gunter","year":"2000","ISSN":"http:\/\/id.crossref.org\/issn\/0740-7459","issn-type":"print"},{"key":"10.1049\/ip-sen:20060011_r10","first-page":"189","volume":"4","author":"Hall","year":"2005"},{"key":"10.1049\/ip-sen:20060011_r11","author":"Hammond","year":"2001","journal-title":"Proc. 5th IEEE Int. Symp. on Requirements Engineering"},{"key":"10.1049\/ip-sen:20060011_r12","first-page":"59","volume":"1","author":"Jackson","year":"2002"},{"key":"10.1049\/ip-sen:20060011_r13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/ICRE.2002.1048516","author":"Hall","year":"2002","journal-title":"Proc. 10th Ann. IEEE Joint Int. Conf. on Requirements Engineering (RE 2002)"},{"key":"10.1049\/ip-sen:20060011_r14","first-page":"80","author":"Rapanotti","year":"2004","journal-title":"Proc. 12th IEEE Int. Conf. on Requirements Engineering (RE 2004)"},{"key":"10.1049\/ip-sen:20060011_r15","unstructured":"\u2018Problem-oriented Software Engineering\u2019, Technical Report 2006\u221510, The Open University, Department of Computing, 2006"},{"key":"10.1049\/ip-sen:20060011_r16","unstructured":"\u2018Problem transformations in solving the package router control problem\u2019, Technical Report 2006\u221507, The Open University, Computing Department, 2006"},{"key":"10.1049\/ip-sen:20060011_r17","unstructured":"Kleene, S.C.: \u2018Introduction to metamathematics\u2019, (Van Nostrand, Princeton, NJ 1964)"},{"key":"10.1049\/ip-sen:20060011_r18","doi-asserted-by":"crossref","unstructured":"Bertot, Y., Kahn, G., and The\u0301ry, L.: \u2018Proof by Pointing\u2019, Hagiya, M., Mitchell, J.C., Proceedings of the International Symposium on Theoretical Aspects of Computer Softward, (Springer-Verlag LNCS 789, Sendai, Japan 1994), p. 141\u2013160 citeseer.ist.psu.edu\/bertot94proof.html","DOI":"10.1007\/3-540-57887-0_94"},{"key":"10.1049\/ip-sen:20060011_r19","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1007\/BF00881906","volume":"11","author":"Farmer","year":"1993","ISSN":"http:\/\/id.crossref.org\/issn\/0168-7433","issn-type":"print"},{"key":"10.1049\/ip-sen:20060011_r20","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BFb0038693","author":"Beeson","year":"1991","journal-title":"Proc. Int. Workshop Extensions of Logic Programming"},{"key":"10.1049\/ip-sen:20060011_r21","doi-asserted-by":"crossref","unstructured":"Bundy, A.: \u2018A survey of automated deduction\u2019, Wooldridge, M., Veloso, M., Artificial Intelligence Today, volume 1600 of LNAI, (Springer-Verlag, Berlin, Heidelberg 1999), p. 153\u2013174","DOI":"10.1007\/3-540-48317-9_6"},{"key":"10.1049\/ip-sen:20060011_r22","unstructured":"OMG. Unified Modeling Language (UML), version 2.0. http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"10.1049\/ip-sen:20060011_r23","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/ICRE.2003.1232749","author":"Hall","year":"2003","journal-title":"Proc. 11th IEEE Int. Conf. on Requirements Engineering (RE 2003)"},{"key":"10.1049\/ip-sen:20060011_r24","unstructured":"Morgan, C., Vickers, T., \u2018On the refinement calculus\u2019, (Springer-Verlag New York, Inc., Secaucus, NJ, USA 1992)"},{"key":"10.1049\/ip-sen:20060011_r25","unstructured":"Barker, S.: \u2018The elements of logic\u2019, (McGraw-Hill 1989)"},{"key":"10.1049\/ip-sen:20060011_r26","doi-asserted-by":"crossref","unstructured":"Peng, Y., and Reggia, J.: \u2018Abductive inference models for diagnostic problem solving\u2019, (Springer Verlag 1990)","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"10.1049\/ip-sen:20060011_r27","first-page":"27","volume":"1","author":"Moffett","year":"1996"},{"key":"10.1049\/ip-sen:20060011_r28","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"10.1049\/ip-sen:20060011_r29","first-page":"119","volume":"27","author":"Letier","year":"2002"},{"key":"10.1049\/ip-sen:20060011_r30","doi-asserted-by":"crossref","unstructured":"Manna, Z., and Pnueli, A.: \u2018The temporal logic of reactive and concurrent systems\u2019, (Springer-Verlag 1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10.1049\/ip-sen:20060011_r31","doi-asserted-by":"crossref","unstructured":"Alexander, I., Maiden, N., \u2018Scenarios, stories, use cases through the systems development life-cycle\u2019, (Wiley 2004)","DOI":"10.1049\/cce:20040505"},{"key":"10.1049\/ip-sen:20060011_r32","first-page":"179","volume":"21","author":"Darimont","year":"1996"},{"key":"10.1049\/ip-sen:20060011_r33","first-page":"365","volume":"27","author":"Castro","year":"2002"},{"key":"10.1049\/ip-sen:20060011_r34","unstructured":"Larman, C.: \u2018Applying UML and patters\u2019, 2nd(Prentice Hall 2002)"},{"key":"10.1049\/ip-sen:20060011_r35","unstructured":"Robertson, S., and Robertson, J.: \u2018Mastering the requirements process\u2019, (Addison Wesley, Harlow, England 1999)"},{"key":"10.1049\/ip-sen:20060011_r36","unstructured":"Cockburn, A.: \u2018Writing effective use cases\u2019, (Addison-Wesley 2001)"},{"key":"10.1049\/ip-sen:20060011_r37","first-page":"428","author":"Johnson","year":"1988","journal-title":"Proc. ICSE-10"},{"key":"10.1049\/ip-sen:20060011_r38","author":"Johnson","year":"1987","journal-title":"Proc. 2nd Knowledge-Based Software Assistant Conf."},{"key":"10.1049\/ip-sen:20060011_r39","first-page":"15","author":"Jackson","year":"1995","journal-title":"Proc. 17th Int. Conf. on Software Engineering (ICSE'95)"},{"key":"10.1049\/ip-sen:20060011_r40","author":"Seater","year":"2006","journal-title":"Proc. 2nd Int. Workshop on Advances and Applications of Problem Frames"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20060011?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:18:17Z","timestamp":1609471097000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20060011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20060011","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}