エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
VDMを用いた仕様記述・検証 ~ 仕様記述編 ~
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述... 今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する! 前回「VDMを用いた仕様記述・検証 ~ モデリング編 ~」では、レゴ社のLEGO Mindstorms NXT(以下、Mindstorms)のライントレース仕様をテーマに要求を分析し、UMLでモデルを記述しました。 今回は、前回記述したUMLを基にVDM記述をしていきます。ここからは、VDMの構文がいくつか出てきますので、VDM information web siteのVDMToolsマニュアルに掲載されている「VDM++ 言語マニュアル」をダウンロードし、必要に応じて参照しながら読み進めてください。 なぜモデルをVDMで記述するのか? 読者の中には、「前回UMLで要求をモデル化したのだから、あえてVDMで記述する必要はないのではないか?」と
2013/02/18 リンク