{"id":"https://openalex.org/W1945586502","doi":"https://doi.org/10.1109/spcon.1993.236819","title":"A formal model of re-execution in software process","display_name":"A formal model of re-execution in software process","publication_year":2002,"publication_date":"2002-12-31","ids":{"openalex":"https://openalex.org/W1945586502","doi":"https://doi.org/10.1109/spcon.1993.236819","mag":"1945586502"},"language":"en","primary_location":{"id":"doi:10.1109/spcon.1993.236819","doi":"https://doi.org/10.1109/spcon.1993.236819","is_oa":false,"landing_page_url":"https://doi.org/10.1109/spcon.1993.236819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"[1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement","raw_type":"proceedings-article"},"volume":null,"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/A5045456960","display_name":"Masato Suzuki","orcid":"https://orcid.org/0000-0003-2040-3029","observed_orcids":["https://orcid.org/0000-0003-2040-3029"]},"institutions":[{"id":"https://openalex.org/I177738480","display_name":"Japan Advanced Institute of Science and Technology","ror":"https://ror.org/03frj4r98","country_code":"JP","type":"education","lineage":["https://openalex.org/I177738480"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"M. Suzuki","raw_affiliation_strings":["School of Information Science, Japan Advanced Institute of Science and Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Science, Japan Advanced Institute of Science and Technology, Japan","institution_ids":["https://openalex.org/I177738480"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056227671","display_name":"Akihito Iwai","orcid":"https://orcid.org/0009-0000-8479-8619","observed_orcids":["https://orcid.org/0009-0000-8479-8619"]},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698","https://openalex.org/I4400009020"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"A. Iwai","raw_affiliation_strings":["Department of Computer Science, Tokyo Institute of Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079876686","display_name":"Takeshi Katayama","orcid":"https://orcid.org/0009-0005-0222-8265","observed_orcids":["https://orcid.org/0009-0005-0222-8265"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T. Katayama","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6374,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.88915999,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"84","last_page":"99"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.6650000214576721,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.6650000214576721,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.2362000048160553,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.03840000182390213,"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/re-execution","display_name":"re-execution","score":0.781000018119812},{"id":"https://openalex.org/keywords/software-development-process","display_name":"software development process","score":0.8610000014305115},{"id":"https://openalex.org/keywords/dependence-analysis","display_name":"dependency analysis","score":0.746999979019165},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.9089999794960022},{"id":"https://openalex.org/keywords/computational-history","display_name":"computational history","score":0.746999979019165},{"id":"https://openalex.org/keywords/error-detection","display_name":"error detection","score":0.7369999885559082},{"id":"https://openalex.org/keywords/process-enactment","display_name":"process enactment","score":0.4440000057220459}],"concepts":[{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.79640132188797},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.747657299041748},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6307306289672852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5890193581581116},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5809037685394287},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5722730159759521},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5622307062149048},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5307937264442444},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5162568092346191},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.46820881962776184},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42695242166519165},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08687123656272888},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/spcon.1993.236819","doi":"https://doi.org/10.1109/spcon.1993.236819","is_oa":false,"landing_page_url":"https://doi.org/10.1109/spcon.1993.236819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"[1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.54.3672","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.3672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://kt-www.jaist.ac.jp:8000/faculty/suzuki/papers/icsp2.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2098316528","https://openalex.org/W2136316320"],"related_works":["https://openalex.org/W2107353267","https://openalex.org/W1586347794","https://openalex.org/W2075941888","https://openalex.org/W4240006739","https://openalex.org/W42404144","https://openalex.org/W7095643890","https://openalex.org/W7067618692","https://openalex.org/W7101189491","https://openalex.org/W2334330504","https://openalex.org/W2081860013"],"abstract_inverted_index":{"Redoing":[0],"has":[1],"been":[2],"introduced":[3],"as":[4,89],"a":[5,26,29],"fundamental":[6],"mechanism":[7],"to":[8,47,54,68,104,111],"handle":[9,85],"the":[10,16,56,86,98,106],"dynamics":[11],"and":[12,37,40,110],"flexibility":[13],"required":[14],"in":[15],"software":[17],"process.":[18,101],"It":[19],"is":[20,33,52,74,91,95],"an":[21],"operation":[22],"that":[23,32,42,64],"involves":[24],"canceling":[25],"part":[27,43],"of":[28,58,79,108],"process":[30],"enaction":[31],"polluted":[34],"by":[35,71],"erroneous":[36],"incomplete":[38],"activities":[39],"doing":[41],"again.":[44],"In":[45],"order":[46],"make":[48],"redoing":[49,80],"effective,":[50],"it":[51,66],"essential":[53],"detect":[55],"cause":[57],"errors":[59],"correctly.":[60],"A":[61,76],"functional":[62],"model":[63],"makes":[65],"easy":[67],"do":[69],"this":[70,81],"dependency":[72],"analysis":[73],"presented.":[75],"formal":[77],"semantics":[78],"metaoperations":[82],"which":[83],"can":[84],"computational":[87],"history":[88],"data":[90],"given.":[92],"Its":[93],"effectiveness":[94],"shown":[96],"using":[97],"ISPW6":[99],"example":[100],"Some":[102],"extensions":[103],"minimize":[105],"cost":[107],"reexecution":[109],"create":[112],"scripts":[113],"incrementally":[114],"are":[115],"proposed.>":[116]},"counts_by_year":[],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}