{"id":"https://openalex.org/W2758377932","doi":"https://doi.org/10.1145/3127041.3127064","title":"A reactive specification formalism for enhancing system development, analysis and adaptivity","display_name":"A reactive specification formalism for enhancing system development, analysis and adaptivity","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2758377932","doi":"https://doi.org/10.1145/3127041.3127064","mag":"2758377932"},"language":"en","primary_location":{"id":"doi:10.1145/3127041.3127064","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127041.3127064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","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/A5068704563","display_name":"Assaf Marron","orcid":"https://orcid.org/0000-0001-5904-5105"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Assaf Marron","raw_affiliation_strings":["Weizmann Institute of Science, Rehovot, Israel"],"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068704563"],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":0.5851,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76052678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"161","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9962999820709229,"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/T10260","display_name":"Software Engineering Research","score":0.9941999912261963,"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.7304064631462097},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6290630102157593},{"id":"https://openalex.org/keywords/phone","display_name":"Phone","score":0.5362460017204285},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.49633651971817017},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46783390641212463},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4665771424770355},{"id":"https://openalex.org/keywords/active-listening","display_name":"Active listening","score":0.4372738301753998},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.41397982835769653},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.4112355709075928},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2211114466190338},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.19462448358535767},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1521187126636505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7304064631462097},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6290630102157593},{"id":"https://openalex.org/C2778707766","wikidata":"https://www.wikidata.org/wiki/Q202064","display_name":"Phone","level":2,"score":0.5362460017204285},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.49633651971817017},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46783390641212463},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4665771424770355},{"id":"https://openalex.org/C177291462","wikidata":"https://www.wikidata.org/wiki/Q423038","display_name":"Active listening","level":2,"score":0.4372738301753998},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.41397982835769653},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.4112355709075928},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2211114466190338},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.19462448358535767},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1521187126636505},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C46312422","wikidata":"https://www.wikidata.org/wiki/Q11024","display_name":"Communication","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3127041.3127064","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127041.3127064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320878","display_name":"Minerva Foundation","ror":"https://ror.org/02rxjts25"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2339341469","https://openalex.org/W2345051364"],"related_works":["https://openalex.org/W2317723112","https://openalex.org/W2475724061","https://openalex.org/W2773393136","https://openalex.org/W2174706483","https://openalex.org/W2997121352","https://openalex.org/W419536403","https://openalex.org/W2506280730","https://openalex.org/W4237969969","https://openalex.org/W2122871747","https://openalex.org/W3114279067"],"abstract_inverted_index":{"During":[0],"system":[1,15],"development,":[2],"external":[3],"reviewers,":[4],"especially":[5],"ones":[6],"with":[7],"expertise":[8],"in":[9,14],"the":[10,32,60,64,79,91,97,101,111,132],"problem":[11],"domain":[12],"or":[13,52],"and":[16,34,120],"software":[17],"engineering":[18],"(SE),":[19],"often":[20],"contribute":[21],"insights":[22],"that":[23,26,48,62,78],"up":[24],"to":[25,127],"point":[27],"were":[28],"not":[29],"noticed":[30],"by":[31,43],"engineers":[33],"other":[35],"project":[36],"stakeholders.":[37],"These":[38],"reviewers":[39],"apparently":[40],"do":[41],"so":[42],"employing":[44],"special":[45],"human":[46],"competencies":[47,61],"presently":[49],"are":[50],"not,":[51],"even":[53],"cannot":[54],"be,":[55],"automated.":[56],"Consider,":[57],"for":[58,90],"example,":[59],"enable":[63],"following":[65,107],"review":[66],"comments":[67],"about":[68],"a":[69,108,115],"home-assistant":[70],"robot:":[71],"(a)":[72],"during":[73],"code":[74],"review:":[75],"\"I":[76],"see":[77],"robot":[80,98,112,133],"can":[81],"defers":[82],"command":[83],"execution":[84],"until":[85],"it":[86],"charges":[87],"its":[88],"battery":[89],"task;":[92],"When":[93],"done":[94],"charging,":[95],"does":[96],"check":[99],"if":[100],"action":[102],"is":[103],"still":[104],"needed?\";":[105],"(b)":[106],"demo:":[109],"\"Will":[110],"trip":[113],"over":[114],"thin":[116],",transparent":[117],"phone":[118],"cord?\";":[119],"(c)":[121],"\"Some":[122],"clear":[123],"voice":[124],"commands":[125],"had":[126],"be":[128],"repeated.":[129],"Perhaps":[130],"sometimes":[131],"isn't":[134],"listening?\".":[135]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}