2012年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-027要求分析モデルを用いたエンティティ間の関連と属性に対するデータライフサイクル検証手法の提案

奥田　博隆,  小形　真平,  青木　善貫,  松浦　佐江子,  

B-028UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング

小林　一平,  和崎　克己,  

B-029WeBアプリケーション設計のUML アクティビティ図に対するセマフォア導入とモデル検査

小林　巧,  山田　豊,  和崎　克己,  

B-030待ち行列理論による抽象化を用いたモデル検査手法の検討

大林　浩気,  長野　岳彦,  茂岡　知彦,  

B-031ミューテーション解析における等価ミュータント検出機能の実装

上芝　貴也,  末広　暁久,  芳賀　博英,  

B-032システム開発における性能評価手法

吉村　礼子,  魚住　光成,  樋口　毅,