{"id":"https://openalex.org/W4414118682","doi":"https://doi.org/10.1145/3767159","title":"Exploring Development Methods for Reactive Synthesis Specifications","display_name":"Exploring Development Methods for Reactive Synthesis Specifications","publication_year":2025,"publication_date":"2025-09-11","ids":{"openalex":"https://openalex.org/W4414118682","doi":"https://doi.org/10.1145/3767159"},"language":"en","primary_location":{"id":"doi:10.1145/3767159","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767159","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3767159","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3767159","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056542926","display_name":"Dor Ma\u2019ayan","orcid":"https://orcid.org/0000-0002-7290-2789"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Dor Ma\u2019ayan","raw_affiliation_strings":["School of Computer Science and AI, Tel Aviv University, Tel Aviv, Israel","Tel Aviv University, Israel"],"raw_orcid":"https://orcid.org/0000-0002-7290-2789","affiliations":[{"raw_affiliation_string":"School of Computer Science and AI, Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024052024","display_name":"Shahar Maoz","orcid":"https://orcid.org/0000-0002-4022-5349"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Shahar Maoz","raw_affiliation_strings":["School of Computer Science and AI, Tel Aviv University, Tel Aviv, Israel","Tel Aviv University, Israel"],"raw_orcid":"https://orcid.org/0000-0002-4022-5349","affiliations":[{"raw_affiliation_string":"School of Computer Science and AI, Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021803711","display_name":"Jan Oliver Ringert","orcid":"https://orcid.org/0000-0002-3610-3920"},"institutions":[{"id":"https://openalex.org/I51441396","display_name":"Bauhaus-Universit\u00e4t Weimar","ror":"https://ror.org/033bb5z47","country_code":"DE","type":"education","lineage":["https://openalex.org/I51441396"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Oliver Ringert","raw_affiliation_strings":["Bauhaus University Weimar, Weimar, Germany","Bauhaus University Weimar, Germany"],"raw_orcid":"https://orcid.org/0000-0002-3610-3920","affiliations":[{"raw_affiliation_string":"Bauhaus University Weimar, Weimar, Germany","institution_ids":["https://openalex.org/I51441396"]},{"raw_affiliation_string":"Bauhaus University Weimar, Germany","institution_ids":["https://openalex.org/I51441396"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4343,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.9322651,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"35","issue":"6","first_page":"1","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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/T10260","display_name":"Software Engineering Research","score":0.9879000186920166,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9840999841690063,"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/modular-design","display_name":"Modular design","score":0.6133999824523926},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5187000036239624},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.4945000112056732},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.38040000200271606},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.3343999981880188},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.32760000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8011999726295471},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6133999824523926},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5187000036239624},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.4945000112056732},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4893999993801117},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.38040000200271606},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34040001034736633},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.3343999981880188},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.33410000801086426},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C85973986","wikidata":"https://www.wikidata.org/wiki/Q1091731","display_name":"Exploratory research","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3142000138759613},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C19351080","wikidata":"https://www.wikidata.org/wiki/Q1395034","display_name":"New product development","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.26100000739097595}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3767159","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767159","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3767159","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3767159","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767159","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3767159","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2116975255","display_name":null,"funder_award_id":"Grant No. 1954/23, SPECTACKLE","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4414118682.pdf"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1526239217","https://openalex.org/W1540343830","https://openalex.org/W1615506555","https://openalex.org/W1813654486","https://openalex.org/W1951008065","https://openalex.org/W2017739343","https://openalex.org/W2041701185","https://openalex.org/W2056134008","https://openalex.org/W2070478017","https://openalex.org/W2072325005","https://openalex.org/W2108280166","https://openalex.org/W2134062730","https://openalex.org/W2140249393","https://openalex.org/W2151958719","https://openalex.org/W2158535304","https://openalex.org/W2161008018","https://openalex.org/W2163851162","https://openalex.org/W2319794630","https://openalex.org/W2528726414","https://openalex.org/W2561675875","https://openalex.org/W2591965935","https://openalex.org/W2743098504","https://openalex.org/W2911817960","https://openalex.org/W2952785642","https://openalex.org/W2955699751","https://openalex.org/W2977713273","https://openalex.org/W3003521006","https://openalex.org/W3141666254","https://openalex.org/W3153348149","https://openalex.org/W3153389197","https://openalex.org/W3175353243","https://openalex.org/W4233730851","https://openalex.org/W4238623774","https://openalex.org/W4238881020","https://openalex.org/W4239249613","https://openalex.org/W4239652717","https://openalex.org/W4242566621","https://openalex.org/W4243457628","https://openalex.org/W4245640662","https://openalex.org/W4254882388","https://openalex.org/W4365799847","https://openalex.org/W4387123273"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Reactive":[0],"synthesis":[1,26,45,74,93,139,167],"is":[2,27,47],"an":[3,62,102],"automated":[4],"procedure":[5],"to":[6,50,69,185,194],"obtain":[7],"a":[8,66,120],"correct-by-construction":[9],"reactive":[10,25,44,73,92],"system":[11],"from":[12],"its":[13,51],"temporal":[14],"logic":[15],"specification.":[16],"Despite":[17],"significant":[18],"research":[19],"progress":[20],"in":[21,29,106,161],"the":[22,38,70,86,95,112,117,138,149,176,197],"past":[23],"decades,":[24],"still":[28],"early":[30],"stage":[31],"of":[32,40,72,128,137,148,157,163,165],"use.":[33],"Previous":[34],"studies":[35,90],"found":[36],"that":[37,123],"lack":[39],"development":[41,60,83,160,178,198],"methods":[42,77,84,118],"for":[43],"specifications":[46,110,188],"one":[48,87],"barrier":[49],"wider":[52],"adoption.":[53],"In":[54],"this":[55],"article,":[56],"we":[57,99],"adapt":[58],"two":[59,113],"methods,":[61],"incremental":[63,177],"method":[64,179],"and":[65,89,143,172,183,187],"modular":[67,158],"method,":[68],"context":[71],"specifications.":[75,151],"The":[76],"are":[78],"based":[79],"on":[80,85,94,101],"existing":[81],"software":[82],"hand":[88],"about":[91],"other":[96],"hand.":[97],"Then,":[98],"report":[100],"exploratory":[103,134],"case":[104],"study":[105],"which":[107],"participants":[108],"developed":[109,189],"using":[111,119],"methods.":[114],"We":[115],"evaluated":[116],"mixed-method":[121],"analysis":[122,127,136],"combines":[124],"grounded":[125],"theory":[126],"Slack":[129],"communication":[130],"with":[131],"participants,":[132],"quantitative":[133],"data":[135],"IDE":[140],"usage":[141],"logs,":[142],"qualitative":[144],"independent":[145],"expert":[146],"review":[147],"final":[150],"Our":[152],"findings":[153],"show":[154],"clear":[155],"benefits":[156],"specification":[159],"terms":[162],"ease":[164],"planning,":[166],"time,":[168],"fewer":[169],"unrealizability":[170],"issues,":[171],"faster":[173],"debugging.":[174],"However,":[175],"was":[180],"more":[181],"natural":[182],"easy":[184],"use,":[186],"incrementally":[190],"were":[191],"also":[192],"easier":[193],"validate":[195],"during":[196],"process.":[199]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-16T09:24:06.705377","created_date":"2025-10-10T00:00:00"}