Jump to main content

yr 〜
yr

Search results 32

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan
  • Author introduction東野 輝夫（監修）：大阪大学大学院情報科学研究科 教授 磯部 祥尚：産業技術総合研究所　セキュアシステム研究部門　高信頼性ソフ...
  • Author Heading東野, 輝夫, 1956- 磯部, 祥尚 本位田, 真一, 1953-

プロセス代数による並行システムの検証と合成に関する研究

プロセス代数による並行システムの検証と合成に関する研究
Paper博士論文
磯部祥尚 [著][磯部祥尚]2001<UT51-2001-R614>
National Diet Library
  • Author Heading磯部, 祥尚

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)
PaperDigital図書
田中譲 監修, 磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之 著近代科学社2008.9<M159-J303>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 譲, 1950- 磯部, 祥尚 粂野, 文洋 櫻庭, 健年 本位田, 真一, 1953-

プロセス代数による並行システムの検証と合成に関する研究

プロセス代数による並行システムの検証と合成に関する研究
Digital博士論文
磯部, 祥尚静岡大学2001-09-21
Available onlineOther Libraries in Japan
  • Author Heading磯部, 祥尚

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
PaperDigital図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
National Diet LibraryOther Libraries in Japan
  • Author introduction大須賀 昭彦：電気通信大学　教授 長谷川 哲夫：東芝 田原 康之：電気通信大学　准教授 磯部 祥尚：産業技術研究所　主任研究員

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

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

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

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

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
Paper図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
National Diet LibraryOther Libraries in Japan
  • Contents...プロセス解析支援ツールの試作 磯部 祥尚／著 小野 康一／ほか著 岩間 太／著 青木 善貴／著 小飼...

電子技術総合研究所調査報告

電子技術総合研究所調査報告
PaperDigital雑誌雑誌タイトル
電子技術総合研究所 編電子技術総合研究所1970-<Z16-186>
Available onlineNational 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...付プロセス代数とプロセス論理 磯部 祥尚／著 IOA-ToolkitによるNepiネットワークプログ...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'98 5 (レクチャーノート/ソフトウェア学 ; 20)
Paper図書
伊藤潔, 大西淳 編近代科学社1998.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...渡部 卓雄／著 中島 震／著 磯部 祥尚／ほか著 沢村 一／著 石井 基樹／ほか著 荒木 円博／著 ...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'94 1 (レクチャーノート/ソフトウェア学 ; 14)
Paper図書
本位田真一 編近代科学社1996.1<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...弘一／著 粂野 文洋／ほか著 磯部 祥尚／ほか著 大久保 弘崇／ほか著 小野 康一／ほか著 元木 誠...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2000 7 (レクチャーノート/ソフトウェア学 ; 25)
Paper図書
古川善吾, 廣田豊彦 編近代科学社2001.1<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...／ほか著 由良 俊介／ほか著 磯部 祥尚／著 藤田 憲悦／著 中山 竜二／ほか著 上村 学／ほか著 ...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'95 2 (レクチャーノート/ソフトウェア学 ; 15)
Paper図書
大蒔和仁 編近代科学社1996.1<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents... 伊藤 恵／著 山根 智／著 磯部 祥尚／ほか著 河野 勝利／ほか著 浦岡 徹／ほか著 上野 晴樹／...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'97 4 (レクチャーノート/ソフトウェア学 ; 19)
Paper図書
深澤良彰, 青山幹雄 編近代科学社1997.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...様の段階的合成/ １２ー１９ 磯部　祥尚||中田　秀基||佐藤　豊||大蒔　和仁 π計算に対する証明...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
Paper図書
荒木啓二郎, 張漢明 編近代科学社1999.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...／ほか著 金指 文明／ほか著 磯部 祥尚／著 小川 昭利／ほか著 岸 知二／著 鷲崎 弘宜／ほか著 ...

Reached to the end of result.

RSS