1.

図書
図書
1. ソフトウェア工学から学ぶ機械学習の品質問題
中島震著
出版情報: 東京 : 丸善出版, 2020.11
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア工学
中谷多哉子, 中島震編著
出版情報: 東京 : 放送大学教育振興会, 2019.3
シリーズ名: 放送大学大学院教材 ; 8970149-1-1911 . 情報学プログラム||ジョウホウガク プログラム
所蔵情報: loading…
3.

図書
図書
3. Event-B : リファインメント・モデリングに基づく形式手法
中島震, 來間啓伸共著
出版情報: 東京 : 近代科学社, 2015.2
所蔵情報: loading…
4.

図書
図書
4. ソフト・エッジ : ソフトウェア開発の科学を求めて
中島震, みわよしこ著
出版情報: 東京 : 丸善出版, 2013.3
シリーズ名: 丸善ライブラリー ; 383 . 情報研シリーズ||ジョウホウケン シリーズ ; 17
所蔵情報: loading…
5.

図書
図書
5. 抽象によるソフトウェア設計 : Alloyではじめる形式手法
Daniel Jackson著 ; 中島震監訳 ; 今井健男 [ほか] 共訳
出版情報: 東京 : オーム社, 2011.7
所蔵情報: loading…
6.

図書
図書
6. SPINモデル検査入門
Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
出版情報: 東京 : オーム社, 2010.3
所蔵情報: loading…
7.

図書
図書
7. 代数仕様アプローチによる制的モデル検査手法の研究
研究代表者 中島震
出版情報: [東京] : [国立情報学研究所], 2008.6
シリーズ名: 科学研究費補助金(基盤研究C)研究成果報告書 ; 平成17年度～平成19年度
所蔵情報: loading…
8.

図書
図書
8. SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
中島震著
出版情報: 東京 : 近代科学社, 2008.4
所蔵情報: loading…
9.

図書
図書
9. Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
来間啓伸著
出版情報: 東京 : 近代科学社, 2007.12
シリーズ名: トップエスイー実践講座 ; 1
所蔵情報: loading…
10.

図書
図書
10. VDM-SLによる形式仕様記述 = Formal specifications in VDM-SL
田口研治, 来間啓伸著
出版情報: 東京 : 近大科学社, 2006.3
シリーズ名: Super architect series ; . サイエンスによる知的ものづくり || サイエンス ニ ヨル チテキ モノズクリ ; 2
所蔵情報: loading…