Jump to main content

yr 〜
yr

Search results 189

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

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

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

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

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

ソフトウェア工学〔改訂版〕 改訂版 (放送大学教材)

ソフトウェア工学〔改訂版〕 改訂版 (放送大学教材)
Paper図書
中谷 多哉子 著・文・その他, 中島 震 著・文・その他放送大学教育振興会2025-03-20
Other Libraries in Japan
  • Author Heading中谷 多哉子 中島 震

ソフトウェア工学の道具としての形式手法 (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

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

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

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

ソフトウェア工学

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

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

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

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

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

An algebraic approach to object-oriented software engineering

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

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

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

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

ソフトウェア工学の道具としての形式手法 (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

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

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

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

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

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

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