Jump to main content

yr 〜
yr

Search results 31

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

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

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

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

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

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

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

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

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

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

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

実践的ソフトウェア工学 : 実践現場から学ぶソフトウェア開発の勘所 (トップエスイー入門講座 ; 1)
PaperDigital図書
浅井治 著, 石田晴久 監修近代科学社2009.5<M159-J559>
National Diet LibraryOther Libraries in Japan
  • Author Heading浅井, 治 石田, 晴久, 1936-2009 本位田, 真一, 1953-

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ソフトウェアパターン : パターン指向の実践ソフトウェア開発 (トップエスイー実践講座 ; 2)
PaperDigital図書
深澤良彰 監修, 鷲崎弘宜, 丸山勝久, 山本里枝子, 久保淳人 著近代科学社2007.12<M159-J56>
National Diet LibraryOther Libraries in Japan
  • Author Heading深沢, 良彰, 1953- 鷲崎, 弘宜 丸山, 勝久 山本, 里枝子 本位田, 真一, 1953-

An alignment algorithm between concept hierarchies / Ichise Ryutaro, Takeda Hideaki, and Honiden Shinichi. (NII technical report)

An alignment algorithm between concept hierarchies / Ichise Ryutaro, Takeda Hideaki, and Honiden Shinichi. (NII technical report)
Paper図書
National Institute of Informatics2001.<MA211-A206>
National Diet Library
  • Author HeadingItise, Ryūtarō. [市瀬龍太郎] 武田, 英明, 1963- 本位田, 真一, 1953-

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

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

人工知能 (IT text)

人工知能 (IT text)
Paper図書
本位田真一 監修, 松本一教, 宮原哲浩, 永井保夫 共著オーム社2005.7<M121-H160>
National Diet LibraryOther Libraries in Japan
  • Author Heading本位田, 真一, 1953- 松本, 一教 宮原, 哲浩, 1960- 永井, 保夫, ...

UMLによるビジネスモデリング

UMLによるビジネスモデリング
Paper図書
Hans-Erik Eriksson, Magnus Penker 著, 鞍田友美, 本位田真一 監訳, 東秀明 [ほか]訳ソフトバンクパブリッシング2002.5<M159-G4593>
National Diet LibraryOther Libraries in Japan
  • Author HeadingEriksson, Hans-Erik, 1961- Penker, Magnus, 1968- 鞍田, 友美 本位田, 真一, 1953- 東, 秀明

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

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE'94 1 (レクチャーノート/ソフトウェア学 ; 14)
Paper図書
本位田真一 編近代科学社1996.1<M159-G186>
National Diet LibraryOther Libraries in Japan
  • Author Heading本位田, 真一, 1953-

オブジェクト指向における再利用のためのデザインパターン 改訂版

オブジェクト指向における再利用のためのデザインパターン 改訂版
Paper図書
Erich Gamma [ほか]著, 本位田真一, 吉田和樹 監訳ソフトバンクパブリッシング1999.11<YU1-5747>
National Diet LibraryOther Libraries in Japan
  • Author HeadingGamma, Erich 本位田, 真一, 1953- 吉田, 和樹, 1964-
RSS