Derniers articles pour Ingénierie logicielle

Impliquer les étudiants dans les tests logiciels avec l'apprentissage en équipe et des projets open source.

LogSD améliore la détection d'anomalies dans les données de log en se concentrant sur les événements rares.

Apprends l'importance de valider les traces de programmes distribués par rapport aux spécifications.

Examiner comment les LLM peuvent aider le processus de sélection dans les revues systématiques.

Explorer le rôle des hyperpropriétés dans la vérification des systèmes logiciels complexes.

Un aperçu des complexités des systèmes de systèmes dans l'ingénierie logicielle moderne.

Explore le rôle des aspects humains dans la modélisation logicielle et ses implications.

Un aperçu de TopKAT et de son rôle dans l'analyse des programmes informatiques.

Une nouvelle approche pour améliorer la détection des clones de code dans les projets logiciels.

Une nouvelle plateforme vise à améliorer les tests de sécurité des véhicules pour les technologies automobiles modernes.

La gamification booste l'engagement et la motivation des étudiants dans les programmes d'ingénierie logicielle.

Cette étude examine l'efficacité de la mémoire dans les grands modèles de langage grâce à la décomposition en rang faible.

Une nouvelle approche pour améliorer la cohérence des graphes grâce à des règles de transformation et des conditions d'application.

WeChat améliore l'efficacité du calcul des métriques grâce à la technologie BSI pour une meilleure prise de décision.

Explore la nature, les types et les utilisations dans le monde réel des problèmes de satisfaction de contraintes.

Un aperçu de la façon dont différents systèmes de surveillance vérifient des comportements complexes.

Apprends comment les concepts de machine learning aident à définir les limites de test pour les logiciels.

Examiner les avancées et les défis dans l'automatisation de l'ingénierie dirigée par les modèles.

De nouvelles méthodes améliorent les résultats des modèles de langue tout en respectant les règles de grammaire.

Ce cadre utilise plusieurs agents et des graphiques de tâches pour résoudre les problèmes de manière efficace.

Explorer comment les appareils peuvent collaborer pour une meilleure efficacité et performance.

Un aperçu des tests métamorphiques et de leur rôle dans la qualité du logiciel.

Cette étude évalue comment GPT-4 aide dans les tâches de rétro-ingénierie.

SinkLoRA améliore l'efficacité des modèles de langage pour gérer les longs textes.

Cette recherche se concentre sur la façon dont la qualité du TDD est mesurée et rapportée.

DLHT propose une solution puissante pour un stockage et une récupération de données efficaces.

Étudier l'impact de l'annotation sociale sur l'engagement et la performance des étudiants en programmation.

Ce papier parle d'un modèle pour des systèmes distribués tolérants aux pannes axé sur la récupération faible.

Une nouvelle approche pour créer des API à partir des spécifications AAS de manière efficace.

Un aperçu de comment ERCL améliore l'efficacité des solveurs SAT.

FeaTestSelPrio améliore l'efficacité des tests dans des systèmes logiciels hautement configurables.

Une étude sur les allocateurs de mémoire et leur impact sur la performance des systèmes embarqués.

Explorer l'importance de la théorisation pour les chercheurs et les éducateurs en ingénierie logicielle.

Cette recherche se concentre sur l'utilisation d'agents basés sur des LLM pour améliorer la maintenance des logiciels.

Une étude révèle des stratégies d'intégration efficaces pour une localization de bogues plus rapide dans les logiciels.

Cet article évalue l'efficacité des grands modèles de langage dans la création d'assertions matérielles.

Un nouveau cadre améliore la fiabilité dans les systèmes de communication asynchrone grâce à la gestion du temps.

Une nouvelle méthode améliore l'efficacité des modèles linguistiques tout en réduisant les coûts et l'impact environnemental.

Examen des modèles d'IA pour une classification efficace des logs logiciels dans les réseaux télécom.

Le DSLM capte la lumière des galaxies lointaines grâce à un design modulaire unique.