{"id":36880,"date":"2026-11-03T12:36:43","date_gmt":"2026-11-03T11:36:43","guid":{"rendered":"https:\/\/www.codemotion.com\/magazine\/?p=36880"},"modified":"2026-11-03T12:36:45","modified_gmt":"2026-11-03T11:36:45","slug":"dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode","status":"publish","type":"post","link":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/","title":{"rendered":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong>Alla <a href=\"https:\/\/conferences.codemotion.com\/milan\/\" target=\"_blank\" rel=\"noreferrer noopener\">Codemotion AI &amp; Tech Conference<\/a>, Andrea Raponi, Technical Manager in Engineering e Software Craftsman, esplora come trasformare il potenziale dell\u2019AI coding in un processo di sviluppo governabile, tracciabile e verificabile.<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Immaginiamo di sviluppare il software che governa i motori di un aereo. Non basta che il codice funzioni durante una dimostrazione o che sia stato generato in pochi secondi dall\u2019intelligenza artificiale. Dobbiamo sapere che cosa deve fare, in quali condizioni e come dimostrare che rispetta i requisiti.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00c8 un esempio estremo, ma pone una domanda centrale anche nello sviluppo delle applicazioni aziendali: <strong>come possiamo fidarci del software generato dall\u2019AI se non sappiamo verificare che abbia costruito ci\u00f2 che gli abbiamo chiesto?<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00c8 da questa domanda che parte il talk di Andrea Raponi alla Codemotion AI &amp; Tech Conference. Il suo intervento collega tre elementi \u2014 EARS, Walden e l\u2019Agentic Software Delivery di EngCode\u2014 per mostrare come specifiche chiare, tracciabilit\u00e0 e verifiche eseguibili possano diventare parte integrante dello sviluppo software assistito dall\u2019intelligenza artificiale.<\/p>\n\n\n\n<h2 id=\"h-il-limite-del-vibe-coding-generare-non-significa-verificare\" class=\"wp-block-heading\">Il limite del vibe coding: generare non significa verificare<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Gli strumenti di AI coding permettono oggi di descrivere una funzionalit\u00e0 in linguaggio naturale e ottenere rapidamente codice, test e prime implementazioni. Il *vibe coding* porta questa dinamica all\u2019estremo: si formula un\u2019intenzione, si valuta il risultato e si procede per iterazioni.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00c8 un approccio efficace per esplorare idee e accelerare la prototipazione. Ma quando il software deve andare in produzione, la velocit\u00e0 non basta.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Una funzionalit\u00e0 pu\u00f2 sembrare corretta e fallire in condizioni non considerate. Un modello pu\u00f2 interpretare una richiesta ambigua in modo plausibile, ma diverso da quello desiderato. E una suite di test pu\u00f2 risultare verde senza coprire un requisito fondamentale.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il problema, quindi, non \u00e8 soltanto la qualit\u00e0 del codice generato. \u00c8 la capacit\u00e0 di definire con precisione il risultato atteso e di verificarlo.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>La sfida non \u00e8 chiedere all\u2019AI di scrivere pi\u00f9 codice, ma metterla nelle condizioni di costruire il software giusto.<\/strong> Per farlo servono specifiche esplicite, collegamenti tra le diverse fasi dello sviluppo e criteri verificabili.<\/p>\n\n\n\n<h2 id=\"h-ears-requisiti-chiari-comportamenti-verificabili\" class=\"wp-block-heading\">EARS: requisiti chiari, comportamenti verificabili<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Il primo strumento presentato da Raponi \u00e8 EARS, acronimo di <em>Easy Approach to Requirements Syntax<\/em>. \u00c8 un approccio leggero alla formulazione dei requisiti che aiuta a rendere espliciti il comportamento atteso e le condizioni in cui deve verificarsi.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Espressioni come \u201cil sistema deve essere veloce\u201d o \u201cdeve gestire correttamente gli errori\u201d possono sembrare sufficienti in una conversazione, ma lasciano aperte troppe interpretazioni. Che cosa significa esattamente \u201cveloce\u201d? Quali errori devono essere gestiti? In quali circostanze?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">EARS aiuta a ridurre queste ambiguit\u00e0 attraverso una sintassi strutturata, senza richiedere necessariamente formalismi complessi. Il risultato \u00e8 una specifica pi\u00f9 utile sia per chi sviluppa sia per chi deve verificare il comportamento dell\u2019applicazione.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Nel lavoro con gli agenti AI, questa chiarezza assume un valore particolare: un requisito ben formulato pu\u00f2 guidare l\u2019implementazione e fornire un riferimento concreto per costruire i test e valutare il risultato.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La specifica smette cos\u00ec di essere un documento da consultare all\u2019inizio del progetto e diventa una guida operativa per tutto il processo di sviluppo.<\/p>\n\n\n\n<h2 id=\"h-walden-collegare-requisiti-design-task-e-test\" class=\"wp-block-heading\">Walden: collegare requisiti, design, task e test<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Una specifica chiara \u00e8 il punto di partenza, ma deve rimanere collegata al lavoro che ne deriva. In un progetto software, requisiti, decisioni architetturali, attivit\u00e0 di sviluppo e test rischiano altrimenti di vivere in strumenti e documenti separati.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Quando intervengono gli agenti AI, ricostruire questi collegamenti diventa ancora pi\u00f9 importante. Non basta sapere quale codice \u00e8 stato prodotto: occorre capire a quale requisito risponde, quali scelte ne hanno guidato la realizzazione e come verificarne il comportamento.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Per affrontare questo problema, Raponi presenta <strong>Walden, un kernel CLI open source<\/strong> che permette di collegare requisiti, design, task e verifiche eseguibili.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il principio \u00e8 rendere esplicita la relazione tra ci\u00f2 che il software deve fare e il lavoro necessario per realizzarlo. Se un requisito cambia, il team deve poter individuare le attivit\u00e0 coinvolte e le verifiche da aggiornare, senza affidarsi soltanto alla memoria delle persone o alla cronologia delle conversazioni con l\u2019AI.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La tracciabilit\u00e0 diventa cos\u00ec uno strumento di lavoro, non un adempimento documentale. Permette di ricostruire il percorso che porta dall\u2019esigenza iniziale all\u2019implementazione e alle evidenze che ne supportano la correttezza.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La domanda non \u00e8 pi\u00f9 soltanto \u00abil codice funziona?\u00bb, ma anche: <strong>\u00abquale requisito soddisfa e come possiamo verificarlo?\u00bb<\/strong><\/p>\n\n\n\n<h2 id=\"h-agentic-software-delivery-dal-singolo-agente-al-processo-di-sviluppo\" class=\"wp-block-heading\">Agentic Software Delivery: dal singolo agente al processo di sviluppo<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">EARS e Walden affrontano la qualit\u00e0 delle specifiche e il collegamento tra gli artefatti di sviluppo. Il passo successivo \u00e8 applicare questi principi all\u2019intero *Software Development Lifecycle*, in un contesto nel quale gli agenti AI possono contribuire a pi\u00f9 fasi del lavoro.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00c8 il tema della terza parte del talk, dedicata ad EngCode, il framework di <strong>Agentic Software Delivery di Engineering<\/strong>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Lo sviluppo agentico non consiste semplicemente nell\u2019aggiungere un assistente all\u2019editor o nell\u2019automatizzare singole attivit\u00e0. Richiede di ripensare il processo affinch\u00e9 il lavoro degli agenti rimanga coerente con gli obiettivi del progetto e i risultati siano controllabili.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Come si dimostra che una modifica rispetta i requisiti? Come si ricostruiscono le decisioni che hanno portato a un\u2019implementazione? E come si individuano gli effetti di un cambiamento sulle funzionalit\u00e0 esistenti?<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il framework di Engineering integra tracciabilit\u00e0, verificabilit\u00e0 e controllo lungo il ciclo di vita del software, portando questi principi oltre la singola attivit\u00e0 di coding.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Rappresenta una declinazione concreta dell\u2019approccio dell\u2019azienda all\u2019AI sovrana, fondato sulla capacit\u00e0 di governare e adattare l\u2019intelligenza artificiale al contesto delle organizzazioni, mantenendo il controllo su dati, modelli e decisioni. &nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">L\u2019obiettivo \u00e8 inserire l\u2019AI in un processo ingegneristico strutturato, nel quale le specifiche guidano il lavoro e le verifiche consentono di valutarne gli esiti. Un passaggio particolarmente rilevante quando si lavora in team, su sistemi complessi e su prodotti destinati a evolvere nel tempo.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In questa prospettiva, la produttivit\u00e0 non si misura soltanto in righe di codice generate o in tempo risparmiato. Conta anche la capacit\u00e0 di mantenere il controllo sulle modifiche, comprenderne le motivazioni e verificare che il software continui a comportarsi come previsto.<\/p>\n\n\n\n<h2 id=\"h-l-autonomia-dell-ai-ha-bisogno-di-metodo\" class=\"wp-block-heading\">L\u2019autonomia dell\u2019AI ha bisogno di metodo<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Il messaggio che emerge dal talk di Andrea Raponi \u00e8 netto: pi\u00f9 aumenta la capacit\u00e0 degli agenti di intervenire sul software, pi\u00f9 diventa importante strutturare il processo che ne guida il lavoro.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">EARS, Walden e Agentic Software Delivery affrontano tre livelli dello stesso problema: definire requisiti comprensibili, mantenere i collegamenti tra specifiche e implementazione, e governare l\u2019intero ciclo di sviluppo.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Non significa rinunciare alla rapidit\u00e0 del vibe coding n\u00e9 trasformare lo sviluppo in un esercizio burocratico. Significa evitare che la velocit\u00e0 di generazione venga confusa con la qualit\u00e0 del risultato.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Per sviluppatori, software architect e tech lead, la sfida \u00e8 integrare l\u2019AI senza perdere visibilit\u00e0 su ci\u00f2 che viene costruito e sul perch\u00e9. Per farlo, requisiti e verifiche devono diventare parte del flusso di lavoro, anzich\u00e9 controlli aggiunti quando il codice \u00e8 gi\u00e0 stato prodotto.<\/p>\n\n\n\n<h2 id=\"h-un-talk-per-portare-l-ai-coding-nell-ingegneria-del-software\" class=\"wp-block-heading\">Un talk per portare l\u2019AI coding nell\u2019ingegneria del software<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Andrea Raponi \u00e8 Technical Manager in Engineering, dove si occupa di architetture software, tecnologie Cloud Native e Intelligenza Artificiale Generativa. Nel suo percorso ha lavorato tra infrastruttura e sviluppo, coltivando un interesse per l\u2019open source, la developer experience e le tecnologie indipendenti da specifici vendor.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il suo intervento, <strong>un talk di 30 minuti in italiano, di livello intermedio<\/strong>, si \u00e8 rivolto a chi sta gi\u00e0 sperimentando l\u2019AI coding e vuole capire come inserirlo in un processo di sviluppo pi\u00f9 solido.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il punto non \u00e8 stabilire quanto codice possa produrre un modello, ma come trasformare quella capacit\u00e0 in un risultato affidabile: specificato, tracciabile e verificabile.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Alla Codemotion AI &amp; Tech Conference, Raponi ha proposto quindi una prospettiva concreta sul futuro dello sviluppo software: <strong>passare dal codice generato al software di cui possiamo<\/strong> <strong>verificare la conformit\u00e0 ai requisiti<\/strong>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Alla Codemotion AI &amp; Tech Conference, Andrea Raponi, Technical Manager in Engineering e Software Craftsman, esplora come trasformare il potenziale dell\u2019AI coding in un processo di sviluppo governabile, tracciabile e verificabile. Immaginiamo di sviluppare il software che governa i motori di un aereo. Non basta che il codice funzioni durante una dimostrazione o che sia&#8230; <a class=\"more-link\" href=\"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/\">Read more<\/a><\/p>\n","protected":false},"author":64,"featured_media":36002,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_editorskit_title_hidden":false,"_editorskit_reading_time":0,"_editorskit_is_block_options_detached":false,"_editorskit_block_options_position":"{}","_uag_custom_page_level_css":"","_genesis_hide_title":false,"_genesis_hide_breadcrumbs":false,"_genesis_hide_singular_image":false,"_genesis_hide_footer_widgets":false,"_genesis_custom_body_class":"","_genesis_custom_post_class":"","_genesis_layout":"","footnotes":""},"categories":[10019],"tags":[],"collections":[],"class_list":["post-36880","post","type-post","status-publish","format-standard","has-post-thumbnail","category-uncategorized-it","entry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v28.6 (Yoast SEO v28.6) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode - Codemotion Magazine<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode\" \/>\n<meta property=\"og:description\" content=\"Alla Codemotion AI &amp; Tech Conference, Andrea Raponi, Technical Manager in Engineering e Software Craftsman, esplora come trasformare il potenziale dell\u2019AI coding in un processo di sviluppo governabile, tracciabile e verificabile. Immaginiamo di sviluppare il software che governa i motori di un aereo. Non basta che il codice funzioni durante una dimostrazione o che sia&#8230; Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/\" \/>\n<meta property=\"og:site_name\" content=\"Codemotion Magazine\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/Codemotion.Italy\/\" \/>\n<meta property=\"article:published_time\" content=\"2026-11-03T11:36:43+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-11-03T11:36:45+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1536\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Codemotion\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@CodemotionIT\" \/>\n<meta name=\"twitter:site\" content=\"@CodemotionIT\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Codemotion\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/\"},\"author\":{\"name\":\"Codemotion\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#\\\/schema\\\/person\\\/201bb98b02412383686cced7521b861c\"},\"headline\":\"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode\",\"datePublished\":\"2026-11-03T11:36:43+00:00\",\"dateModified\":\"2026-11-03T11:36:45+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/\"},\"wordCount\":1297,\"publisher\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/Agentic-Commerce.png\",\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/\",\"name\":\"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode - Codemotion Magazine\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/Agentic-Commerce.png\",\"datePublished\":\"2026-11-03T11:36:43+00:00\",\"dateModified\":\"2026-11-03T11:36:45+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/Agentic-Commerce.png\",\"contentUrl\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/Agentic-Commerce.png\",\"width\":1536,\"height\":1024},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/it\\\/uncategorized-it\\\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Uncategorized\",\"item\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/uncategorized-it\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#website\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/\",\"name\":\"Codemotion Magazine\",\"description\":\"We code the future. Together\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#organization\",\"name\":\"Codemotion\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/codemotionlogo.png\",\"contentUrl\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/codemotionlogo.png\",\"width\":225,\"height\":225,\"caption\":\"Codemotion\"},\"image\":{\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/Codemotion.Italy\\\/\",\"https:\\\/\\\/x.com\\\/CodemotionIT\"]},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/#\\\/schema\\\/person\\\/201bb98b02412383686cced7521b861c\",\"name\":\"Codemotion\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/cropped-codemotionlogo-150x150.png\",\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/cropped-codemotionlogo-150x150.png\",\"contentUrl\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/wp-content\\\/uploads\\\/2019\\\/11\\\/cropped-codemotionlogo-150x150.png\",\"caption\":\"Codemotion\"},\"description\":\"Articles wirtten by the Codemotion staff. Tech news, inspiration, latest treends in software development and more.\",\"sameAs\":[\"https:\\\/\\\/x.com\\\/CodemotionIT\"],\"url\":\"https:\\\/\\\/www.codemotion.com\\\/magazine\\\/author\\\/codemotion-2\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode - Codemotion Magazine","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/","og_locale":"en_US","og_type":"article","og_title":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode","og_description":"Alla Codemotion AI &amp; Tech Conference, Andrea Raponi, Technical Manager in Engineering e Software Craftsman, esplora come trasformare il potenziale dell\u2019AI coding in un processo di sviluppo governabile, tracciabile e verificabile. Immaginiamo di sviluppare il software che governa i motori di un aereo. Non basta che il codice funzioni durante una dimostrazione o che sia&#8230; Read more","og_url":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/","og_site_name":"Codemotion Magazine","article_publisher":"https:\/\/www.facebook.com\/Codemotion.Italy\/","article_published_time":"2026-11-03T11:36:43+00:00","article_modified_time":"2026-11-03T11:36:45+00:00","og_image":[{"width":1536,"height":1024,"url":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png","type":"image\/png"}],"author":"Codemotion","twitter_card":"summary_large_image","twitter_creator":"@CodemotionIT","twitter_site":"@CodemotionIT","twitter_misc":{"Written by":"Codemotion","Est. reading time":"6 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#article","isPartOf":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/"},"author":{"name":"Codemotion","@id":"https:\/\/www.codemotion.com\/magazine\/#\/schema\/person\/201bb98b02412383686cced7521b861c"},"headline":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode","datePublished":"2026-11-03T11:36:43+00:00","dateModified":"2026-11-03T11:36:45+00:00","mainEntityOfPage":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/"},"wordCount":1297,"publisher":{"@id":"https:\/\/www.codemotion.com\/magazine\/#organization"},"image":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#primaryimage"},"thumbnailUrl":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png","inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/","url":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/","name":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode - Codemotion Magazine","isPartOf":{"@id":"https:\/\/www.codemotion.com\/magazine\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#primaryimage"},"image":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#primaryimage"},"thumbnailUrl":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png","datePublished":"2026-11-03T11:36:43+00:00","dateModified":"2026-11-03T11:36:45+00:00","breadcrumb":{"@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#primaryimage","url":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png","contentUrl":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png","width":1536,"height":1024},{"@type":"BreadcrumbList","@id":"https:\/\/www.codemotion.com\/magazine\/it\/uncategorized-it\/dallai-che-genera-codice-al-software-verificabile-ears-walden-e-lagentic-software-delivery-di-engcode\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.codemotion.com\/magazine\/"},{"@type":"ListItem","position":2,"name":"Uncategorized","item":"https:\/\/www.codemotion.com\/magazine\/uncategorized-it\/"},{"@type":"ListItem","position":3,"name":"Dall\u2019AI che genera codice al software verificabile: EARS, Walden e l\u2019Agentic Software Delivery di EngCode"}]},{"@type":"WebSite","@id":"https:\/\/www.codemotion.com\/magazine\/#website","url":"https:\/\/www.codemotion.com\/magazine\/","name":"Codemotion Magazine","description":"We code the future. Together","publisher":{"@id":"https:\/\/www.codemotion.com\/magazine\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.codemotion.com\/magazine\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.codemotion.com\/magazine\/#organization","name":"Codemotion","url":"https:\/\/www.codemotion.com\/magazine\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.codemotion.com\/magazine\/#\/schema\/logo\/image\/","url":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2019\/11\/codemotionlogo.png","contentUrl":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2019\/11\/codemotionlogo.png","width":225,"height":225,"caption":"Codemotion"},"image":{"@id":"https:\/\/www.codemotion.com\/magazine\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/Codemotion.Italy\/","https:\/\/x.com\/CodemotionIT"]},{"@type":"Person","@id":"https:\/\/www.codemotion.com\/magazine\/#\/schema\/person\/201bb98b02412383686cced7521b861c","name":"Codemotion","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2019\/11\/cropped-codemotionlogo-150x150.png","url":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2019\/11\/cropped-codemotionlogo-150x150.png","contentUrl":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2019\/11\/cropped-codemotionlogo-150x150.png","caption":"Codemotion"},"description":"Articles wirtten by the Codemotion staff. Tech news, inspiration, latest treends in software development and more.","sameAs":["https:\/\/x.com\/CodemotionIT"],"url":"https:\/\/www.codemotion.com\/magazine\/author\/codemotion-2\/"}]}},"featured_image_src":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-600x400.png","featured_image_src_square":"https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-600x600.png","author_info":{"display_name":"Codemotion","author_link":"https:\/\/www.codemotion.com\/magazine\/author\/codemotion-2\/"},"uagb_featured_image_src":{"full":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png",1536,1024,false],"thumbnail":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-150x150.png",150,150,true],"medium":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-300x200.png",300,200,true],"medium_large":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-768x512.png",768,512,true],"large":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-1024x683.png",1024,683,true],"1536x1536":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png",1536,1024,false],"2048x2048":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce.png",1536,1024,false],"small-home-featured":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-100x100.png",100,100,true],"sidebar-featured":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-180x128.png",180,128,true],"genesis-singular-images":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-896x504.png",896,504,true],"archive-featured":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-400x225.png",400,225,true],"gb-block-post-grid-landscape":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-600x400.png",600,400,true],"gb-block-post-grid-square":["https:\/\/www.codemotion.com\/magazine\/wp-content\/uploads\/2026\/06\/Agentic-Commerce-600x600.png",600,600,true]},"uagb_author_info":{"display_name":"Codemotion","author_link":"https:\/\/www.codemotion.com\/magazine\/author\/codemotion-2\/"},"uagb_comment_info":0,"uagb_excerpt":"Alla Codemotion AI &amp; Tech Conference, Andrea Raponi, Technical Manager in Engineering e Software Craftsman, esplora come trasformare il potenziale dell\u2019AI coding in un processo di sviluppo governabile, tracciabile e verificabile. Immaginiamo di sviluppare il software che governa i motori di un aereo. Non basta che il codice funzioni durante una dimostrazione o che sia&#8230;&hellip;","lang":"it","_links":{"self":[{"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/posts\/36880","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/users\/64"}],"replies":[{"embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/comments?post=36880"}],"version-history":[{"count":2,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/posts\/36880\/revisions"}],"predecessor-version":[{"id":36883,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/posts\/36880\/revisions\/36883"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/media\/36002"}],"wp:attachment":[{"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/media?parent=36880"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/categories?post=36880"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/tags?post=36880"},{"taxonomy":"collections","embeddable":true,"href":"https:\/\/www.codemotion.com\/magazine\/wp-json\/wp\/v2\/collections?post=36880"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}