Jump to main content

yr 〜
yr

Search results 188

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-

AIアルゴリズムからAIセーフティへ : 生成AIとLLM

AIアルゴリズムからAIセーフティへ : 生成AIとLLM
Paper図書
中島　震 翻訳丸善出版2025-03-28
Other Libraries in Japan
  • Author Heading中島　震

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

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

ソフトウェア工学の道具としての形式手法 (NII technical report NII-2007-007J)

ソフトウェア工学の道具としての形式手法 (NII technical report NII-2007-007J)
Digital電子書籍・電子雑誌障害者向け資料あり
中島震国立情報学研究所2007-07
Available onlineNational Diet Library

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

ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
Paper図書
中谷多哉子, 中島震 編著放送大学教育振興会2019.3<M154-M73>
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

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

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

ソフトウェア工学

ソフトウェア工学
Paper図書
中谷多哉子, 中島震編著放送大学教育振興会2019.3
Other Libraries in Japan
  • Author Heading中谷, 多哉子 中島, 震

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

Event-B : リファインメント・モデリングに基づく形式手法
PaperDigital図書
中島震, 來間啓伸 共著近代科学社2015.2<M159-L622>
National Diet LibraryOther Libraries in Japan
  • Author introduction中島　震 （国立情報学研究所教授） 來間 啓伸（日立製作所）
  • Author Heading中島, 震, 1955- 来間, 啓伸

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

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

An algebraic approach to object-oriented software engineering

An algebraic approach to object-oriented software engineering
Paper博士論文
中島震 [著][中島震]2000<UT51-2002-B192>
National Diet Library
  • Author Heading中島, 震

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- 豊島, 真澄

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

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

ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)

ソフトウェア工学の道具としての形式手法 (NII technical report ; NII-2007-7J)
Paper図書
中島震 [著]National Institute of Informatics2007.7<Y251-H1617>
National Diet Library

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

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

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN

SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
Paper図書
中島震著近代科学社2008.4.
Other Libraries in Japan
  • Author Heading中島, 震

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

代数仕様アプローチによる制的モデル検査手法の研究
Paper図書
研究代表者 中島震[国立情報学研究所]2008.6
Other Libraries in Japan
  • Author Heading中島, 震

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

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

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

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