{"id":"https://openalex.org/W2964752784","doi":"https://doi.org/10.1609/aaai.v33i01.33019770","title":"Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)","display_name":"Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)","publication_year":2019,"publication_date":"2019-07-17","ids":{"openalex":"https://openalex.org/W2964752784","doi":"https://doi.org/10.1609/aaai.v33i01.33019770","mag":"2964752784"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v33i01.33019770","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33019770","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/5048/4921","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/5048/4921","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088778612","display_name":"David Harel","orcid":"https://orcid.org/0000-0001-7240-3931"},"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":"David Harel","raw_affiliation_strings":["Weizmann Institute of Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","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":false,"raw_author_name":"Assaf Marron","raw_affiliation_strings":["Weizmann Institute of Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082947685","display_name":"Ariel Rosenfeld","orcid":"https://orcid.org/0000-0002-3230-3060"},"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":false,"raw_author_name":"Ariel Rosenfeld","raw_affiliation_strings":["Weizmann Institute of Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000059818","display_name":"Moshe Y. Vardi","orcid":"https://orcid.org/0000-0002-0661-5773"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Moshe Vardi","raw_affiliation_strings":["Rice University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026812393","display_name":"Gera Weiss","orcid":"https://orcid.org/0000-0002-5832-8768"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gera Weiss","raw_affiliation_strings":["Ben-Gurion University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088778612"],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":1.5088,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.85845411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"33","issue":"01","first_page":"9770","last_page":"9774"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9927999973297119,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9927999973297119,"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.9915000200271606,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9800999760627747,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7883156538009644},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7855278253555298},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.5881755352020264},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5604593753814697},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5527674555778503},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5310792326927185},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4657730758190155},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.382628858089447},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.365220308303833}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7883156538009644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7855278253555298},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.5881755352020264},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5604593753814697},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5527674555778503},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5310792326927185},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4657730758190155},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.382628858089447},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.365220308303833},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1609/aaai.v33i01.33019770","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33019770","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/5048/4921","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:ojs.aaai.org:article/5048","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/5048","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1609/aaai.v33i01.33019770","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33019770","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/5048/4921","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G1098857249","display_name":null,"funder_award_id":"1830549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4515317840","display_name":null,"funder_award_id":"IIS-1527668","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5414327316","display_name":null,"funder_award_id":"IIS-1830549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"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":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2964752784.pdf"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W11845695","https://openalex.org/W1483406120","https://openalex.org/W1498432697","https://openalex.org/W1518558009","https://openalex.org/W1546220007","https://openalex.org/W1578262153","https://openalex.org/W1596262607","https://openalex.org/W1964944136","https://openalex.org/W1966985958","https://openalex.org/W2001969674","https://openalex.org/W2015899005","https://openalex.org/W2072325005","https://openalex.org/W2094878426","https://openalex.org/W2099529102","https://openalex.org/W2099942327","https://openalex.org/W2114503684","https://openalex.org/W2117227762","https://openalex.org/W2157352687","https://openalex.org/W2401003083","https://openalex.org/W2573385154","https://openalex.org/W2594877703","https://openalex.org/W2952842591","https://openalex.org/W3021270870","https://openalex.org/W4234545150","https://openalex.org/W4241531852","https://openalex.org/W4247771367","https://openalex.org/W4254691308","https://openalex.org/W4256216601","https://openalex.org/W6629784141","https://openalex.org/W6631169908","https://openalex.org/W6632630887","https://openalex.org/W6635300605","https://openalex.org/W6657725327","https://openalex.org/W6668684778","https://openalex.org/W6674236629","https://openalex.org/W6675032546","https://openalex.org/W6677621728","https://openalex.org/W6683483226","https://openalex.org/W6697253294","https://openalex.org/W6721983201","https://openalex.org/W6749935344","https://openalex.org/W6776713182"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W82161441","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1990602094","https://openalex.org/W1528423264"],"abstract_inverted_index":{"Artificial":[0],"intelligence":[1],"(AI)":[2],"techniques,":[3],"including,":[4,30],"e.g.,":[5,31],"machine":[6],"learning,":[7],"multi-agent":[8],"collaboration,":[9],"planning,":[10],"and":[11,33,47,59,73,86,98,104,122,143,154,162],"heuristic":[12],"search,":[13],"are":[14,88,139],"emerging":[15],"as":[16,157,159],"ever-stronger":[17],"tools":[18],"for":[19,56,79,164],"solving":[20],"hard":[21],"problems":[22],"in":[23,62],"real-world":[24],"applications.":[25],"Executable":[26],"specification":[27],"techniques":[28,61],"(ES),":[29],"Statecharts":[32],"scenario-based":[34],"programming,":[35],"is":[36],"a":[37,90,115,119,123],"promising":[38],"development":[39,72],"approach,":[40],"offering":[41],"intuitiveness,":[42],"ease":[43],"of":[44,82,107,129,151],"enhancement,":[45],"compositionality,":[46],"amenability":[48],"to":[49,166],"formal":[50],"analysis.":[51],"We":[52,147],"propose":[53],"an":[54],"approach":[55,77,153],"integrating":[57],"AI":[58,97,133],"ES":[60],"developing":[63],"complex":[64],"intelligent":[65],"systems,":[66],"which":[67],"can":[68],"greatly":[69],"simplify":[70],"agile/spiral":[71],"maintenance":[74],"processes.":[75],"The":[76],"calls":[78],"automated":[80],"detection":[81],"whether":[83],"certain":[84],"goals":[85],"sub-goals":[87,94,130],"met;":[89],"clear":[91],"division":[92],"between":[93,118],"solved":[95,100,131,140],"with":[96,101,132,141,145],"those":[99],"ES;":[102],"compositional":[103],"incremental":[105],"addition":[106],"AI-based":[108],"or":[109],"ES-based":[110],"components,":[111],"each":[112],"focusing":[113],"on":[114],"particular":[116],"gap":[117],"current":[120],"capability":[121],"well-stated":[124],"goal;":[125],"and,":[126],"iterative":[127],"refinement":[128],"into":[134],"smaller":[135],"sub-sub-goals":[136],"where":[137],"some":[138,144],"ES,":[142],"AI.":[146],"describe":[148],"the":[149,152],"principles":[150],"its":[155],"advantages,":[156],"well":[158],"key":[160],"challenges":[161],"suggestions":[163],"how":[165],"tackle":[167],"them.":[168]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}