{"id":"https://openalex.org/W2171995957","doi":"https://doi.org/10.1002/smr.4360040403","title":"Application of automatic decomposition schemes in proof maintenance for evolving programs","display_name":"Application of automatic decomposition schemes in proof maintenance for evolving programs","publication_year":1992,"publication_date":"1992-12-01","ids":{"openalex":"https://openalex.org/W2171995957","doi":"https://doi.org/10.1002/smr.4360040403","mag":"2171995957"},"language":"en","primary_location":{"id":"doi:10.1002/smr.4360040403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/smr.4360040403","pdf_url":null,"source":{"id":"https://openalex.org/S4210205480","display_name":"Journal of Software Maintenance Research and Practice","issn_l":"1040-550X","issn":["1040-550X","1096-908X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software Maintenance: Research and Practice","raw_type":"journal-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/A5029523941","display_name":"R. Gopal","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139069","display_name":"Computer Technology Associates (United States)","ror":"https://ror.org/03k03ec42","country_code":"US","type":"company","lineage":["https://openalex.org/I4210139069"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"R. Gopal","raw_affiliation_strings":["Computer Technology Group, CTIS, Inc. 1355 Piccard Drive #350, Rockville, MD 20850, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Technology Group, CTIS, Inc. 1355 Piccard Drive #350, Rockville, MD 20850, U.S.A","institution_ids":["https://openalex.org/I4210139069"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113485374","display_name":"S.R. Schach","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. R. Schach","raw_affiliation_strings":["Department of Computer Science, Vanderbilt University, Box 70, Station B, Nashville, TN 37235, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vanderbilt University, Box 70, Station B, Nashville, TN 37235, U.S.A","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029523941"],"corresponding_institution_ids":["https://openalex.org/I4210139069"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.30154639,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4","issue":"4","first_page":"183","last_page":"198"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/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/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7828097343444824},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6415567994117737},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.6247150897979736},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5789961814880371},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4979081153869629},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.46706968545913696},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.4413195848464966},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43922698497772217},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.410861998796463},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.37251168489456177},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3610366880893707},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.23942697048187256},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.22850769758224487},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.10018140077590942},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08166545629501343}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7828097343444824},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6415567994117737},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6247150897979736},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5789961814880371},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4979081153869629},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.46706968545913696},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.4413195848464966},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43922698497772217},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.410861998796463},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.37251168489456177},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3610366880893707},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.23942697048187256},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.22850769758224487},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.10018140077590942},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08166545629501343},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/smr.4360040403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/smr.4360040403","pdf_url":null,"source":{"id":"https://openalex.org/S4210205480","display_name":"Journal of Software Maintenance Research and Practice","issn_l":"1040-550X","issn":["1040-550X","1096-908X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software Maintenance: Research and Practice","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1975033347","https://openalex.org/W1980767016","https://openalex.org/W2007798926","https://openalex.org/W2019389359","https://openalex.org/W2028806953","https://openalex.org/W2052592404","https://openalex.org/W2059518671","https://openalex.org/W2064625489","https://openalex.org/W2069300761","https://openalex.org/W2098500169","https://openalex.org/W2103744884","https://openalex.org/W2103953153","https://openalex.org/W2111619838","https://openalex.org/W2141109493","https://openalex.org/W2144344516","https://openalex.org/W2147088720","https://openalex.org/W2150795904","https://openalex.org/W2170685001","https://openalex.org/W2293624369","https://openalex.org/W4253692155"],"related_works":["https://openalex.org/W1542124114","https://openalex.org/W2118572231","https://openalex.org/W3036403349","https://openalex.org/W3120172095","https://openalex.org/W2108860137","https://openalex.org/W1522369122","https://openalex.org/W2162615969","https://openalex.org/W2117425003","https://openalex.org/W2013077575","https://openalex.org/W2809618173"],"abstract_inverted_index":{"Abstract":[0],"The":[1,43,92],"application":[2],"of":[3,36,55,58,64,89,95,105,113],"formal":[4],"verification":[5,24,46,54,104,134],"in":[6,121],"software":[7],"engineering":[8],"is":[9,136],"limited":[10],"because":[11],"programs":[12,65],"continue":[13],"to":[14,32,101],"evolve":[15],"during":[16],"the":[17,22,34,37,53,56,59,85,103,106,114,122,141],"maintenance":[18],"phase,":[19],"thus":[20],"rendering":[21],"original":[23,44,115],"obsolete.":[25],"Program":[26],"decomposition":[27,63],"schemes":[28],"can":[29,47,72,98],"be":[30,48,73,99,119],"used":[31],"identify":[33],"parts":[35,57],"modified":[38,60],"program":[39,45,124],"that":[40],"need":[41,133],"verification.":[42],"reused":[49],"and":[50,87,125],"combined":[51,100],"with":[52],"program.":[61,91,108,143],"Automatic":[62],"into":[66],"independent":[67],"computational":[68],"threads":[69],"called":[70],"projections":[71,116,132],"performed":[74],"by":[75],"utilizing":[76],"program\u2010dependence":[77],"relations.":[78],"These":[79],"relations":[80],"represent":[81],"dependence":[82],"information":[83],"among":[84],"variables":[86],"statements":[88],"a":[90,110],"individual":[93],"proofs":[94],"each":[96],"projection":[97],"produce":[102],"entire":[107,142],"After":[109],"modification,":[111],"many":[112],"may":[117],"still":[118],"present":[120],"new":[123,131],"they":[126],"are":[127],"not":[128],"re\u2010verified.":[129],"Only":[130],"which":[135],"usually":[137],"easier":[138],"than":[139],"re\u2010verifying":[140]},"counts_by_year":[],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}