{"id":"https://openalex.org/W1600577603","doi":"https://doi.org/10.1007/978-3-642-10488-6_27","title":"Verifying Software Requirements Based on Answer Set Programming","display_name":"Verifying Software Requirements Based on Answer Set Programming","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1600577603","doi":"https://doi.org/10.1007/978-3-642-10488-6_27","mag":"1600577603"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-10488-6_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-10488-6_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041600410","display_name":"Kedian Mu","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Kedian Mu","raw_affiliation_strings":["School of Mathematical Sciences, Peking University, Beijing, 100871, P.R. China","School of Mathematical Sciences, Peking University, Beijing, P.R. China 100871#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, Beijing, 100871, P.R. China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, Beijing, P.R. China 100871#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100360372","display_name":"Qi Zhang","orcid":"https://orcid.org/0000-0002-8562-5987"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Qi Zhang","raw_affiliation_strings":["Microsoft Server and Tools Business China, Building 5, 555 Dong Chuan Rd, Shanghai, 200241, P.R. China","School of Mathematical Sciences, Peking University, Beijing, 100871, P.R. China","School of Mathematical Sciences, Peking University, Beijing, P.R. China 100871 and Microsoft Server and Tools Business China, Shanghai, P.R. China 200241#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Server and Tools Business China, Building 5, 555 Dong Chuan Rd, Shanghai, 200241, P.R. China","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, Beijing, 100871, P.R. China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"School of Mathematical Sciences, Peking University, Beijing, P.R. China 100871 and Microsoft Server and Tools Business China, Shanghai, P.R. China 200241#TAB#","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049100391","display_name":"Zhi Jin","orcid":"https://orcid.org/0000-0003-1087-226X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Jin","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, P.R. China","School of Electronic Engineering and Computer Science, Peking University, No. 5 Yiheyuan Road, 100871, Beijing, China","Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, P.R. China 100871#TAB#"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, P.R. China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Peking University, No. 5 Yiheyuan Road, 100871, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, P.R. China 100871#TAB#","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041600410"],"corresponding_institution_ids":["https://openalex.org/I20231570"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2894,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58386856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"263","last_page":"274"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7974544763565063},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.7166455984115601},{"id":"https://openalex.org/keywords/software-requirements","display_name":"Software requirements","score":0.6286877393722534},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.6067498922348022},{"id":"https://openalex.org/keywords/non-functional-testing","display_name":"Non-functional testing","score":0.5556405782699585},{"id":"https://openalex.org/keywords/non-functional-requirement","display_name":"Non-functional requirement","score":0.5359175205230713},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.532835841178894},{"id":"https://openalex.org/keywords/requirement-prioritization","display_name":"Requirement prioritization","score":0.49625641107559204},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4962518811225891},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.4764043390750885},{"id":"https://openalex.org/keywords/system-requirements","display_name":"System requirements","score":0.46433010697364807},{"id":"https://openalex.org/keywords/requirements-elicitation","display_name":"Requirements elicitation","score":0.4539364278316498},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.4521801471710205},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.45105117559432983},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.4415081739425659},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4406704604625702},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41189494729042053},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3961181342601776},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.37935909628868103},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.30742645263671875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7974544763565063},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.7166455984115601},{"id":"https://openalex.org/C54534927","wikidata":"https://www.wikidata.org/wiki/Q4462275","display_name":"Software requirements","level":5,"score":0.6286877393722534},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.6067498922348022},{"id":"https://openalex.org/C26336911","wikidata":"https://www.wikidata.org/wiki/Q7048920","display_name":"Non-functional testing","level":5,"score":0.5556405782699585},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.5359175205230713},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.532835841178894},{"id":"https://openalex.org/C130505052","wikidata":"https://www.wikidata.org/wiki/Q7314872","display_name":"Requirement prioritization","level":5,"score":0.49625641107559204},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4962518811225891},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.4764043390750885},{"id":"https://openalex.org/C40398212","wikidata":"https://www.wikidata.org/wiki/Q2275513","display_name":"System requirements","level":2,"score":0.46433010697364807},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.4539364278316498},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.4521801471710205},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.45105117559432983},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.4415081739425659},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4406704604625702},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41189494729042053},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3961181342601776},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.37935909628868103},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.30742645263671875},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-10488-6_27","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-10488-6_27","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W8913454","https://openalex.org/W127224647","https://openalex.org/W1491965625","https://openalex.org/W1511336005","https://openalex.org/W1550517172","https://openalex.org/W1561929444","https://openalex.org/W1569267743","https://openalex.org/W1570118157","https://openalex.org/W1573411777","https://openalex.org/W1576372144","https://openalex.org/W1586777473","https://openalex.org/W1605586974","https://openalex.org/W1639901403","https://openalex.org/W1910771831","https://openalex.org/W1912089697","https://openalex.org/W1933157909","https://openalex.org/W1968128450","https://openalex.org/W1976055110","https://openalex.org/W2004414305","https://openalex.org/W2023730632","https://openalex.org/W2027043094","https://openalex.org/W2062883393","https://openalex.org/W2072082216","https://openalex.org/W2152131859","https://openalex.org/W2162100845","https://openalex.org/W2168690391","https://openalex.org/W2341909296","https://openalex.org/W2490192562","https://openalex.org/W2516148077","https://openalex.org/W2610076162","https://openalex.org/W2886271628","https://openalex.org/W4233995506","https://openalex.org/W4251727044","https://openalex.org/W4251994169"],"related_works":["https://openalex.org/W2626046496","https://openalex.org/W2973948119","https://openalex.org/W4206496580","https://openalex.org/W2080089689","https://openalex.org/W2135031301","https://openalex.org/W2012957645","https://openalex.org/W344309486","https://openalex.org/W1527029289","https://openalex.org/W1629311836","https://openalex.org/W1617997706"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}