講演番号 | 題目/著者 |
---|---|
B-008 | 非機能要件を考慮した制御ロジック部品推薦手法 長田知之, |
B-009 | 形式的仕様記述における制約条件の欠落推定 岡野純平, 織田 健, |
B-010 | ペトリネットに基づくミュータントを用いたネガティブテストケースの作成 高木智彦, |
B-011 | クラウド上でのデバイス・コンフィギュレーション(ADHoCC)に適用するAPIの検討 大橋 正, |
B-012 | Web標準技術によるWeb UIコンポーネントの実現に向けた描画性能の見積による実現可能性の検討 内海宏律, 太齋真吾, 石倉直弥, |
B-013 | 定理証明技術を用いたソースコードの補完手法 小池遼平, 小野康一, 深澤良彰, |
B-014 | 表現法と解釈法の視点に立つ写像としての処理モデル構成法 古宇田フミ子, 相田 仁, |
B-015 | メタ知識の定義に基づく Expert System の一般化フレームワーク 中村正治, |