エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
XSPINの操作手順
Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 設計モデル検証(... Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 設計モデル検証(基礎編)講座 (第1回) 第2版 2010年6月7日 トップエスイープロジェクト Copyright (C) 2007-2010 National Institute of Informatics, All rights reserved. 2 設計モデル検証(基礎編) のゴール 検証とは何かを把握できる 検証には何が必要なのかを知っている 検証を行うツールとしてSPINを使える 設計モデルの正しさを検証することが出来る 前提・条件・範囲を明確しつつ設計を具象化し、その検証 ができる 何を検証し、どのような性質が保証できたのかが把握でき る 対象システムの設計の意図を明確化し、そこに成り立
2013/03/05 リンク