気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
www11.atwiki.jpエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ソフトウェアテスト自動化まとめサイト なんでも自動化サイト - テスト自動化とは - @ｳｨｷﾓﾊﾞｲﾙ
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証な... 1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www11.atwiki.jp
www11.atwiki.jp
www11.atwiki.jp
www11.atwiki.jp
huyukiitoichi.hatenadiary.jp
www.oricon.co.jp
nlab.itmedia.co.jp
www.yomiuri.co.jp
blog.song.mu
note.com/tori29umai
anond.hatelabo.jp
forest.watch.impress.co.jp
goldhead.hatenablog.com
zenn.dev/aishift
tech.smarthr.jp
future-architect.github.io
karakusaginga.blog76.fc2.com
rubikitch.hatenadiary.org
2009/08/19 リンク