コンピューターサイエンス - ソフトウェア工学

ソフトウェア工学リトリーバル拡張技術を使ったコード生成の進展

外部ドキュメントを使ってコード生成の精度をアップする新しい方法が登場した。

2025-07-26T08:06:12+00:00 ― 1 分で読む

ソフトウェア工学AAS仕様からのAPI生成の自動化

AAS仕様からAPIを効率的に作る新しいアプローチ。

2025-07-26T07:50:24+00:00 ― 1 分で読む

ソフトウェア工学機械学習研究における再現性の問題を解決する

この記事は、ML研究における再現性を向上させるための障壁と解決策を探ります。

2025-07-26T06:23:30+00:00 ― 1 分で読む

ソフトウェア工学機械学習で型推論を自動化する

この研究は、プログラミング言語の型推論を改善するために機械学習を使うことについて話してるよ。

2025-07-25T23:24:48+00:00 ― 1 分で読む

ソフトウェア工学Stack Overflow 投稿のタイトル生成を改善する

開発者の反応を良くするためのタイトル生成自動化に関する研究。

2025-07-25T22:45:18+00:00 ― 1 分で読む

ソフトウェア工学新しい方法でソフトウェアシステムのテストが改善されたよ。

FeaTestSelPrioは、高度に構成可能なソフトウェアシステムでのテスト効率を向上させるんだよ。

2025-07-25T21:02:36+00:00 ― 1 分で読む

ソフトウェア工学区間解析でソフトウェア検証を強化する

この研究は、区間解析が有界モデルチェックの効果をどう向上させるかを調べてるよ。

2025-07-25T20:54:42+00:00 ― 1 分で読む

ソフトウェア工学GPT-4でプログラミング教育を変革中

新しいコードレビューシステムが学生にプログラミングのフィードバックをもっと良くしてくれるよ。

2025-07-25T14:35:30+00:00 ― 1 分で読む

ソフトウェア工学クロスチェーンブリッジのセキュリティ向上

新しいツールがクロスチェーンスマートコントラクトの脆弱性を特定することを目指してるんだ。

2025-07-25T14:03:54+00:00 ― 1 分で読む

ソフトウェア工学スマートコントラクトの脆弱性を検出すること

新しいフレームワークがスマートコントラクトの状態戻り脆弱性の検出を改善するよ。

2025-07-25T13:32:18+00:00 ― 1 分で読む

ソフトウェア工学INDICT: 安全なコード生成のための新しいフレームワーク

INDICTは、二重批評分析を使ってコードの安全性と有用性を高めるよ。

2025-07-25T10:06:54+00:00 ― 1 分で読む

ソフトウェア工学デブローティング技術を使ってソフトウェアの安全性を向上させる

不要なコードを削除することで、デブローティングがソフトウェアのパフォーマンスとセキュリティをどう改善するかを学ぼう。

2025-07-25T05:06:42+00:00 ― 1 分で読む

機械学習ディープラーニングモデルのバイアスに対処する

Fairprioriは、機械学習における公平性テストを改善し、交差バイアスに焦点を当てている。

2025-07-25T04:35:06+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェアエンジニアリング研究における理論化の役割

ソフトウェア工学の研究者や教育者にとって、理論化の重要性を探る。

2025-07-25T02:05:00+00:00 ― 1 分で読む

ソフトウェア工学LLMベースのエージェントでソフトウェアメンテナンスを改善する

この研究は、LLMベースのエージェントを使ってソフトウェアのメンテナンスをもっと良くすることに焦点を当ててるよ。

2025-07-24T22:00:06+00:00 ― 1 分で読む

ソフトウェア工学Java教育におけるコード香水の紹介

Java学習者のために、良いコーディングプラクティスを祝うコードパフューム。

2025-07-24T18:03:06+00:00 ― 1 分で読む

データベースSimClone：データクローンを検出する新しい方法

SimCloneは、構造的特徴に頼らずに、表形式データセット内のデータクローンを検出する。

2025-07-24T17:07:48+00:00 ― 1 分で読む

ソフトウェア工学デザインの選択によるバグローカリゼーションの強化

研究がソフトウェアのバグローカリゼーションを早くするための効果的な埋め込み戦略を明らかにした。

2025-07-24T10:40:42+00:00 ― 1 分で読む

分散・並列・クラスターコンピューティング機密コンソーシアムフレームワークの検証

セキュアなクラウドアプリのためのCCF確認の重要性を見てみよう。

2025-07-24T08:42:12+00:00 ― 1 分で読む

ソフトウェア工学Android開発におけるAPI互換性の課題への対処

研究によって、Androidのバージョン間でアプリのパフォーマンスに影響を与える隠れたAPIの変更が特定されました。

2025-07-24T08:26:24+00:00 ― 1 分で読む

ソフトウェア工学静的解析とアーキテクチャの匂いの関係

研究が静的解析の警告とアーキテクチャ設計の欠陥の関係を明らかにした。

2025-07-24T07:39:00+00:00 ― 1 分で読む

ソフトウェア工学AIツールがソフトウェア開発に与える影響

AIツールが開発者の仕事を変えて、効率と生産性をアップさせてるよ。

2025-07-24T06:59:30+00:00 ― 1 分で読む

量子物理学Silq検証で量子プログラムの信頼性を確保する

Silqで書かれた量子プログラムの正しさを検証するための自動ツール。

2025-07-24T04:42:30+00:00 ― 1 分で読む

ソフトウェア工学ハードウェア設計におけるアサーション生成のためのLLMの評価

この記事は、大規模言語モデルがハードウェアアサーションを作成する効果について評価してるよ。

2025-07-24T01:27:42+00:00 ― 1 分で読む

計算と言語APIGen: 関数呼び出しデータセット用ツール

APIGenは、関数呼び出しエージェントのために多様で高品質なデータセットを生成するよ。

2025-07-24T00:24:30+00:00 ― 1 分で読む

ソフトウェア工学デザインの匂いと役割のステレオタイプの関係

デザインの匂いがソフトウェア開発やメンテナンスの役割にどう影響するかを探る。

2025-07-23T10:11:18+00:00 ― 1 分で読む

ソフトウェア工学時系列データの複雑性分析を簡素化する

新しいソフトウェアが時系列データの複雑さの測定を分析するのを簡単にしてくれる。

2025-07-23T09:12:51+00:00 ― 1 分で読む

ソフトウェア工学農家の声：フィードバックとテクノロジーをつなぐ

新しいアプリが農家が作業中に簡単にフィードバックを共有できるようにサポートしてるよ。

2025-07-23T09:08:06+00:00 ― 1 分で読む

ソフトウェア工学Stack Overflowの質問の見直し: 研究

この記事では、ユーザーがStack Overflowでアーキテクチャに関する質問をどのように改善しているかを探ります。

2025-07-23T06:38:00+00:00 ― 1 分で読む

ソフトウェア工学持続可能な未来のためのコンピュータ教育の再考

コンピュータ教育にサステナビリティを取り入れるのは、未来のエンジニアにとって必須だよ。

2025-07-23T06:30:06+00:00 ― 1 分で読む

暗号とセキュリティサプライチェーンの脅威に対するJavaアプリケーションセキュリティの強化

Javaアプリケーションへの攻撃を防ぐためのクラス許可リストを使ったシステム。

2025-07-23T02:33:06+00:00 ― 1 分で読む

ソフトウェア工学ユニットテスト生成のための大規模言語モデルの評価

この研究は、LLMを使ってユニットテストを作る効果を評価してるよ。

2025-07-23T01:37:48+00:00 ― 1 分で読む

ソフトウェア工学AuthAttLyzer-V2でコード著作権の帰属を進化させる

新しいツールがコード分析を通じてソフトウェア作者の特定を改善する。

2025-07-22T19:50:12+00:00 ― 1 分で読む

ソフトウェア工学設定可能なシステムの効率的なテスト

構成可能なシステムのテストを改善するために、重要な機能を優先する新しいアプローチ。

2025-07-22T18:39:06+00:00 ― 1 分で読む

ソフトウェア工学継続的インテグレーションに機械学習を組み込む

機械学習が継続的インテグレーションプロセスを改善する役割についてのレビュー。

2025-07-22T18:15:24+00:00 ― 1 分で読む

システムと制御再生可能エネルギーにおけるマイクログリッドシミュレーションの役割

マイクログリッドのシミュレーションは、再生可能エネルギーの統合とシステムパフォーマンスの最適化を助けるよ。

2025-07-22T17:27:00+00:00 ― 1 分で読む

ソフトウェア工学デジタルツインのための機械学習の効率化

新しいフレームワークがデジタルツインのための機械学習パイプラインの作成を簡単にしてくれる。

2025-07-22T16:40:36+00:00 ― 1 分で読む

機械学習ModelVerification.jl: 安全なディープラーニングモデルの確認

ディープラーニングモデルの安全性を確認するためのツール。

2025-07-22T08:15:00+00:00 ― 1 分で読む

ソフトウェア工学LASSI: 並列コード翻訳のための新しいツール

LASSIは効率的な科学計算のためにコンピュータプログラムを翻訳するのを手伝うよ。

2025-07-22T08:07:06+00:00 ― 1 分で読む

ソフトウェア工学ソフトウェア開発におけるパッケージマネージャーの役割

パッケージマネージャーの課題とそれが開発者に与える影響の概要。

2025-07-22T06:24:24+00:00 ― 1 分で読む