EiC電子情報通信学会
  • IEICE Digital Library
  • Home
  • お知らせ
    • 電子情報通信学会HP
    • お問い合わせ先一覧
    • お知らせ
    • その他
    • プライバシーポリシー
    • 特定商取引法に基づく表記

大会選択

総合大会
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
ソサイエティ大会
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
情報科学技術フォーラム(FIT)
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002

Search of article List

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

井上 真二,  山田 茂,  

Copyright © IEICE. All rights reserved.