Ce papier parle d'améliorer le comportement des logiciels grâce aux exigences de vivacité.
― 6 min lire
Informatique - Génie logiciel
RSSEV2Gym aide les chercheurs à développer des solutions de charge intelligente avancées pour les véhicules électriques.
― 11 min lire
Explorer le rôle de l'IA générative pour améliorer les pratiques de sécurité logicielle.
― 8 min lire
Un nouveau modèle améliore l'analyse du code WebAssembly grâce à une compréhension de données mixtes.
― 10 min lire
Découvrez WebSPL, une méthode structurée pour créer des applications web de manière efficace.
― 15 min lire
Explorer comment les AI-Tutors améliorent l'apprentissage de la programmation pour les étudiants.
― 11 min lire
Le dataset ROBUST aide les chercheurs à résoudre des problèmes de logiciels en robotique.
― 7 min lire
Une proposition pour une architecture de référence en ingénierie des connaissances pour améliorer l'efficacité des systèmes.
― 12 min lire
Apprends comment STPA et LTL rendent les systèmes plus sûrs.
― 8 min lire
Une étude révèle comment les modifications de code influencent les métriques de qualité logicielle.
― 12 min lire
Une nouvelle approche pour améliorer les performances des logiciels grâce à des méthodes de réglage dynamique.
― 6 min lire
Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.
― 10 min lire
Une nouvelle méthode pour accélérer la réparation des modèles Stateflow et réduire les coûts.
― 8 min lire
Une nouvelle méthode, DepGraph, améliore la précision de la détection des bugs logiciels.
― 8 min lire
Une analyse de comment les développeurs mettent en œuvre des solutions architecturales dans des projets open-source.
― 8 min lire
Un aperçu détaillé de deux outils de montage pour le développement logiciel.
― 7 min lire
L'industrie automobile adopte des solutions définies par logiciel pour améliorer les fonctions des véhicules.
― 10 min lire
Une nouvelle méthode utilise des LLM pour automatiser la correction de bugs et l'ajout de fonctionnalités.
― 21 min lire
Cet article examine comment les exigences sont recueillies dans les projets de logiciels gouvernementaux.
― 7 min lire
MLRefScanner améliore la détection du refactoring de code dans les projets de machine learning en Python.
― 8 min lire
Cet article examine comment les développeurs perçoivent le financement gouvernemental dans des projets OSS comme scikit-learn.
― 7 min lire
Une étude sur la clarté et l'acceptation des arbres d'attaque-défense chez les utilisateurs.
― 9 min lire
Cette étude évalue à quel point ChatGPT est efficace pour créer des diagrammes de séquence UML à partir de exigences en langage naturel.
― 9 min lire
Un guide pratique pour les chercheurs utilisant des méthodes mixtes en ingénierie logicielle.
― 13 min lire
Un aperçu de comment les LLM résument le code et des facteurs qui affectent leur performance.
― 9 min lire
Se concentrer sur la diversité peut améliorer les logiciels pour tous les utilisateurs.
― 8 min lire
Une étude sur le partage, l'entretien et la qualité des artefacts de recherche en logiciel.
― 6 min lire
L'ingénierie logicielle quantique évolue pour répondre aux besoins de l'informatique quantique avancée.
― 9 min lire
Améliorer les modèles de génération de code pour gérer efficacement les petits changements d'entrée.
― 8 min lire
Un outil pour identifier les vulnérabilités dans le code Python généré par l'IA est maintenant dispo.
― 10 min lire
Une nouvelle méthode utilise des LLM pour améliorer l'efficacité de la réparation de programmes.
― 7 min lire
Cette recherche examine l'utilisation du flux d'infos pour repérer d'éventuels conflits de code.
― 8 min lire
Un outil simplifie l'évolution du schéma de la base de données tout en garantissant l'intégrité.
― 8 min lire
Une étude sur ce qui motive les développeurs dans les projets open-source.
― 10 min lire
Cette étude évalue les grands modèles de langage pour générer des entrées de texte dans les applications mobiles.
― 8 min lire
Apprends des pratiques efficaces pour estimer les efforts de manière précise dans le développement logiciel Agile.
― 7 min lire
Service Weaver simplifie la création d'applications cloud-native en réduisant la complexité.
― 8 min lire
Un système pour simplifier l'utilisation d'OWL dans la programmation orientée objet.
― 8 min lire
Les gamins apprennent le test de logiciels grâce à un jeu super fun avec des bestioles.
― 9 min lire
Cette étude examine les mutants équivalents et leur impact sur les tests logiciels.
― 6 min lire