Scopri come STPA e LTL creano sistemi più sicuri.
― 6 leggere min
Informatica - Ingegneria del software
RSSUno studio rivela come le modifiche al codice influenzino le metriche di qualità del software.
― 10 leggere min
Un approccio fresco per migliorare le prestazioni del software attraverso metodi di ottimizzazione dinamica.
― 5 leggere min
Questo documento presenta un metodo di confronto tra alberi efficiente usando la risoluzione SAT.
― 8 leggere min
Un nuovo metodo per velocizzare la riparazione dei modelli Stateflow e ridurre i costi.
― 6 leggere min
Un nuovo metodo, DepGraph, migliora l'accuratezza nella rilevazione dei bug software.
― 6 leggere min
Un'analisi di come gli sviluppatori implementano soluzioni architettoniche nei progetti open-source.
― 6 leggere min
Uno sguardo approfondito a due strumenti di editing per lo sviluppo software.
― 6 leggere min
L'industria automobilistica abbraccia soluzioni software-defined per migliorare le funzioni dei veicoli.
― 8 leggere min
Un nuovo metodo sfrutta i LLM per automatizzare la correzione dei bug e l'aggiunta di funzionalità.
― 17 leggere min
Questo articolo esamina come vengono raccolti i requisiti nei progetti software del governo.
― 6 leggere min
MLRefScanner migliora il riconoscimento del refactoring del codice nei progetti di machine learning in Python.
― 6 leggere min
Questo articolo esamina come gli sviluppatori vedono il finanziamento governativo nei progetti OSS come scikit-learn.
― 6 leggere min
Uno studio sulla chiarezza e accettazione degli Attack-Defense Trees tra gli utenti.
― 7 leggere min
Questo studio valuta quanto bene ChatGPT crea diagrammi di sequenza UML da requisiti in linguaggio naturale.
― 8 leggere min
Una guida pratica per i ricercatori che usano metodi misti nell'ingegneria del software.
― 10 leggere min
Uno sguardo a come i LLM riassumono il codice e i fattori che influenzano le loro prestazioni.
― 7 leggere min
Concentrarsi sulla diversità può migliorare il software per tutti gli utenti.
― 7 leggere min
Una studio sulla condivisione, manutenzione e qualità degli artefatti di ricerca software.
― 5 leggere min
L'ingegneria del software quantistico si evolve per soddisfare le esigenze del calcolo quantistico avanzato.
― 7 leggere min
Migliorare i modelli di generazione di codice per gestire efficacemente piccoli cambiamenti negli input.
― 7 leggere min
Adesso c'è uno strumento per identificare le vulnerabilità nel codice Python generato dall'IA.
― 8 leggere min
Un nuovo metodo usa LLM per migliorare l'efficienza nella riparazione dei programmi.
― 5 leggere min
Questa ricerca esamina come usare il flusso di informazioni per individuare potenziali conflitti nel codice.
― 7 leggere min
Uno strumento semplifica l'evoluzione dello schema del database mantenendo l'integrità.
― 6 leggere min
Uno studio su cosa muove gli sviluppatori nei progetti open-source.
― 8 leggere min
Questo studio valuta i modelli linguistici grandi per generare testi nelle app mobili.
― 7 leggere min
Impara pratiche efficaci per una stima precisa dello sforzo nello sviluppo software Agile.
― 6 leggere min
Service Weaver semplifica la creazione di applicazioni cloud-native riducendo la complessità.
― 7 leggere min
Un sistema per semplificare l'uso di OWL nella programmazione orientata agli oggetti.
― 7 leggere min
I bambini imparano il testing del software attraverso un gioco coinvolgente sui creature.
― 8 leggere min
Questo studio esamina i mutanti equivalenti e il loro impatto sul testing del software.
― 5 leggere min
Questo studio esamina i problemi di qualità nei prompt per i modelli di generazione di codice.
― 5 leggere min
Una panoramica del lavoro ibrido e il suo legame con le pratiche agili nel software.
― 7 leggere min
Usare i LLM per migliorare l'efficacia del testing delle mutazioni e la qualità del software.
― 6 leggere min
Un nuovo strumento offre definizioni flessibili di equità per l'analisi del machine learning.
― 7 leggere min
Un nuovo set di dati per migliorare la generazione di codice usando le immagini.
― 6 leggere min
Questo articolo esamina il ruolo dei LLM nel sistemare le specifiche di Alloy.
― 7 leggere min
Coinvolgere gli studenti nel Software Testing con l'apprendimento basato su team e progetti open source.
― 6 leggere min
3DGen usa l'IA per trasformare descrizioni di dati informali in codice sicuro.
― 8 leggere min