{"id":"https://openalex.org/W2119575536","doi":"https://doi.org/10.1145/2593069.2593175","title":"Ontology-guided Conceptual Analysis of Design Specifications","display_name":"Ontology-guided Conceptual Analysis of Design Specifications","publication_year":2014,"publication_date":"2014-05-27","ids":{"openalex":"https://openalex.org/W2119575536","doi":"https://doi.org/10.1145/2593069.2593175","mag":"2119575536"},"language":"en","primary_location":{"id":"doi:10.1145/2593069.2593175","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5081212325","display_name":"Arunprasath Shankar","orcid":null},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arunprasath Shankar","raw_affiliation_strings":["Case Western Reserve University Cleveland, USA","Case-Western Reserve University Cleveland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Case Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case-Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045692857","display_name":"Bhanu Pratap Singh","orcid":"https://orcid.org/0000-0002-1574-944X"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhanu Singh","raw_affiliation_strings":["Case Western Reserve University Cleveland, USA","Case-Western Reserve University Cleveland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Case Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case-Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110198567","display_name":"Francis Wolff","orcid":null},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Francis Wolff","raw_affiliation_strings":["Case Western Reserve University Cleveland, USA","Case-Western Reserve University Cleveland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Case Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case-Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046620750","display_name":"C. Papachristou","orcid":"https://orcid.org/0000-0002-5399-3208"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christos Papachristou","raw_affiliation_strings":["Case Western Reserve University Cleveland, USA","Case-Western Reserve University Cleveland, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Case Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]},{"raw_affiliation_string":"Case-Western Reserve University Cleveland, USA","institution_ids":["https://openalex.org/I58956616"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I58956616"],"apc_list":null,"apc_paid":null,"fwci":0.2659,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.53299819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9860000014305115,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9800000190734863,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8207865953445435},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6173614859580994},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49522462487220764},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4882531464099884},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4644152522087097},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.4517976939678192},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4322969615459442},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4063281714916229},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20497959852218628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8207865953445435},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6173614859580994},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49522462487220764},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4882531464099884},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4644152522087097},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.4517976939678192},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4322969615459442},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4063281714916229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20497959852218628},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2593069.2593175","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2593069.2593175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1517180052","https://openalex.org/W1566325839","https://openalex.org/W1966415240","https://openalex.org/W1967850911","https://openalex.org/W2032586893","https://openalex.org/W2036548197","https://openalex.org/W2078281163","https://openalex.org/W2102463407","https://openalex.org/W2112448890","https://openalex.org/W2116502002","https://openalex.org/W2124569501","https://openalex.org/W2135637455","https://openalex.org/W2164292984","https://openalex.org/W2164583113","https://openalex.org/W2258521466","https://openalex.org/W2420379518","https://openalex.org/W3030172211","https://openalex.org/W3114518279","https://openalex.org/W4213009331","https://openalex.org/W6675438369","https://openalex.org/W6692476971","https://openalex.org/W6717188337","https://openalex.org/W6778639044"],"related_works":["https://openalex.org/W2357256365","https://openalex.org/W2003333417","https://openalex.org/W2348502264","https://openalex.org/W2365486383","https://openalex.org/W2362059367","https://openalex.org/W2350084742","https://openalex.org/W2378862226","https://openalex.org/W118236634","https://openalex.org/W2901443725","https://openalex.org/W2355326633"],"abstract_inverted_index":{"The":[0,22],"integration":[1],"of":[2,25,57],"reusable":[3],"IP":[4,17,107],"blocks/cores":[5],"is":[6],"a":[7,48,65,75],"common":[8],"process":[9],"in":[10,41],"system-on-chip":[11],"design":[12,96],"and":[13,95],"involves":[14,54],"manually":[15],"comparing/mapping":[16],"specifications":[18,58],"against":[19],"system":[20,68,83],"requirements.":[21],"informal":[23],"nature":[24],"specification":[26,51],"limits":[27],"its":[28],"automatic":[29],"analysis.":[30],"Existing":[31],"techniques":[32],"fail":[33],"to":[34,59,73,89],"utilize":[35],"the":[36,86],"underlying":[37],"conceptual":[38],"information":[39],"embedded":[40],"specifications.":[42,108],"In":[43],"this":[44],"paper,":[45],"we":[46],"present":[47],"methodology":[49],"for":[50,78],"analysis,":[52],"which":[53],"concept":[55],"mining":[56],"generate":[60],"domain":[61],"ontologies.":[62],"We":[63,100],"employ":[64],"semi-supervised":[66],"expert":[67],"with":[69],"semantic":[70],"analysis":[71,94],"capability":[72],"create":[74],"collaborative":[76],"framework":[77],"cumulative":[79],"knowledge":[80],"acquisition.":[81],"Our":[82],"then":[84],"uses":[85],"generated":[87],"ontologies":[88],"perform":[90],"component":[91],"retrieval,":[92],"drop-in-replacement":[93],"vs.":[97],"test-plan":[98],"comparisons.":[99],"demonstrate":[101],"our":[102],"approach":[103],"by":[104],"evaluating":[105],"several":[106]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}