中島震の本
14冊
著者名の一致で集めています。同じ名前の別の方が混じることがあります。
- 優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために2023-06-01
- AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論2022-12-01
- ソフトウェア工学から学ぶ機械学習の品質問題2020-11-01
- デジタル・プラットフォーム解体新書 : 製造業のイノベーションに向けて2019-04-01
- ソフトウェア工学 : 情報学プログラム2019-03-01
- Event-B : リファインメント・モデリングに基づく形式手法2015-02-01
ソフト・エッジ : ソフトウェア開発の科学を求めて2013-03-01- 形式手法入門 : ロジックによるソフトウェア設計2012-04-01
- 抽象によるソフトウェア設計 : Alloyではじめる形式手法2011-07-01
- SPINモデル検査入門2010-03-01
- SPINモデル検査 : 検証モデリング技法2008-04-01
- Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証2007-12-01
- オブジェクト指向最前線 : 情報処理学会OO2002シンポジウム 20022002-09-01
- AIアルゴリズムからAIセーフティへ : 生成AIとLLM