講演番号 | 題目/著者 |
---|---|
B-017 | 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法 小野 康一, 河原 亮, 中村 宏明, 石川 浩, |
B-018 | 状態遷移を持つオブジェクト間通信のモデル検査技術 大貫 智洋, 上野 浩一郎, 磯田 誠, |
B-019 | UMLモデルの振舞いのモデル検査における表現方法について 八鍬 豊, 野田 夏子, |
B-020 | UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換 宮本 直樹, 和崎 克己, |
B-021 | Happened-Before関係による非分散マルチタスクプログラムに対する排他制御機構デッドロックの定義 土江 晋哉, 大森 晃, |
B-022 | ソースコード解析を利用したモデル検査に基づく欠陥抽出手法による組込みシステムの検証 青木 善貴, 松浦 佐江子, |
B-023 | Software Reliability Measurement with Effect of Change-Point by Using Environmental Function 井上 真二, 山田 茂, |