Jump to main content

yr 〜
yr

Search results 47

アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法

アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法
Digital文書・図像類
張, 漢明, CHANG, Han-Myung南山大学2022-06-13科学研究費助成事業 研究成果報告書p.[1]-[9]
Other Libraries in Japan
  • Author Heading張, 漢明 CHANG, Han-Myung

Zによるシステム仕様記述のための変換技術に関する基礎的研究

Zによるシステム仕様記述のための変換技術に関する基礎的研究
PaperDigital博士論文障害者向け資料あり
張漢明 [著]<UT51-99-P254>
Available onlineNational Diet Library
  • Author Heading張, 漢明

オブジェクト指向最前線 : 情報処理学会OO2003シンポジウム 2003

オブジェクト指向最前線 : 情報処理学会OO2003シンポジウム 2003
Paper図書
野呂昌満, 田村直樹, 張漢明 編近代科学社2003.9<M159-H369>
National Diet LibraryOther Libraries in Japan
  • Author Heading野呂, 昌満, 1958- 田村, 直樹, 1962- 張, 漢明, 1963-

プログラム仕様記述論 (IT text)

プログラム仕様記述論 (IT text)
Paper図書
荒木啓二郎, 張漢明 共著オーム社2002.11<M159-H44>
National Diet LibraryOther Libraries in Japan
  • Author Heading荒木, 啓二郎, 1954- 張, 漢明, 1963- 情報処理学会

Zによるシステム仕様記述のための変換技術に関する基礎的研究

Zによるシステム仕様記述のための変換技術に関する基礎的研究
Digital博士論文
張, 漢明奈良先端科学技術大学院大学1999-03-24
Available onlineOther Libraries in Japan
  • Author Heading張, 漢明

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'99 6 (レクチャーノート/ソフトウェア学 ; 22)
Paper図書
荒木啓二郎, 張漢明 編近代科学社1999.12<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...数 侑昇／著 荻野 隆彦／著 張 漢明／著 小野 康一／ほか著 金指 文明／ほか著 磯部 祥尚／著...
  • Author Heading荒木, 啓二郎, 1954- 張, 漢明, 1963- 武市, 正人, 1948- 米沢, 明憲, ...

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)
Paper図書
沢田篤史, 丸山勝久 編近代科学社2006.11<M159-H1697>
National Diet LibraryOther Libraries in Japan
  • Contents...処理系解析器 権藤 克彦／著 張 漢明／ほか著 上野 乃毅／ほか著 岡崎 博和／ほか著 原田 彬直...

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

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2006
Paper図書
満田成紀, 羽生田栄一 編近代科学社2006.9<M159-H1664>
National Diet LibraryOther Libraries in Japan

ソフトウェアエンジニアリング最前線 2010

ソフトウェアエンジニアリング最前線 2010
Paper図書
松下誠, 紫合治 編近代科学社2010.8<M159-J1078>
National Diet LibraryOther Libraries in Japan

IoTシステムのための品質主導型ソフトウェアアーキテクチャ設計手法の研究

IoTシステムのための品質主導型ソフトウェアアーキテクチャ設計手法の研究
Digital文書・図像類
沢田, 篤史, SAWADA, Atsushi南山大学2023-05-23科学研究費助成事業 研究成果報告書p.[1]-[10]
Other Libraries in Japan
  • Contributor野呂, 昌満 張, 漢明

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

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
Paper図書
近代科学社2012.12<M159-L20>
National Diet LibraryOther Libraries in Japan

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

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

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

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

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

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

アカデミア 数理情報編 : 南山大学紀要

アカデミア 数理情報編 : 南山大学紀要
Paper雑誌雑誌タイトル
南山大学2001-2009<Z74-D316>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

ソフトウェア工学の基礎 17 (レクチャーノート/ソフトウェア学 ; 36)
Paper図書
高田眞吾, 福田浩章 編近代科学社2010.11<M159-J1130>
National Diet LibraryOther Libraries in Japan
  • Contents... 善貴／著 小飼 敬／ほか著 張 漢明／ほか著 角田 雅照／ほか著 福留 康之／著 政井 智雄／ほ...

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

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
Paper図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
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...／ほか著 田中 俊行／ほか著 張 漢明／ほか著 山之上 卓／ほか著 本田 治／ほか著 松本 充広／...

情報処理学会論文誌

情報処理学会論文誌
Paper雑誌雑誌タイトル
情報処理学会1979-2008<Z14-741>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2002 9 (レクチャーノート/ソフトウェア学 ; 28)
Paper図書
井上 克郎 編近代科学社2002.11<M159-H148>
National Diet LibraryOther Libraries in Japan
  • Contents...る形式手法の適用に関する考察 張 漢明／ほか著 表のための属性付きグラフとアルゴリズム 本橋 友江...
RSS