Informatica - Ingegneria del software

Scopri come lo sviluppo modellabile trasforma la comprensione del software con strumenti personalizzati.

Questo studio mostra come le pubblicità ostacolano l'accessibilità online per gli utenti con disabilità.

Un nuovo sistema migliora l'accuratezza e l'efficienza della traduzione del codice usando agenti specializzati.

CRScore offre un metodo innovativo per valutare i commenti delle recensioni di codice senza riferimenti umani.

Un nuovo approccio migliora il rilevamento del malware e resiste agli attacchi avversari.

Un nuovo approccio per migliorare il rilevamento delle anomalie basato sui log usando modelli transformer.

Presentiamo un linguaggio di programmazione incentrato su prestazioni affidabili delle applicazioni e gestione della memoria.

Questo articolo parla della comprensibilità del codice Java decompilato e del suo importanza.

Esplorare il legame tra tratti della personalità ed efficacia nella generazione di codice usando LLM.

Scopri come la sintesi dei dati migliora le performance e l'allenamento dei modelli di codifica.

Questo studio esplora come i LLM aiutano i programmatori a capire meglio gli algoritmi quantistici.

VIEWER semplifica i dati dei pazienti per i professionisti della salute mentale.

DemoCraft migliora la generazione di codice da linguaggio naturale usando una selezione intelligente di esempi.

La ricerca dimostra che i LLM possono generare codice sintetico utile per insegnare.

La speranza è fondamentale per la resilienza, la motivazione e una buona salute mentale.

L'IA sta trasformando il modo in cui affrontiamo le vulnerabilità del software in modo efficace.

Uno sguardo ai metodi per rilevare bug nel software quantistico.

Un nuovo approccio aumenta l'efficienza nella verifica dei progetti dei chip.

Indagare il ruolo dei LLM nella generazione di specifiche software per la verifica.

Uno sguardo a WASM e all'importanza della decompilazione nella sicurezza web.

Valutare l'importanza dell'ingegneria dei prompt con i nuovi modelli di ragionamento.

Combinando l'IA con Dafny per semplificare i processi di verifica del software.

I casi di garanzia assicurano l'affidabilità, la sicurezza e la chiarezza per l'utente del software.

Uno sguardo alle difficoltà nell'identificare il codice generato dall'IA e ai miglioramenti futuri.

Un modo nuovo per pianificare i voli dei quadricotteri semplicemente disegnando percorsi.

Un'iniziativa guidata da studenti che offre esperienza pratica con il software per i futuri ingegneri.

Esaminando l'uso energetico di assistenti alla codifica come GitHub Copilot.

Esplora come la somma in virgola mobile influisce sulla precisione nei calcoli.

Le QNN possono cambiare il modo in cui i sistemi di dati vengono testati e gestiti nella sanità.

Mint cattura e gestisce i dati di tracciamento in modo efficiente per avere migliori intuizioni.

Collegamenti deboli possono accendere innovazione nei progetti software.

Uno sguardo sul potenziale dei campi di coding per migliorare l'apprendimento e le connessioni lavorative.

Un nuovo metodo migliora la rilevazione delle vulnerabilità nei contratti smart.

Scopri come il rilevamento delle anomalie protegge i dati sensibili dalle minacce.

Uno sguardo a come vengono identificate, risolte e condivise le vulnerabilità del software.

Uno sguardo approfondito sui rischi di sicurezza delle estensioni di VS Code.

I sviluppatori possono migliorare la privacy delle app analizzando meglio le recensioni degli utenti con tecniche avanzate.

Uno studio rivela come CHIME migliora le risposte di ChatGPT ai report di bug software.

Un nuovo metodo migliora il testing delle API REST usando un apprendimento intelligente per dare priorità alle operazioni chiave.

AutoChecker semplifica la creazione di controlli di codice statici personalizzati per gli sviluppatori.