年 〜
年

検索結果 215 件

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

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 第2版 (トップエスイー入門講座 ; 1)
紙デジタル図書
浅井治 著, 石田晴久 監修近代科学社2019.3<M154-M28>
国立国会図書館全国の図書館
  • 著者標目浅井, 治 石田, 晴久, 1936-2009 本位田, 真一, 1953-

Engineering adaptive software systems

Engineering adaptive software systems
紙図書
Yijun Yu ... [et al.]Springerc2019
全国の図書館
  • 著者標目Yu, Yijun Bandara, Arosha 本位田, 真一

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

アジャイルイントロダクション : Agile開発の光と影 (トップエスイー入門講座 ; 2)
紙デジタル図書
Bertrand Meyer 著, 石川冬樹 監修, 土肥拓生, 前澤悠太, 末永俊一郎 訳近代科学社2018.12<M154-M3>
国立国会図書館全国の図書館
  • 著者標目Meyer, Bertrand, 1950- 石川, 冬樹 土肥, 拓生 前澤, 悠太 末永, 俊一郎 本位田, 真一, 1953-

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

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイー実践講座 ; 6)
紙デジタル図書
東野輝夫 監修, 磯部祥尚 著近代科学社2012.12<M159-L27>
国立国会図書館全国の図書館
  • 著者標目東野, 輝夫, 1956- 磯部, 祥尚 本位田, 真一, 1953-

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

人工知能 改訂2版 (IT Text)
紙デジタル図書
本位田真一 監修, 松本一教, 宮原哲浩, 永井保夫, 市瀬龍太郎 共著オーム社2016.10<M121-L282>
国立国会図書館全国の図書館
  • 著者標目本位田, 真一, 1953- 松本, 一教 宮原, 哲浩, 1960- 永...

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

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

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

UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
紙デジタル図書
大須賀昭彦 監修, 長谷川哲夫, 田原康之, 磯部祥尚 著近代科学社2012.9<M159-J1720>
国立国会図書館全国の図書館
  • 著者標目大須賀, 昭彦, 1958- 長谷川, 哲夫 田原, 康之 本位田, 真一, 1953-

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

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
紙デジタル図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
国立国会図書館全国の図書館
  • 著者標目中島, 震, 1955- 来間, 啓伸 本位田, 真一, 1953-

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

考えるコンテンツ「スマーティブ」 (丸善ライブラリー)
紙デジタル図書
本位田真一, 吉岡信和, 由利伸子 著丸善2006.3<M154-H391>
国立国会図書館全国の図書館
  • 著者標目本位田, 真一, 1953- 吉岡, 信和 由利, 伸子

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

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

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

要求工学概論 : 要求工学の基本概念から応用まで (トップエスイー基礎講座 ; 2)
紙デジタル図書
大西淳 監修, 妻木俊彦, 白銀純子 著近代科学社2009.9<M159-J675>
国立国会図書館全国の図書館
  • 著者標目大西, 淳, 1957- 妻木, 俊彦, 1946- 白銀, 純子 本位田, 真一, 1953-

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

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

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

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 (トップエスイー実践講座 ; 3)
紙デジタル図書
萩谷昌己 監修, 吉岡信和, 青木利晃, 田原康之 著近代科学社2008.9<M159-J302>
国立国会図書館全国の図書館
  • 著者標目萩谷, 昌己, 1957- 吉岡, 信和 青木, 利晃 田原, 康之 本位田, 真一, 1953-

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

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
紙デジタル図書
石川冬樹 著, 荒木啓二郎 監修近代科学社2011.7<M159-J1362>
国立国会図書館全国の図書館
  • 著者標目石川, 冬樹 荒木, 啓二郎, 1954- 本位田, 真一, 1953-

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

ソフトウェア科学基礎 : 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座 ; 1)
紙デジタル図書
田中譲 監修, 磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之 著近代科学社2008.9<M159-J303>
国立国会図書館全国の図書館
  • 著者標目田中, 譲, 1950- 磯部, 祥尚 粂野, 文洋 櫻庭, 健年 本位田, 真一, 1953-

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

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座 ; 1)
紙デジタル図書
浅井治 著, 石田晴久 監修近代科学社2009.5<M159-J559>
国立国会図書館全国の図書館
  • 著者標目浅井, 治 石田, 晴久, 1936-2009 本位田, 真一, 1953-

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)
紙デジタル図書
深澤良彰 監修, 鷲崎弘宜, 丸山勝久, 山本里枝子, 久保淳人 著近代科学社2007.12<M159-J56>
国立国会図書館全国の図書館
  • 著者標目深沢, 良彰, 1953- 鷲崎, 弘宜 丸山, 勝久 山本, 里枝子 本位田, 真一, 1953-

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

オブジェクト指向からエージェント指向へ : ソフトウェアのこれからを知る入門書 増補改訂
紙図書
本位田真一, 大須賀昭彦 著ソフトバンクパブリッシング2001.12<M159-G4296>
国立国会図書館全国の図書館
  • 著者標目本位田, 真一, 1953- 大須賀, 昭彦, 1958-

モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)

モデル検査の教育プログラム構築に向けて (算譜科学研究速報 ; AIST-PS-2008-12)
紙図書
青木利晃, 粂野文洋, 木下佳樹, 篠崎孝一, 高木理, 高村博紀, 田口研治, 中原早生, 西原秀明, 早水公二, 本位田真一, 渡邊宏 [著], 産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所2008.8<Y251-J511>
国立国会図書館

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'94 1 (レクチャーノート/ソフトウェア学 ; 14)
紙図書
本位田真一 編近代科学社1996.1<M159-G186>
国立国会図書館全国の図書館
  • 内容細目...ェア科学会FOSE. '94 本位田 真一/編 川北 誠／ほか著 河口 信夫／ほか著 谷津 弘一／著 ...
  • 著者標目本位田, 真一, 1953-