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

講演番号 題目/著者
B-017時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法

小野 康一,  河原 亮,  中村 宏明,  石川 浩,  

B-018状態遷移を持つオブジェクト間通信のモデル検査技術

大貫 智洋,  上野 浩一郎,  磯田 誠,  

B-019UMLモデルの振舞いのモデル検査における表現方法について

八鍬 豊,  野田 夏子,  

B-020UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換

宮本 直樹,  和崎 克己,  

B-021Happened-Before関係による非分散マルチタスクプログラムに対する排他制御機構デッドロックの定義

土江 晋哉,  大森 晃,  

B-022ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証

青木 善貴,  松浦 佐江子,  

B-023Software Reliability Measurement with Effect of Change-Point by Using Environmental Function

井上 真二,  山田 茂,