{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:32:44Z","timestamp":1771515164001,"version":"3.50.1"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"funder":[{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"publisher","award":["3698\/21"],"award-info":[{"award-number":["3698\/21"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tse.2025.3534572","type":"journal-article","created":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T18:47:03Z","timestamp":1738003623000},"page":"741-745","source":"Crossref","is-referenced-by-count":1,"title":["From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7240-3931","authenticated-orcid":false,"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5904-5105","authenticated-orcid":false,"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238849"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"ref5","article-title":"A formalization and proof of the extended church-turing thesis","volume-title":"Studia Logica Conf. Trends Log. IX: Church Thesis: Log., Mind Nature","author":"Dershowitz","year":"2011"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493420"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"ref8","article-title":"UML","year":"2024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","volume":"1","author":"Harel","year":"2003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859075"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2020.3006805"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/emsoft.2013.6658591"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2920"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001427"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-3-540-31980-1_29","article-title":"Temporal logic for scenario-based specifications","volume-title":"Tools Algorithms Construction Anal. Syst.: 11th Int. Conf. (TACAS), Held Part Joint Eur. Conferences Theory Pract. Softw. (ETAPS)","author":"Kugler","year":"2005"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3069039"},{"key":"ref20","volume-title":"Deep Learning","volume":"1","author":"Bengio","year":"2017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/e23010018"},{"issue":"3","key":"ref22","article-title":"Panel: Can we engineer the emergent behavior of a system of systems?","volume-title":"Insight","volume":"12","author":"Hsu","year":"2009"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICARSC.2018.8374191"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11948-020-00252-y"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68606-1_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7249\/rra2397-2"},{"issue":"2","key":"ref27","first-page":"134","article-title":"When trust fails: Examining systemic risk in the digital economy from the 2024 crowdstrike outage","volume-title":"Partners Universal Multidisciplinary Res. J.","volume":"1","author":"George","year":"2024"},{"key":"ref28","volume-title":"The Creative Act: A Way of Being","author":"Rubin","year":"2023"},{"key":"ref29","article-title":"Preparing for super-reactivity: Early fault-detection in the development of exceedingly complex reactive systems","author":"Harel","year":"2024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CTS.2016.0032"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-319-77028-4_37","article-title":"Improving agile software development with domain ontologies","volume-title":"Proc. Inf. Technol.-New Generations: 15th Int. Conf. Inf. Technol.","author":"de Souza","year":"2018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2018.1451652"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10930340\/10855799.pdf?arnumber=10855799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:21:01Z","timestamp":1743092461000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10855799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":32,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3534572","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3]]}}}