論文
On the Adoption of Model Checking in Safety-Related Software Industry Alessandro Fantechi, Stefania GnesiComputer Safety, Reliability, and Security Lecture Notes in Computer Science Volume 6894, 2011, pp 383-396 3.3 Tool Qualification When …
Requirements engineers live in a world where conflicts are the rule, not the exception [Eas94].
大規模開発におけるモデル品質向上のためのモデル検証フレームワーク 本論文は，UML モデルの品質確保のためのモデル検証において，プロジェクト固有のモデリング・ルールを容易に定義・検証できるモデル検証フレームワークを提案する．本フレームワークでは…
