Jump to main content

yr 〜
yr

Search results 215

Engineering adaptive software systems

Engineering adaptive software systems
Paper図書
Yijun Yu ... [et al.]Springerc2019
Other Libraries in Japan

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 第2版 (トップエスイー入門講座 ; 1)

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 第2版 (トップエスイー入門講座 ; 1)
PaperDigital図書
浅井治 著, 石田晴久 監修近代科学社2019.3<M154-M28>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 シリーズ監修

アジャイルイントロダクション : Agile開発の光と影 (トップエスイー入門講座 ; 2)

アジャイルイントロダクション : Agile開発の光と影 (トップエスイー入門講座 ; 2)
PaperDigital図書
Bertrand Meyer 著, 石川冬樹 監修, 土肥拓生, 前澤悠太, 末永俊一郎 訳近代科学社2018.12<M154-M3>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 シリーズ監修

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境
Paper図書
研究代表者 本位田真一[国立情報学研究所]2007.4
Other Libraries in Japan

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

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
PaperDigital図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 シリーズ監修

XACプロジェクト : オープン無線センサーネットワークミドルウェア研究開発プロジェクト (GRACE technical reports ; 2009-2)

XACプロジェクト : オープン無線センサーネットワークミドルウェア研究開発プロジェクト (GRACE technical reports ; 2009-2)
Paper図書
鄭顕志, 末永俊一郎, 中村善行, 清雄一, 吉岡信和, 深澤良彰, 本位田真一 [著]Center for Global Research in Advanced Software Science and Engineering National Institute of Informatics2009.5<Y251-J855>
National Diet Library

人工知能 改訂2版 (IT Text)

人工知能 改訂2版 (IT Text)
PaperDigital図書
本位田真一 監修, 松本一教, 宮原哲浩, 永井保夫, 市瀬龍太郎 共著オーム社2016.10<M121-L282>
National Diet LibraryOther Libraries in Japan

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

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
PaperDigital図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 シリーズ監修

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)
PaperDigital図書
本位田真一, 吉岡信和, 由利伸子 著丸善2006.3<M154-H391>
National Diet LibraryOther Libraries in Japan

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
PaperDigital図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 監修

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境

不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境
Paper図書
本位田真一, 国立情報学研究所 [著][本位田真一]2003-2006<Y151-H15200003>
National Diet Library

知識工学手法によるソフトウェア・プロトタイピングに関する研究

知識工学手法によるソフトウェア・プロトタイピングに関する研究
Paper博士論文
本位田真一 [著]<UT51-61-N152>
National Diet Library

要求工学概論 : 要求工学の基本概念から応用まで (トップエスイー基礎講座 ; 2)

要求工学概論 : 要求工学の基本概念から応用まで (トップエスイー基礎講座 ; 2)
PaperDigital図書
大西淳 監修, 妻木俊彦, 白銀純子 著近代科学社2009.9<M159-J675>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 監修

オブジェクト指向からエージェント指向へ 増補改訂

オブジェクト指向からエージェント指向へ 増補改訂
Paper図書
本位田真一, 大須賀昭彦著ソフトバンクパブリッシング2001.12
Other Libraries in Japan

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
PaperDigital図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
National Diet LibraryOther Libraries in Japan
  • Author/Editor (Series Title)本位田真一 監修

コンポーネントベース開発テキスト = Component-based software development textbook

コンポーネントベース開発テキスト = Component-based software development textbook
Paper図書
鷲崎弘宜, 丸山勝久, 山本里枝子著近代科学社2006.3
Other Libraries in Japan
  • Note (General)監修: 本位田真一

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'94 1 (レクチャーノート/ソフトウェア学 ; 14)
Paper図書
本位田真一 編近代科学社1996.1<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Contents...ウェア科学会FOSE '94 本位田真一 編 日本ソフトウェア科学会ＦＯＳＥ　’９４ 仕様に基づく部...

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

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

オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書 増補改訂

オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書 増補改訂
Paper図書
本位田真一, 大須賀昭彦 著ソフトバンクパブリッシング2001.12<M159-G4296>
National Diet LibraryOther Libraries in Japan

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
PaperDigital図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
National Diet LibraryOther Libraries in Japan
  • Note (General)シリーズの監修者: 本位田真一
RSS