Computerwissenschaften - Software-Entwicklung

Amman macht Fortschritte, um eine smarte Stadt durch Technologie und Bürgerbeteiligung zu werden.

Eine neue Methode verbessert die Fehlersuche durch dynamisches Chunking und das Lernen von schwierigen Beispielen.

MathViz-E automatisiert die Mathematikvisualisierung, um Lehrern und Schülern im Unterricht zu helfen.

Ein benutzerfreundliches Tool, das Datenanalyse durch natürliche Sprache ermöglicht.

Generative KI vereinfacht systematische Reviews in der Softwareengineering-Forschung.

Dieser Artikel behandelt Sicherheitsbedenken bei der Trajektorienplanung für automatisierte Fahrzeuge.

Diese Studie stellt eine Methode vor, um das Nachverfolgen von Sicherheitspatches zu verbessern.

Eine Studie, die maschinelles Lernen-Modelle vergleicht, um Schwachstellen in C/C++-Code zu bewerten.

Rusts Rolle bei der Verbesserung der Sicherheit und Zuverlässigkeit von Betriebssystemen erkunden.

Diese Studie untersucht die Motivationen von Entwicklern und Kennzahlen für effektives Code-Refactoring.

Ein neuer Ansatz vereinfacht das Kompilieren von Änderungen in Java-Projekten und verbessert die Sicherheit.

Überprüfung automatisierter Methoden zur Identifizierung von Softwareanfälligkeiten und deren Zuverlässigkeit.

Diese Studie zeigt, wie Sprachmodelle versteckte Bugs in mobilen Apps finden können.

Ap pWorld simuliert echte Aufgaben für KI-Agenten in einer kontrollierten Umgebung.

CSLS konzentriert sich auf den Code-Aufbau, um bessere Schwachstellenerkennung zu ermöglichen.

Erforschen, wie Foundation-Modelle die Entwicklung von digitalen Zwillingen verbessern.

Erforschen, wie Qubernetes Quanten- und klassische Computer verbindet.

TSLGen vereinfacht die Erstellung von SIMD-Bibliotheken für verschiedene Hardware.

Ein neues System, um das Schreiben von Literaturübersichten für Forscher einfacher zu machen.

Neue Richtlinien sollen die Sicherheit von KI-Systemen für Entwickler verbessern.

WebApp1K testet die Programmierfähigkeiten von Sprachmodellen für Webanwendungen.

Diese Studie untersucht, wie Bugs in Netzwerksoftwareprojekten behandelt werden.

Ein neues Framework bewertet die Schwierigkeit von Codierungsaufgaben für grosse Sprachmodelle.

Eine neue Methode sagt Bugs in Software vorher, indem sie vergangene Daten analysiert.

Ein Programm, um Model Checking für zuverlässige Softwareentwicklung zu lehren.

Ein Blick darauf, wie Entwickler technische Schulden in Softwareprojekten wahrnehmen und managen.

Lerne, wie du Beispielgalerien erstellst und verwaltest, um die Nutzerbindung zu verbessern.

Diese Studie kategorisiert Schwachstellen in Mikrodiensten, um Sicherheitsmassnahmen zu verbessern.

Dieser Artikel untersucht, wie Feedback die Praktiken des maschinellen Lernens in Jupyter-Notebooks prägt.

Eine Studie, die LLM-generierten Code mit von Menschen geschriebenen Lösungen auf Leetcode vergleicht.

Laufende Compliance ist super wichtig für moderne Softwareentwicklung und Sicherheit.

C3 verbessert die Klarheit von automatisierten Testeingaben für ein besseres Verständnis des Codes.

In diesem Artikel geht's um 'ne Methode, um PR-Beschreibungen automatisch zu erstellen.

Eine neue Methode beschleunigt das Softwaretesten, indem sie sich auf Webseiten-Segmente konzentriert.

Tipps verbessern die Effizienz und Genauigkeit der Log-Analyse für eine bessere Software-Analyse.

Eine neue Methode zum Testen von Quantenprogrammen verbessert die Zuverlässigkeit und Effizienz.

Ein Blick auf MLOps-Praktiken für eine effektive KI-Integration.

Diese Studie schaut sich an, wie gut ChatGPT dabei hilft, die Sicherheitspraktiken von Software zu verbessern.

Schau dir gängige Probleme an, mit denen Nutzer bei Smart Home Automatisierungen konfrontiert sind.

Dieser Artikel untersucht menschliche Fehler in Software und schlägt Verbesserungen für das Reporting vor.