スポンサーリンク
日本ソフトウェア科学会 | 論文
- 拡張に適したアクティブソフトウェアの設計解析法
- Metrics for Software Evolution with Module Coupling Map and Logical Coupling Map
- 組込みシステムに適したコンポーネント指向開発環境
- システム検証の科学技術 クリーニ代数入門
- 高階ペトリネットによる分散協調型システムの仕様記述とプログラム自動設計
- A Test Method of Page Generators for Dependable Web Application
- LMNtalプロトタイプ処理系の設計と実装
- On Commencing the Publication of Letter Papers in the Special Issue on Software Engineering
- freeDiameter: An Open Source Framework for an Authentication, Authorization, and Accounting Infrastructure
- A Certified Verifier for a Fragment of Separation Logic
- Empirical Evaluation of Similarity-Based Missing Data Imputation for Effort Estimation
- セマンティックＷｅｂと計算機科学 Ｗｅｂオントロジー記述言語ＯＷＬとその記述能力
- ぱらぱらアニメによる体験データの要約・編集支援システム
- エージェント 計算論的メカニズムデザイン
- バグトラッキングシステムを用いたプログラミング技術学習法について
- On Building Programmer-Independent Program Size Measure
- 携帯電話におけるメール閲覧のための内容簡略化手法
- Soarにおける強化学習を用いたルール生成機構と競合解消機構の試作
- Editorial: Special Issue on Internet Technology
- タイトル無し