IA per l'ingegneria del software: dal probabile al dimostrabile
Un nuovo articolo su arXiv propone di combinare l'IA con la verifica formale per superare i limiti del 'vibe coding', come la difficoltà di specifica degli obiettivi e l'allucinazione. L'approccio unisce la creatività dell'IA con metodi formali e strumenti di dimostrazione per garantire la correttezza del programma.
Fatti principali
- L'articolo è intitolato 'IA per l'ingegneria del software: dal probabile al dimostrabile'.
- Affronta due ostacoli nella programmazione assistita dall'IA: la specifica degli obiettivi e l'allucinazione.
- La soluzione proposta combina l'IA con specifica formale e verifica del programma.
- L'articolo è classificato sotto Computer Science > Software Engineering.
- È stato inviato ad arXiv ed è disponibile su https://arxiv.org/abs/2511.23159.
- Il termine 'vibe coding' viene utilizzato per descrivere la programmazione basata sull'IA.
- L'ingegneria dei prompt è descritta come una forma di ingegneria dei requisiti.
- Vengono menzionati moderni strumenti di dimostrazione come parte della soluzione.
Entità
Istituzioni
- arXiv