{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,8]],"date-time":"2026-09-08T19:09:58Z","timestamp":1788894598465,"version":"build-2803163510"},"reference-count":6,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1109\/ms.2026.3697911","type":"journal-article","created":{"date-parts":[[2026,9,7]],"date-time":"2026-09-07T19:06:07Z","timestamp":1788807967000},"page":"22-29","source":"Crossref","is-referenced-by-count":0,"title":["Engineering Agentic Systems: Toward Verification-First AIware Engineering"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9466-1672","authenticated-orcid":false,"given":"Qinghua","family":"Lu","sequence":"first","affiliation":[{"name":"Software Systems Research Group at CSIRO","place":["Marsfield, NSW, Australia"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7749-5513","authenticated-orcid":false,"given":"Ahmed E.","family":"Hassan","sequence":"additional","affiliation":[{"name":"Queen\u2019s University","place":["Kingston, Canada"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-7201","authenticated-orcid":false,"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore","department":["School of Computing and Information Systems"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4905-1469","authenticated-orcid":false,"given":"Thomas","family":"Zimmermann","sequence":"additional","affiliation":[{"name":"University of California","place":["Irvine, CA, USA"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Engineering AI Systems: Architecture and DevOps Essentials","author":"Bass","year":"2025"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663849"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-025-08869-4"},{"key":"ref4","article-title":"Verifiability","year":"2025","journal-title":"Karpathy"},{"key":"ref5","author":"Zhu","year":"2026","journal-title":"Verifiability-first AI engineering in the era of AIware: A conceptual framework, design principles, and architectural patterns for scalable verification"},{"key":"ref6","author":"Lu","year":"2026","journal-title":"Verification-driven AI engineering: Workflows and reference architecture"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/52\/11679123\/11679552.pdf?arnumber=11679552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,8]],"date-time":"2026-09-08T19:03:05Z","timestamp":1788894185000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11679552\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":6,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/ms.2026.3697911","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"value":"0740-7459","type":"print"},{"value":"1937-4194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,9]]}}}