Search results for "来間, 啓伸" | NDL Search

Search results 26

Group by title

AIソフトウェアのテスト : 答のない答え合わせ〈4つの手法〉 (AI/Data Science実務選書)

PaperDigital図書

佐藤直人, 小川秀人, 來間啓伸, 明神智之共著リックテレコム2021.5<M121-M387>

National Diet LibraryOther Libraries in Japan

Author Heading佐藤, 直人, pub. 2021 小川, 秀人来間, 啓伸明神, 智之
Authority（Author Heading/altLabel）來間, 啓伸

Event-B : リファインメント・モデリングに基づく形式手法

PaperDigital図書

中島震, 來間啓伸共著近代科学社2015.2<M159-L622>

National Diet LibraryOther Libraries in Japan

Author introduction中島　震（国立情報学研究所教授）來間啓伸（日立製作所）
Author Heading中島, 震, 1955- 来間, 啓伸
Authority（Author Heading/altLabel）來間, 啓伸

ポリシに基づくサービス・コミュニティのための形式モデルの研究

Paper博士論文

來間啓伸 [著][來間啓伸][2006]<UT51-2006-Q912>

National Diet Library

Author Heading來間, 啓伸

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

PaperDigital図書

中島震監修, 来間啓伸著近代科学社2007.12<M159-J54>

National Diet LibraryOther Libraries in Japan

Author Heading中島, 震, 1955- 来間, 啓伸本位田, 真一, 1953-
Authority（Author Heading/altLabel）來間, 啓伸

VDM-SLによる形式仕様記述 = Formal specifications in VDM-SL

Paper図書

田口研治, 来間啓伸著近大科学社2006.3

Other Libraries in Japan

Author Heading田口, 研治来間, 啓伸中島, 震

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

Paper雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

National Diet LibraryOther Libraries in Japan

情報処理 : 情報処理学会誌 : IPSJ magazine

Paper雑誌

情報処理学会1960-<Z14-352>

National Diet LibraryOther Libraries in Japan

情報処理学会研究報告

Paper雑誌

情報処理学会[1985]-2009<Z14-1121>

National Diet LibraryOther Libraries in Japan

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

Paper図書

杉山安洋, 藤田ハミド編近代科学社2001.11<M159-G186>

National Diet LibraryOther Libraries in Japan

Contents...層コミュニケーション・モデル来間啓伸／著モバイルコンピューティングのためのエージェントプラット...

情報処理学会論文誌

Paper雑誌

情報処理学会1979-2008<Z14-741>

National Diet LibraryOther Libraries in Japan

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

Paper図書

情報処理学会ソフトウエア工学研究会 [編]情報処理学会2004.10<M159-H969>

National Diet Library

Reached to the end of result.