yr 〜
yr

Search results 101

高信頼性Webアプリケーション構築のための振舞い検証モデル

高信頼性Webアプリケーション構築のための振舞い検証モデル
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2004-2006<Y151-H16500027>
National Diet Library
  • Author Heading結縁, 祥治 名古屋大学

インフォマティクス１

インフォマティクス１
Digital文書・図像類
酒井, 正彦, 結縁, 祥治, 枝廣, 正人, 石川, 佳治, 本田, 晋也, 高田, 広章, 村瀬, 勉名古屋大学オープンコースウェア委員会2020-04-27
Available onlineOther Libraries in Japan
  • Author Heading酒井, 正彦 結縁, 祥治 枝廣, 正人 石川, 佳治 本田, 晋也 高田, 広章 村...

構造的動作意味定義に基づく実時間並行ソフトウェアの構築

構造的動作意味定義に基づく実時間並行ソフトウェアの構築
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2001-2003<Y151-H13680408>
National Diet Library
  • Author Heading結縁, 祥治 名古屋大学

並行分散計算特論

並行分散計算特論
Digital文書・図像類
結縁, 祥治名古屋大学オープンコースウェア委員会2013-01-15
Available onlineOther Libraries in Japan
  • Author Heading結縁, 祥治

Testing semantics and proof techniques for extended communicating process models

Testing semantics and proof techniques for extended communicating process models
PaperDigital博士論文障害者向け資料あり
結縁祥治 [著]<UT51-97-N481>
Available onlineNational Diet Library
  • Author Heading結縁, 祥治

高信頼性Webアプリケーション構築のための振舞い検証モデル

高信頼性Webアプリケーション構築のための振舞い検証モデル
Paper図書
結縁祥治 [著][出版者不明]2007.3
Other Libraries in Japan
  • Author Heading結縁, 祥治

構造的動作意味定義に基づく実時間並行ソフトウェアの構築

構造的動作意味定義に基づく実時間並行ソフトウェアの構築
Paper図書
結縁祥治[著][出版者不明]2004.3
Other Libraries in Japan
  • Author Heading結縁, 祥治

Testing Semantics and Proof Techniques for Extended Communicating Process Models

Testing Semantics and Proof Techniques for Extended Communicating Process Models
Digital博士論文
Yuen, Shoji, 結縁, 祥治1997-03-12
Available onlineOther Libraries in Japan
  • Author HeadingYuen, Shoji 結縁, 祥治

Testing semantics and proof techniques for extended communicating process models

Testing semantics and proof techniques for extended communicating process models
Paper図書
Shoji Yuen[s.n.][1997]
Other Libraries in Japan
  • Author Heading結縁, 祥治

組込みシステムシンポジウム2011論文集 (情報処理学会シンポジウムシリーズ ; vol. 2011 no. 4)

組込みシステムシンポジウム2011論文集 (情報処理学会シンポジウムシリーズ ; vol. 2011 no. 4)
Recording Media電子資料
情報処理学会2011.10<YH231-J12886>
National Diet Library

ディペンダブルシステムワークショップ : 論文集 第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)

ディペンダブルシステムワークショップ : 論文集 第7回 (日本ソフトウェア科学会研究会資料シリーズ ; no.61)
Paper図書
[日本ソフトウェア科学会ディペンダブルシステム研究会][2009]<M159-J626>
National Diet Library

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
Paper図書
野呂昌満, 山本晋一郎 編近代科学社2004.11<M159-H961>
National Diet LibraryOther Libraries in Japan
  • Contents...に基づくソフトウェアモデル化 結縁 祥治／著 新世代ソフトウェア開発環境とソフトウェア工学 満田 成...

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)

ディペンダブルシステムワークショップ : 論文集 第6回 (算譜科学研究速報 ; AIST-PS-2008-16)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2008.12<M159-J554>
National Diet Library

組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)

組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
Paper図書
情報処理学会ソフトウエア工学研究会 [編]情報処理学会2004.10<M159-H969>
National Diet Library

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2005 12 (レクチャーノート/ソフトウェア学 ; 31)
Paper図書
権藤克彦, 小林隆志 編近代科学社2005.11<M159-H1341>
National Diet LibraryOther Libraries in Japan

システム・制御・情報 : システム制御情報学会誌

システム・制御・情報 : システム制御情報学会誌
Paper雑誌
システム制御情報学会1989-<Z14-195>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

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

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

情報処理学会論文誌 SIG

情報処理学会論文誌 SIG
Paper雑誌
情報処理学会1998-2008<Z74-C192>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •