{"id":"https://openalex.org/W2096420640","doi":"https://doi.org/10.1109/issre.2003.1251040","title":"Shared semantic domains for computational reliability engineering","display_name":"Shared semantic domains for computational reliability engineering","publication_year":2005,"publication_date":"2005-04-25","ids":{"openalex":"https://openalex.org/W2096420640","doi":"https://doi.org/10.1109/issre.2003.1251040","mag":"2096420640"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2003.1251040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","raw_type":"proceedings-article"},"type":"article","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/A5009516343","display_name":"David Coppit","orcid":null},"institutions":[{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]},{"id":"https://openalex.org/I267592682","display_name":"Williams (United States)","ror":"https://ror.org/007zhvp17","country_code":"US","type":"company","lineage":["https://openalex.org/I267592682"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Coppit","raw_affiliation_strings":["Department of Computer Science, The College of William and Mary, Williamsburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The College of William and Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277","https://openalex.org/I267592682"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078415034","display_name":"Robert R. Painter","orcid":null},"institutions":[{"id":"https://openalex.org/I16285277","display_name":"William & Mary","ror":"https://ror.org/03hsf0573","country_code":"US","type":"education","lineage":["https://openalex.org/I16285277"]},{"id":"https://openalex.org/I267592682","display_name":"Williams (United States)","ror":"https://ror.org/007zhvp17","country_code":"US","type":"company","lineage":["https://openalex.org/I267592682"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R.R. Painter","raw_affiliation_strings":["Department of Computer Science, The College of William and Mary, Williamsburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The College of William and Mary, Williamsburg, VA, USA","institution_ids":["https://openalex.org/I16285277","https://openalex.org/I267592682"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000090216","display_name":"Kevin Sullivan","orcid":"https://orcid.org/0000-0001-9147-0988"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"K.J. Sullivan","raw_affiliation_strings":["Department of Computer Science, University of Virginia, Charlottesville, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7436,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75730759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"169","last_page":"180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9990000128746033,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8348243236541748},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.7977727651596069},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6361820697784424},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6031554937362671},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5505127310752869},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.493266761302948},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4486869275569916},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.42339611053466797},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4166853725910187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3235994577407837},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.18692472577095032}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8348243236541748},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.7977727651596069},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6361820697784424},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6031554937362671},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5505127310752869},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.493266761302948},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4486869275569916},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.42339611053466797},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4166853725910187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3235994577407837},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.18692472577095032},{"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issre.2003.1251040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W168877005","https://openalex.org/W1543835543","https://openalex.org/W1584783710","https://openalex.org/W2003558009","https://openalex.org/W2039399638","https://openalex.org/W2053262616","https://openalex.org/W2096283629","https://openalex.org/W2106132160","https://openalex.org/W2106184536","https://openalex.org/W2125697860","https://openalex.org/W2127159302","https://openalex.org/W2134076633","https://openalex.org/W2135209232","https://openalex.org/W2144973245","https://openalex.org/W2154055315","https://openalex.org/W2154884120","https://openalex.org/W2171986570","https://openalex.org/W3139593476","https://openalex.org/W3165744266","https://openalex.org/W4237510854","https://openalex.org/W4239763915"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2141414364","https://openalex.org/W2376514150","https://openalex.org/W1523265213"],"abstract_inverted_index":{"Modeling":[0],"languages":[1,16,90],"and":[2,32,50,73,94,143,159,174,181],"the":[3,26,33,66,77,101,114,130,152,170],"software":[4],"tools":[5],"which":[6,109],"support":[7],"them":[8],"are":[9],"essential":[10],"to":[11,23,45,62,88,112],"engineering.":[12],"However,":[13],"as":[14,135],"these":[15],"become":[17],"more":[18],"sophisticated,":[19],"it":[20,87],"becomes":[21],"difficult":[22],"assure":[24],"both":[25,141],"validity":[27],"of":[28,35,55,79,105,116,129,154,172],"their":[29,36,183],"semantic":[30,48,103,138,157],"specifications":[31],"dependability":[34],"program":[37],"implementations.":[38,74],"To":[39,75],"ameliorate":[40],"this":[41,80,122,166],"problem":[42],"we":[43,85,99,110,124],"propose":[44],"develop":[46],"shared":[47,161],"domains":[49],"corresponding":[51],"implementations":[52],"for":[53,82,91,140,163],"families":[54],"related":[56],"modeling":[57,83,93,176],"languages.":[58],"The":[59],"idea":[60],"is":[61],"amortize":[63],"investments":[64],"at":[65,165],"intermediate":[67,102],"level":[68,167],"across":[69],"multiple":[70],"language":[71],"definitions":[72],"assess":[76],"practicality":[78],"approach":[81],"languages,":[84,177],"applied":[86],"two":[89],"reliability":[92,144],"analysis.":[95],"In":[96],"earlier":[97],"work,":[98],"developed":[100],"domain":[104,139,158],"failure":[106],"automata":[107],"(FA),":[108],"used":[111],"formalize":[113],"semantics":[115],"dynamic":[117],"fault":[118],"trees":[119],"(DFTs).":[120],"in":[121],"paper,":[123],"show":[125],"that":[126,151],"a":[127,136,155,160],"variant":[128],"original":[131],"FA":[132],"can":[133,168],"serve":[134],"common":[137,156],"DFTs":[142],"block":[145],"diagrams":[146],"(RBDs).":[147],"Our":[148],"experiences":[149],"suggest":[150],"use":[153],"analyzer":[162],"expressions":[164],"ease":[169],"task":[171],"formalizing":[173],"implementing":[175],"reducing":[178],"development":[179],"costs":[180],"improving":[182],"dependability.":[184]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}