yr 〜
yr

Search results 17

AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論

AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
Paper図書
中島震 著丸善出版2022.12<DH211-M907>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955-

優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために

優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために
Paper図書
Daniel Jackson 著, 中島震 訳丸善出版2023.6<M154-M569>
National Diet LibraryOther Libraries in Japan
  • Author HeadingJackson, Daniel, 1963- 中島, 震, 1955-

ソフトウェア工学から学ぶ機械学習の品質問題

ソフトウェア工学から学ぶ機械学習の品質問題
Paper図書
中島震 著丸善出版2020.11<M121-M304>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955-

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan
  • Author HeadingAït-Ameur, Yamine 中島, 震, 1955- Méry, Dominique

ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)

ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
Paper図書
中谷多哉子, 中島震 編著放送大学教育振興会2019.3<M154-M73>
National Diet LibraryOther Libraries in Japan
  • Author Heading中谷, 多哉子 中島, 震, 1955-

デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて

デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて
PaperDigital図書
高梨千賀子, 福本勲, 中島震 編著近代科学社2019.4<DL311-M1>
National Diet LibraryOther Libraries in Japan
  • Author Heading高梨, 千賀子 福本, 勲 中島, 震, 1955-

Cyber-physical system design from an architecture analysis viewpoint : communications of NII Shonan Meetings

Cyber-physical system design from an architecture analysis viewpoint : communications of NII Shonan Meetings
Paper図書
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, editors.Springer[2017]<M154-B221>
National Diet Library
  • Author Heading中島, 震, 1955- 豊島, 真澄

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

Event-B : リファインメント・モデリングに基づく形式手法
PaperDigital図書
中島震, 來間啓伸 共著近代科学社2015.2<M159-L622>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955- 来間, 啓伸

形式手法入門 : ロジックによるソフトウェア設計

形式手法入門 : ロジックによるソフトウェア設計
Paper図書
中島震 著オーム社2012.4<M159-J1592>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955-

SPINモデル検査 : 検証モデリング技法

SPINモデル検査 : 検証モデリング技法
PaperDigital図書
中島震 著近代科学社2008.4<M159-J150>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955-

ソフト・エッジ : ソフトウェア開発の科学を求めて (丸善ライブラリー ; 383. 情報研シリーズ ; 17)

ソフト・エッジ : ソフトウェア開発の科学を求めて (丸善ライブラリー ; 383. 情報研シリーズ ; 17)
Paper図書児童書
情報・システム研究機構国立情報学研究所 監修, 中島震, みわよしこ 著丸善出版2013.3<M159-L108>
National Diet LibraryOther Libraries in Japan
  • Author Heading国立情報学研究所 中島, 震, 1955- みわ, よしこ, 1963-

抽象によるソフトウェア設計 : Alloyではじめる形式手法

抽象によるソフトウェア設計 : Alloyではじめる形式手法
PaperDigital図書
Daniel Jackson 著, 中島震 監訳, 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳オーム社2011.7<M159-J1354>
National Diet LibraryOther Libraries in Japan
  • Author HeadingJackson, Daniel, 1963- 中島, 震, 1955- 今井, 健男 酒井, 政裕 遠藤, 侑介

SPINモデル検査入門

SPINモデル検査入門
Paper図書
Mordechai Ben-Ari 著, 中島震 監訳, 谷津弘一, 野中哲, 足立太郎 共訳オーム社2010.3<M159-J876>
National Diet LibraryOther Libraries in Japan
  • Author HeadingBen-Ari, M, 1948- 中島, 震, 1955- 谷津, 弘一 野中, 哲 足立, 太郎, pub.2010

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

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
Paper図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955- 鷲崎, 弘宜 武市, 正人, 1948- 米沢, 明憲, ...

代数仕様アプローチによる制的モデル検査手法の研究

代数仕様アプローチによる制的モデル検査手法の研究
Paper図書
中島震, 国立情報学研究所 [著][中島震]2005-2007<Y151-H17500028>
National Diet Library
  • Author Heading中島, 震, 1955- 国立情報学研究所

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

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

オブジェクト指向最前線 : 情報処理学会OO2002シンポジウム 2002

オブジェクト指向最前線 : 情報処理学会OO2002シンポジウム 2002
Paper図書
中島震, 三ツ井欽一 編近代科学社2002.9<M159-G2183>
National Diet LibraryOther Libraries in Japan
  • Author Heading中島, 震, 1955- 三ツ井, 欽一, 1960-

Reached to the end of result.