{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:16:30Z","timestamp":1740096990756,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319058429"},{"type":"electronic","value":"9783319058436"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05843-6_13","type":"book-chapter","created":{"date-parts":[[2014,3,17]],"date-time":"2014-03-17T21:05:28Z","timestamp":1395090328000},"page":"168-183","source":"Crossref","is-referenced-by-count":2,"title":["Answer-Set Programming in Requirements Engineering"],"prefix":"10.1007","author":[{"given":"Wenbin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane Huffman","family":"Hayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslaw","family":"Truszczynski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"CM-1 Dataset PROMISE Website, \n                  \n                    http:\/\/promisedata.org\/promised\/trunk\/promisedata.org\/data\/cm1-maintain\/cm1-maintain.txt\n                  \n                  \n                 (accessed: April 18, 2013)"},{"key":"13_CR2","unstructured":"MODIS Science Data Processing Software Requirements Specification Version 2, SDST-089, GSFC SBRS (November 1997), \n                  \n                    http:\/\/www.fas.org\/irp\/program\/collect\/uav_tcs.htm"},{"key":"13_CR3","unstructured":"UAV Tactical Control System (May 2010), \n                  \n                    http:\/\/www.fas.org\/irp\/program\/collect\/uav_tcs.htm"},{"key":"13_CR4","unstructured":"Regional Real-Time Transit Information System System Requirements Version 3.0 (2012), \n                  \n                    http:\/\/www.mtc.ca.gov\/planning\/tcip\/Real-Time_TransitSystemRequirements_v3.0.pdf\n                  \n                  \n                 (accessed: April 18, 2013)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C. Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer Academic Publishers, Norwell (2000)"},{"issue":"10","key":"13_CR6","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/32.6191","volume":"14","author":"B. Boehm","year":"1988","unstructured":"Boehm, B., Papaccio, P.: Understanding and Controlling Software Costs. IEEE Transactions on Software Engineerin\u00a014(10), 1462\u20131477 (1988)","journal-title":"IEEE Transactions on Software Engineerin"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Capobianco, G., De Lucia, A., Oliveto, R., Panichella, A., Panichella, S.: On the Role of the Nouns in IR-based Traceability Recovery. In: IEEE 17th International Conference on Program Comprehension, ICPC 2009, pp. 148\u2013157. IEEE (2009)","DOI":"10.1109\/ICPC.2009.5090038"},{"key":"13_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-45988-X_5","volume-title":"Frontiers of Combining Systems","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Giunchiglia, E., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Integrating BDD-based and SAT-based Symbolic Model Checking. In: Armando, A. (ed.) FroCos 2002. LNCS (LNAI), vol.\u00a02309, pp. 49\u201356. Springer, Heidelberg (2002)"},{"issue":"4","key":"13_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.5381\/jot.2003.2.4.c7","volume":"2","author":"D. Firesmith","year":"2003","unstructured":"Firesmith, D.: Specifying Good Requirements. Journal of Object Technology\u00a02(4), 77\u201387 (2003)","journal-title":"Journal of Object Technology"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.5381\/jot.2007.6.1.c2","volume":"6","author":"D. Firesmith","year":"2007","unstructured":"Firesmith, D.: Common Requirements Problems, Their Negative Consequences, and the Industry Best Practices to Help Solve Them. Journal of Object Technology\u00a06(1), 17\u201333 (2007)","journal-title":"Journal of Object Technology"},{"key":"13_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A Conflict-Driven Answer Set Solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 260\u2013265. Springer, Heidelberg (2007)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02846-5_22","volume-title":"Logic Programming","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint Answer Set Solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 235\u2013249. Springer, Heidelberg (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-02846-5_22"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press (2004)","DOI":"10.1017\/CBO9780511810275"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-28891-3_16","volume-title":"NASA Formal Methods","author":"W. Li","year":"2012","unstructured":"Li, W., Hayes, J.H., Truszczy\u0144ski, M.: Temporal Action Language (TAL): a Controlled Language for Consistency Checking of Natural Language Temporal Requirements. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol.\u00a07226, pp. 162\u2013167. Springer, Heidelberg (2012)"},{"key":"13_CR15","unstructured":"Li, W., Truszczynski, M., Huffman Hayes, J., Brown, D.B.: Temporal Action Language. University of Kentucky Computer Science Department Technical Report (2012-521-12) (2012)"},{"key":"13_CR16","unstructured":"Schulte, C., Lagerkvist, M., Tack, G.: Gecode. Software Download and Online Material at the Website (2006), \n                  \n                    http:\/\/www.gecode.org"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05843-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:48:05Z","timestamp":1558856885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05843-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319058429","9783319058436"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05843-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}