Derniers articles pour Ingénierie logicielle

Des chercheurs ont développé une technique pour aider les malwares à échapper à la détection.

De nouvelles méthodes améliorent l'efficacité de la vérification des logiciels en utilisant des invariants auxiliaires.

Un cadre simplifie les optimisations de peephole pour de meilleures performances dans les applis Java.

Une nouvelle méthode pour garantir la fiabilité et la clarté des regex en JavaScript.

Une nouvelle logique améliore l'étude des interactions des agents dans des systèmes complexes.

Ajustement dynamique des structures de données pour une performance efficace selon les charges de travail changeantes.

Cet article examine comment les grands modèles de langage simulent efficacement des codes logiques.

Une étude met en avant l'impact de la contamination des données sur les évaluations des modèles de code.

Concentre-toi sur l'utilisation de recherches solides pour améliorer les pratiques de développement logiciel.

Un aperçu de l’algorithme Raft pour le consensus dans les systèmes distribués.

Une nouvelle méthode pour confirmer l'intégrité SQL basée sur des règles OCL.

CoderUJB évalue la performance des LLM dans des tâches de programmation Java dans le monde réel.

DeepSample propose des techniques efficaces pour tester les Réseaux de Neurones Profonds de manière efficient et précise.

Apprends comment les LLM peuvent rendre la programmation en C plus sûre et plus efficace.

Une nouvelle méthode améliore les modèles sur appareil pour un appel de fonction IA efficace.

Explorer le rôle de l'IA générative pour améliorer les pratiques de sécurité logicielle.

Un nouveau modèle améliore l'analyse du code WebAssembly grâce à une compréhension de données mixtes.

Une étude révèle comment les modifications de code influencent les métriques de qualité logicielle.

Une nouvelle approche pour améliorer les performances des logiciels grâce à des méthodes de réglage dynamique.

Une nouvelle approche réduit la complexité de la vérification de la validité des structures de données.

MLRefScanner améliore la détection du refactoring de code dans les projets de machine learning en Python.

Un guide pratique pour les chercheurs utilisant des méthodes mixtes en ingénierie logicielle.

Une étude sur le partage, l'entretien et la qualité des artefacts de recherche en logiciel.

Une nouvelle méthode pour évaluer les modèles de langage afin d'améliorer leur fiabilité.

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.