Informatica - Ingegneria del software

Crittografia e sicurezzaAffrontare le vulnerabilità di sicurezza software in modo efficiente

Un nuovo approccio migliora il recupero delle patch per le vulnerabilità software.

Xueqing Liu, Yuchen Xiong, Qiushi Liu

2025-05-20T00:44:00+00:00 ― 8 leggere min

Ingegneria del softwareComprendere le politiche di controllo accessi nelle app web

Scopri come le politiche di accesso proteggono i tuoi dati nelle applicazioni web.

Wen Zhang, Dev Bali, Jamison Kerney

2025-05-19T14:10:40+00:00 ― 4 leggere min

Apprendimento automaticoCuvis.ai: Semplificare l'imaging iperspettrale per tutti

Cuvis.ai rende l'imaging iperspettrale facile e accessibile a tutti.

Nathaniel Hanson, Philip Manke, Simon Birkholz

2025-05-19T10:48:00+00:00 ― 8 leggere min

Ingegneria del softwareAvanzamento della generazione di codice con l'apprendimento diretto delle preferenze

Un nuovo metodo migliora i modelli di codifica usando test auto-generati.

Zhihan Liu, Shenao Zhang, Zhaoran Wang

2025-05-19T03:37:20+00:00 ― 6 leggere min

Ingegneria del softwareHULA Framework: Un nuovo approccio alla programmazione

HULA migliora la programmazione integrando il feedback umano nel processo di sviluppo.

Wannita Takerngsaksiri, Jirat Pasuksmit, Patanamon Thongtanunam

2025-05-18T20:52:00+00:00 ― 6 leggere min

Crittografia e sicurezzaMigliorare la sicurezza nei modelli di generazione del codice

Un nuovo metodo migliora la sicurezza del codice generato dai modelli linguistici.

Xiangzhe Xu, Zian Su, Jinyao Guo

2025-05-18T18:45:20+00:00 ― 5 leggere min

Ingegneria del softwareMonitorare i bug nello sviluppo software

Scopri come i programmatori trovano e risolvono i bug in modo efficace.

Salomé Perez-Rosero, Robert Dyer, Samuel W. Flint

2025-05-18T12:50:40+00:00 ― 4 leggere min

Ingegneria del softwareTrasformare il codice in modelli chiari

Impara a creare modelli software chiari da codice complesso.

P. H. M. van Spaendonck

2025-05-17T22:29:20+00:00 ― 7 leggere min

Ingegneria del softwareCapire i modelli linguistici: livelli e funzionalità

Una chiara suddivisione dei componenti del modello linguistico e dei loro ruoli.

Dawen Zhang, Xiwei Xu, Chen Wang

2025-05-17T20:22:40+00:00 ― 10 leggere min

Ingegneria del softwareLa realtà del debito tecnico nello sviluppo software

Esplorare l'impatto del debito tecnico sui progetti software e sulla loro manutenzione.

Shaiful Chowdhury, Hisham Kidwai, Muhammad Asaduzzaman

2025-05-17T01:22:40+00:00 ― 5 leggere min

Ingegneria del softwareL'importanza dei metodi formali nello sviluppo del software

Scopri come i metodi formali migliorano l'affidabilità del software e aiutano a beccare i bug in anticipo.

Roman Bögli, Leandro Lerena, Christos Tsigkanos

2025-05-16T20:44:00+00:00 ― 6 leggere min

Ingegneria del softwareGarantire Software Affidabile nei Veicoli Autonomi

Uno sguardo ai metodi di test per il software delle auto a guida autonoma.

Sneha Sudhir Shetiya, Vikas Vyas, Shreyas Renukuntla

2025-05-16T17:21:20+00:00 ― 4 leggere min

Ingegneria del softwareValutare i LLM con SpecTool: Un nuovo approccio

SpecTool porta chiarezza agli errori degli LLM nell'uso degli strumenti.

Shirley Kokane, Ming Zhu, Tulika Awalgaonkar

2025-05-16T16:30:40+00:00 ― 4 leggere min

Ingegneria del softwareGaze2AOI: Strumento di Tracciamento Oculare di Nuova Generazione

Gaze2AOI automatizza il marking delle aree nei video usando i dati del tracciamento oculare.

Karolina Trajkovska, Matjaž Kljun, Klen Čopič Pucihar

2025-05-16T09:20:00+00:00 ― 5 leggere min

Ingegneria del softwareSviluppo Guidato da Oggetti: Un Approccio Chiaro al Coding

Scopri come GOOD semplifica la programmazione e migliora la qualità del software.

Harrie Passier, Lex Bijlsma, Ruurd Kuiper

2025-05-16T02:09:20+00:00 ― 6 leggere min

Logica nell'informaticaComprendere i Programmi Ricorsivi Attraverso la Logica di Traccia

Uno sguardo a come la logica di tracciamento aiuta la verifica di programmi ricorsivi.

Dilian Gurov, Reiner Hähnle

2025-05-15T22:21:20+00:00 ― 6 leggere min

Ingegneria del softwareValutazione dei modelli di linguaggio per assistenza alla programmazione

Valutare l'efficacia dei modelli linguistici nei compiti di coding con nuovi benchmark.

Nidhish Shah, Zulkuf Genc, Dogu Araci

2025-05-15T17:42:40+00:00 ― 5 leggere min

Ingegneria del softwareCodeSAM: Un Framework Intelligente per l'Analisi del Codice

CodeSAM aiuta a migliorare la comprensione e l'analisi del codice da diversi punti di vista.

Alex Mathai, Kranthi Sedamaki, Debeshee Das

2025-05-15T09:41:20+00:00 ― 6 leggere min

Ingegneria del softwareIl percorso verso una guida autonoma più sicura

Affrontare le sfide della tecnologia dei veicoli autonomi per un futuro più sicuro.

Paolo Burgio, Angelo Ferrando, Marco Villani

2025-05-15T03:21:20+00:00 ― 8 leggere min

Ingegneria del softwareL'importanza della precisione negli algoritmi

Esplora come la precisione numerica impatti gli algoritmi e le decisioni.

Grégoire Boussu, Nikolai Kosmatov, Franck Védrine

2025-05-14T20:10:40+00:00 ― 7 leggere min

RoboticaAssicurare il Coordinamento del Robot di Saldatura con il Controllo del Modello

Questo documento parla di come migliorare la sincronizzazione dei robot saldatori usando il model checking.

Yvonne Murray, Henrik Nordlie, David A. Anisi

2025-05-14T19:20:00+00:00 ― 5 leggere min

Intelligenza artificialeGarantire la sicurezza nell'era dei chatbot

Monitorare i chatbot per evitare problemi in ambienti critici.

Andrea Gatti, Viviana Mascardi, Angelo Ferrando

2025-05-14T18:54:40+00:00 ― 6 leggere min

Ingegneria del softwareSviluppi nei Sistemi di Monitoraggio dei Robot

Un nuovo sistema di monitoraggio per i robot migliora l'efficienza e l'affidabilità.

Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis

2025-05-14T18:29:20+00:00 ― 6 leggere min

Ingegneria del softwareComprendere la neurodiversità nei team di sviluppo software

Uno sguardo su come le persone neurodiverse influenzano i team di sviluppo software.

Kiev Gama, Grischa Liebel, Miguel Goulão

2025-05-13T23:04:00+00:00 ― 5 leggere min

Apprendimento automaticoRendere l'apprendimento automatico comprensibile

Explabox semplifica il machine learning per tutti, garantendo trasparenza e giustizia nei modelli di IA.

Marcel Robeer, Michiel Bron, Elize Herrewijnen

2025-05-13T00:41:20+00:00 ― 5 leggere min

Ingegneria del softwareL'impatto crescente del software open source

Uno sguardo a come l'OSS sta plasmando la tecnologia attraverso la collaborazione e l'uso delle librerie.

Gábor Mészáros, Johannes Wachs

2025-05-12T09:54:40+00:00 ― 6 leggere min

Ingegneria del softwareStima dei Tempi di Esecuzione nei Programmi Quantistici

Uno sguardo a come prevedere quanto ci mettono a girare i programmi quantistici.

Ning Ma, Heng Li

2025-05-11T14:54:40+00:00 ― 6 leggere min

Ingegneria del softwareSelectQA: Un Nuovo Approccio per un Test del Software Efficiente

SelectQA migliora la velocità e l'efficacia dei test software usando tecniche di calcolo quantistico.

Antonio Trovato, Manuel De Stefano, Fabiano Pecorelli

2025-05-10T13:34:40+00:00 ― 6 leggere min

Ingegneria del softwareSemplificare i contratti legali con modelli di linguaggio

I ricercatori esplorano come i modelli di linguaggio possono chiarire accordi legali complessi.

Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal

2025-05-10T10:12:00+00:00 ― 7 leggere min

Ingegneria del softwareSpecifiche: La chiave per sistemi AI affidabili

Specifiche chiare possono trasformare lo sviluppo dell'IA e migliorare l'affidabilità dei sistemi.

Ion Stoica, Matei Zaharia, Joseph Gonzalez

2025-05-09T23:38:40+00:00 ― 6 leggere min

Ingegneria del softwareUsare l'AI per Automatizzare le Dichiarazioni di Produzione nello Sviluppo Software

Questo articolo esplora come l'IA può semplificare la scrittura di asserzioni nel coding.

Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra

2025-05-09T14:46:40+00:00 ― 6 leggere min

Ingegneria del softwareSfide nel calcolo ibrido quantistico-classico

Uno sguardo ai problemi comuni degli sviluppatori nelle applicazioni ibride quantistiche.

Jake Zappin, Trevor Stalnaker, Oscar Chaparro

2025-05-09T11:49:20+00:00 ― 7 leggere min

Ingegneria del softwarePerché i Jupyter Notebooks si bloccano: intuizioni e soluzioni

Uno sguardo ai crash dei notebook Jupyter e come prevenirli.

Yiran Wang, Willem Meijer, José Antonio Hernández López

2025-05-09T06:45:20+00:00 ― 6 leggere min

Ingegneria del softwareComprendere le vulnerabilità del software e gli strumenti di rilevamento

Una panoramica delle vulnerabilità software e dei modelli usati per rilevarle.

Shahriyar Zaman Ridoy, Md. Shazzad Hossain Shaon, Alfredo Cuzzocrea

2025-05-08T21:28:00+00:00 ― 7 leggere min

Linguaggi di programmazioneRinnovare il comportamento dei robot con un nuovo linguaggio di programmazione

Un modo nuovo per rendere i robot più intelligenti e efficienti.

Oliver Biggar, Iman Shames

2025-05-07T19:42:40+00:00 ― 6 leggere min

Ingegneria del softwareIl Ruolo dei Grandi Modelli Linguistici nello Sviluppo Software

Esplorare come i LLM migliorano la creazione di software mantenendo la fiducia.

Marco Vieira

2025-05-07T13:22:40+00:00 ― 7 leggere min

Ingegneria del softwareEsaminare le capacità emergenti nei grandi modelli di linguaggio

Uno studio sulle performance dei LLM nel campo dell'ingegneria del software.

Conor O'Brien, Daniel Rodriguez-Cardenas, Alejandro Velasco

2025-05-07T10:25:20+00:00 ― 6 leggere min

Ingegneria del softwareAffrontare le vulnerabilità del software con CodeGraphNet

Scopri CodeGraphNet, un nuovo metodo per identificare le vulnerabilità nel software.

Md. Fahim Sultan, Tasmin Karim, Md. Shazzad Hossain Shaon

2025-05-06T20:04:00+00:00 ― 7 leggere min

Crittografia e sicurezzaAffrontare le vulnerabilità nei contratti smart tramite la complessità del codice

Esaminando come la complessità del codice influisce sulla sicurezza nei contratti smart.

Masoud Jamshidiyan Tehrani, Sattar Hashemi

2025-05-06T02:45:20+00:00 ― 5 leggere min

Ingegneria del softwareIl panorama dello sviluppo di giochi indie

Uno sguardo a come gli sviluppatori indie usano la Sperimentazione Continua.

Johan Linåker, Elizabeth Bjarnason, Fabian Fagerholm

2025-05-05T16:37:20+00:00 ― 9 leggere min