Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [Japanese] / [English]
KBSE2016-31
SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ～ 複数インスタンスのシミュレーション ～
○小形真平・岡野浩三・香山瑞恵（信州大）
pp. 1 - 6
KBSE2016-32
UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果
○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大）
pp. 7 - 12
KBSE2016-33
［招待講演］国際ベンチマークデータによるソフトウェア生産性の国別比較
○古山恒夫（東海大）
pp. 13 - 18
KBSE2016-34
フィーチャモデルに対するGSN作成法の提案
○宇都宮浩之・山本修一郎（名大）
pp. 19 - 24
KBSE2016-35
コンポーネントベース開発に対するO-DAによる形式的妥当性確認手法
○山本椋太・山本修一郎（名大）
pp. 25 - 30
KBSE2016-36
O-DAにおける高保証アーキテクチャ開発手法の現状と課題
○山本修一郎（名大）
pp. 31 - 36
KBSE2016-37
顧客行動とサービス機能のモデリングを用いた自動照会システムの学習データ作成手法
○竹内広宜・秋原史記（日本IBM）
pp. 37 - 42
KBSE2016-38
光トポグラフィー検査におけるSpike-like noiseの除去
○関口雄也・星野 聖（筑波大）・冨田元將・小谷 創（クレッセント）
pp. 43 - 48
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．