{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:59:13Z","timestamp":1725541153700},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104879"},{"type":"electronic","value":"9783642104886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10488-6_27","type":"book-chapter","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T02:55:13Z","timestamp":1258426513000},"page":"263-274","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Software Requirements Based on Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Kedian","family":"Mu","sequence":"first","affiliation":[]},{"given":"Qi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Software Requirements: Objects, Functions, and States","author":"M. Davis","year":"1993","unstructured":"Davis, M.: Software Requirements: Objects, Functions, and States. Prentice Hall, Englewood Cliffs (1993)"},{"key":"27_CR2","first-page":"13","volume":"10","author":"D. Leffingwell","year":"1997","unstructured":"Leffingwell, D.: Calculating the return on investment from more effective requirements management. American Programmer\u00a010, 13\u201316 (1997)","journal-title":"American Programmer"},{"key":"27_CR3","unstructured":"CHAOS: Software Development Report by the Standish Group (1995), \n                  \n                    http:\/\/www.standishgroup.com\/chaos.html"},{"key":"27_CR4","unstructured":"Ibanez, M.: European user survey analysis. Tech. rep. ESI report TR95104. European Software Institute, Zamudio, Spain (1996), \n                  \n                    www.esi.es"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1018902408324","volume":"3","author":"A. Davis","year":"1997","unstructured":"Davis, A., Jordan, K., Nakajima, T.: Elements underlying the specification of requirements. Ann. Softw. Eng.\u00a03, 63\u2013100 (1997)","journal-title":"Ann. Softw. Eng."},{"key":"27_CR6","volume-title":"Managing Software Requirements: A Use Case Approach","author":"D. Leffingwell","year":"2003","unstructured":"Leffingwell, D., Widrig, D.: Managing Software Requirements: A Use Case Approach. Addison-Wesley, Boston (2003)"},{"key":"27_CR7","volume-title":"Software Requirements","author":"K. Wiegers","year":"2003","unstructured":"Wiegers, K.: Software Requirements, 2nd edn. Microsoft Press, Redmond (2003)","edition":"2"},{"key":"27_CR8","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)","edition":"2"},{"key":"27_CR9","first-page":"52","volume":"3","author":"S. Ambler","year":"1995","unstructured":"Ambler, S.: Reduce development costs with use-case scenario testing. Software Development\u00a03, 52\u201361 (1995)","journal-title":"Software Development"},{"key":"27_CR10","first-page":"30","volume":"1","author":"R. Collard","year":"1999","unstructured":"Collard, R.: Test design. Software Testing and Quality Engineering\u00a01, 30\u201337 (1999)","journal-title":"Software Testing and Quality Engineering"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1018938021528","volume":"3","author":"P. Hsia","year":"1997","unstructured":"Hsia, P., Kung, D., Sell, C.: Software requirements and acceptance testing. Annals of software Engineering\u00a03, 291\u2013317 (1997)","journal-title":"Annals of software Engineering"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V. Gervasi","year":"2005","unstructured":"Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Transaction on Software Engineering and Methodologies\u00a014, 277\u2013330 (2005)","journal-title":"ACM Transaction on Software Engineering and Methodologies"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: International Conference on Logic Programming, pp. 23\u201337. Massachusetts Institute of Technology (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"key":"27_CR14","first-page":"72","volume":"25","author":"I. Niemela","year":"1998","unstructured":"Niemela, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025, 72\u201379 (1998)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"27_CR15","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"W. Marek","year":"1999","unstructured":"Marek, W., Truszczynski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"27_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/11589990_7","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"K. Mu","year":"2005","unstructured":"Mu, K., Jin, Z., Lu, R.: Inconsistency-based strategy for clarifying vague software requirements. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 39\u201348. Springer, Heidelberg (2005)"},{"key":"27_CR17","unstructured":"Niemela, I., Simons, P., Syrjanen, T.: Smodels: A system for answer set programming. CoRR\u00a0cs.AI\/0003033 (2000)"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07, 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: Assat: Computing answer sets of a logic program by sat solver. Artificial Intelligence\u00a0157, 115\u2013137 (2004)","journal-title":"Artificial Intelligence"},{"key":"27_CR20","first-page":"69","volume-title":"Principles of Knowledge Representation","author":"V. Lifschitz","year":"1996","unstructured":"Lifschitz, V.: Foundations of logic programming. In: Principles of Knowledge Representation, pp. 69\u2013127. CSLI Publications, Stanford (1996)"},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10115-006-0021-y","volume":"11","author":"K. Mu","year":"2007","unstructured":"Mu, K., Jin, Z., Lu, R., Peng, Y.: Handling non-canonical software requirements based on annotated predicate calculus. Knowledge and Information Systems\u00a011, 85\u2013104 (2007)","journal-title":"Knowledge and Information Systems"},{"key":"27_CR22","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1023\/A:1018998207415","volume":"3","author":"G. Spanoudakis","year":"1997","unstructured":"Spanoudakis, G., Finkelstein, A.: Reconciling requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering\u00a03, 433\u2013457 (1997)","journal-title":"Annals of Software Engineering"},{"key":"27_CR23","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1142\/9789812389718_0015","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"G. Spanoudakis","year":"2001","unstructured":"Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, pp. 329\u2013380. World Scientific Publishing Co., Singapore (2001)"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A., Nuseibeh, B.: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology\u00a07, 335\u2013367 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 411\u2013420 (2001)","DOI":"10.1109\/ICSE.2001.919114"},{"key":"27_CR26","doi-asserted-by":"crossref","unstructured":"Chechik, M., Devereux, B., Easterbrook, S.: Efficient multiple-valued model-checking using lattice representations. In: Proceedings of the International Conference on Concurrency Theory, Aalborg, Denmark, pp. 21\u201324 (2001)","DOI":"10.1007\/3-540-44685-0_30"},{"key":"27_CR27","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1016\/S0950-5849(03)00100-9","volume":"45","author":"D. Zowghi","year":"2003","unstructured":"Zowghi, D., Gervasi, V.: On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology\u00a045, 993\u20131009 (2003)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10488-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:33:24Z","timestamp":1619768004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10488-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104879","9783642104886"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10488-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}