Jump to main content

yr 〜
yr

Search results 19

項書換えを用いた安全性検証の組織化

項書換えを用いた安全性検証の組織化
Paper博士論文
清野貴博 [著][清野貴博]2003<UT51-2004-B480>
National Diet Library
  • Author Heading清野, 貴博

業務フロー図の検証

業務フロー図の検証
Digital文書・図像類
高木, 理, 清野, 貴博, 竹内, 泉, 和泉, 憲明, 高橋, 孝一2007-09-06p.1-56
Other Libraries in Japan
  • Author Heading高木, 理 清野, 貴博 竹内, 泉 和泉, 憲明 高橋, 孝一

項書換えを用いた安全性検証の組織化

項書換えを用いた安全性検証の組織化
Paper図書
清野貴博[著]清野貴博, 2003.32003
Other Libraries in Japan
  • Author Heading清野, 貴博

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
Paper図書
野呂昌満, 山本晋一郎 編近代科学社2004.11<M159-H961>
National Diet LibraryOther Libraries in Japan
  • Contents...Rees認証プロトコルの検証 清野 貴博／ほか著 マルチバージョン生成によるプログラムの解析防止 山...

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2001 8 (レクチャーノート/ソフトウェア学 ; 26)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2001 8 (レクチャーノート/ソフトウェア学 ; 26)
Paper図書
杉山安洋, 藤田ハミド 編近代科学社2001.11<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...たマルチタスキングのモデル化 清野 貴博／ほか著 並行動作するオブジェクトからの処理列の抽出法 岡崎...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)
Paper図書
井上 克郎 編近代科学社2002.11<M159-H148>
National Diet LibraryOther Libraries in Japan
  • Contents...えを用いた安全性検証の組織化 清野 貴博／ほか著 並行合成エージェントのための真の並行性を考慮した時...

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
Paper図書
荒木啓二郎, 張漢明 編近代科学社1999.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents... 慎也／著 海野 浩／ほか著 清野 貴博／ほか著 広田 豊彦／著 田村 恭久／ほか著 友枝 敦／ほか...

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007
Paper図書
海谷治彦, 山本修一郎 編近代科学社2007.9<M159-H1927>
National Diet LibraryOther Libraries in Japan

Reached to the end of result.

RSS