本文に飛ぶ

年 〜
年

検索結果 17 件

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

AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
紙図書
中島震 著丸善出版2022.12<DH211-M907>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083

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
紙図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083

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

優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために
紙図書
Daniel Jackson 著, 中島震 訳丸善出版2023.6<M154-M569>
国立国会図書館全国の図書館
  • 著者標目（識別子）01234878 00892083

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

ソフトウェア工学から学ぶ機械学習の品質問題
紙図書
中島震 著丸善出版2020.11<M121-M304>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083

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

ソフトウェア工学 : 情報学プログラム (放送大学大学院教材. 放送大学大学院文化科学研究科)
紙図書
中谷多哉子, 中島震 編著放送大学教育振興会2019.3<M154-M73>
国立国会図書館全国の図書館
  • 著者標目（識別子）00845280 00892083

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

デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて
紙デジタル図書
高梨千賀子, 福本勲, 中島震 編著近代科学社2019.4<DL311-M1>
国立国会図書館全国の図書館
  • 著者標目（識別子）001321551 001321553 00892083

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
紙図書
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu, editors.Springer[2017]<M154-B221>
国立国会図書館
  • 著者標目（識別子）00892083 001220830

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

Event-B : リファインメント・モデリングに基づく形式手法
紙デジタル図書
中島震, 來間啓伸 共著近代科学社2015.2<M159-L622>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083 01115484

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

ソフト・エッジ : ソフトウェア開発の科学を求めて (丸善ライブラリー ; 383. 情報研シリーズ ; 17)
紙図書児童書
情報・システム研究機構国立情報学研究所 監修, 中島震, みわよしこ 著丸善出版2013.3<M159-L108>
国立国会図書館全国の図書館
  • 著者標目（識別子）00821713 00892083 00908583

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

形式手法入門 : ロジックによるソフトウェア設計
紙図書
中島震 著オーム社2012.4<M159-J1592>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083

SPINモデル検査入門

SPINモデル検査入門
紙図書
Mordechai Ben-Ari 著, 中島震 監訳, 谷津弘一, 野中哲, 足立太郎 共訳オーム社2010.3<M159-J876>
国立国会図書館全国の図書館
  • 著者標目（識別子）00432845 00892083 01193313 01193314 01193315

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

抽象によるソフトウェア設計 : Alloyではじめる形式手法
紙デジタル図書
Daniel Jackson 著, 中島震 監訳, 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳オーム社2011.7<M159-J1354>
国立国会図書館全国の図書館
  • 著者標目（識別子）01234878 00892083 01234880 01234882 01234883

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

ソフトウェア工学の基礎 16 (レクチャーノート/ソフトウェア学 ; 35)
紙図書
中島震, 鷲崎弘宜 編近代科学社2009.11<M159-J740>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083 00952711 00079809 00158978

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

SPINモデル検査 : 検証モデリング技法
紙デジタル図書
中島震 著近代科学社2008.4<M159-J150>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083

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

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 ; 1)
紙デジタル図書
中島震 監修, 来間啓伸 著近代科学社2007.12<M159-J54>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083 01115484 00192997

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

代数仕様アプローチによる制的モデル検査手法の研究
紙図書
中島震, 国立情報学研究所 [著][中島震]2005-2007<Y151-H17500028>
国立国会図書館
  • 著者標目（識別子）00892083 00821713

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

オブジェクト指向最前線 : 情報処理学会OO2002シンポジウム 2002
紙図書
中島震, 三ツ井欽一 編近代科学社2002.9<M159-G2183>
国立国会図書館全国の図書館
  • 著者標目（識別子）00892083 00892085

検索結果は以上です。

RSS