Jump to main content

yr 〜
yr

Search results 113

モデルと制約に基づくソフトウェア開発に関する研究

モデルと制約に基づくソフトウェア開発に関する研究
Digital文書・図像類
岡野, 浩三2019
Other Libraries in Japan
  • Note (General)...16K00094 研究代表者：岡野　浩三 研究者番号：70252632......16K00094　研究代表者：岡野　浩三
  • Author Heading岡野, 浩三

アサーションベース設計

アサーションベース設計
Paper図書
Harry D.Foster, Adam C.Krolnik, David J.Lacey 著, 東野輝夫, 岡野浩三, 中田明夫 監訳丸善2004.9<ND386-H98>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFoster, Harry, 1956- Krolnik, Adam Lacey, David 東野, 輝夫, 1956- 岡野, 浩三 中田, 明夫

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

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan
  • Author introduction岡野 浩三：大阪大学大学院情報科学研究科　准教授 関澤 俊弦:大阪学院...
  • Author Heading岡野, 浩三 関澤, 俊弦 武市, 正人, 1948- 米沢, 明憲, ...

順序機械型プログラムの階層的設計と分散実行プログラム群への変換

順序機械型プログラムの階層的設計と分散実行プログラム群への変換
PaperDigital博士論文障害者向け資料あり
岡野浩三 [著]<UT51-95-G499>
National Diet Library
  • Author Heading岡野, 浩三

システム技術に基づく安全設計ガイド : 国際安全規格の現状と今後

システム技術に基づく安全設計ガイド : 国際安全規格の現状と今後
Paper図書
組込みシステム技術協会安全性向上委員会 編, 兼本茂 , 余宮尚志, 入月康晴, 長久保隆一, 三原幸博, 岡本圭史, 岡野浩三 著電波新聞社2019.11<M154-M115>
National Diet LibraryOther Libraries in Japan

クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法

クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法
Digital図書
武藤, 祐子, 岡野, 浩三, 楠本, 真二近代科学社2010-08p.107-112
Available onlineOther Libraries in Japan
  • Author Heading武藤, 祐子 岡野, 浩三 楠本, 真二

フォーマルアプローチの基本技術習得のための学習支援システムの試作

フォーマルアプローチの基本技術習得のための学習支援システムの試作
Digital図書
宮澤, 清介, 岡野, 浩三, 楠本, 真二近代科学社2009-09p.69-74
Available onlineOther Libraries in Japan
  • Author Heading宮澤, 清介 岡野, 浩三 楠本, 真二

都市創造性プラットフォームとしてのアートギャラリー : 大阪空堀・楓ギャラリーをめぐる文化ネットワークの形成

都市創造性プラットフォームとしてのアートギャラリー : 大阪空堀・楓ギャラリーをめぐる文化ネットワークの形成
Paper図書
岡野浩, 三島啓子編大阪市立大学都市研究プラザ2012.5
Other Libraries in Japan

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

ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2009
Paper図書
鵜林尚靖, 岸知二 編近代科学社2009.9<M159-J655>
National Diet LibraryOther Libraries in Japan

組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)

組込みシステムシンポジウム2008論文集 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; vol.2008 no.9)
Paper図書
情報処理学会2008.10<M154-J91>
National Diet Library

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2008 15 (レクチャーノート/ソフトウェア学 ; 34)
Paper図書
松下誠, 川口真司 編近代科学社2008.11<M159-J340>
National Diet LibraryOther Libraries in Japan

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2006 13 (レクチャーノート/ソフトウェア学 ; 32)
Paper図書
沢田篤史, 丸山勝久 編近代科学社2006.11<M159-H1697>
National Diet LibraryOther Libraries in Japan

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

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

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

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

オープンソースソフトウェアのリスクや健全性診断のためのエコシステム分析法の開発

オープンソースソフトウェアのリスクや健全性診断のためのエコシステム分析法の開発
Digital文書・図像類
井上, 克郎, INOUE, Katsurou南山大学2023-06-12科学研究費助成事業 研究成果報告書p.[1]-[46]
Other Libraries in Japan
  • Contributor吉田, 則裕 眞鍋, 雄貴 松下, 誠 石尾, 隆 岡野, 浩三 KULA, Raula Gaikovina 崔, 恩瀞 神...

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

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

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

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

信頼性 : 日本信頼性学会誌

信頼性 : 日本信頼性学会誌
Paper雑誌雑誌タイトル
日本信頼性学会1979-<Z14-2023>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

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

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