{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:32:30Z","timestamp":1755793950411},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1109\/mc.2018.1451652","type":"journal-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T19:34:48Z","timestamp":1519414488000},"page":"14-26","source":"Crossref","is-referenced-by-count":6,"title":["Wise Computing: Toward Endowing System Development with Proactive Wisdom"],"prefix":"10.1109","volume":"51","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"The Weizmann Institute of Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Katz","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rami","family":"Marelly","sequence":"additional","affiliation":[{"name":"The Weizmann Institute of Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[{"name":"The Weizmann Institute of Science"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"ref12","author":"harel","year":"2003","journal-title":"Come Let's Play Scenario-based Programming using LSCs and the Play-Engine"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127064"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0950-7051(88)90032-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00872289"},{"key":"ref17","author":"wolfram","year":"2018","journal-title":"Wolfram Alpha"},{"key":"ref18","author":"wolfram","year":"2018","journal-title":"Wolfram Language"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.161"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref3","author":"davis","year":"2015","journal-title":"Towards a Programmer's Apprentice (Again) CBMM memo no 030"},{"key":"ref6","first-page":"7","article-title":"A Long Way to Have Come and Still to Go","volume":"1","author":"cerf","year":"2015","journal-title":"Comm ACM"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.5220\/0005811806000612"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref7","first-page":"94","article-title":"Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing","author":"marron","year":"0","journal-title":"Proc ACM\/IEEE 19th Int'l Conf Model-Driven Eng Languages and Systems (MODELS 16)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.86782"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"ref1","author":"harel","year":"2015","journal-title":"Wise Computing Towards Endowing System Development with True Wisdom"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2986012.2986021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542256"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RSSE.2012.6233407"},{"key":"ref24","first-page":"85","article-title":"On the Succinctness of Idioms for Concurrent Programming","author":"harel","year":"0","journal-title":"26th Int Conf Concurrency Theory (CONCUR'15)"},{"key":"ref23","first-page":"129","article-title":"Steps Towards Scenario-Based Programming with a Natural Language Interface","author":"harel","year":"0","journal-title":"Proc ETAPS Workshop From Programs to Systems"},{"key":"ref26","first-page":"1","article-title":"Non-Intrusive Repair of Safety and Liveness Violations in Reactive Programs","volume":"16","author":"harel","year":"2014","journal-title":"Computational Collective Intelligence"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_35"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2\/8301103\/08301110.pdf?arnumber=8301110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T19:55:18Z","timestamp":1651780518000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8301110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2]]},"references-count":26,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mc.2018.1451652","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2]]}}}