@techreport{oai:ipsj.ixsq.nii.ac.jp:00021195,
 author = {金井, 勇人 and 岸, 知二 and Hayato, KANAI and Tomoji, KISHI},
 issue = {48(2006-SE-152)},
 month = {May},
 note = {本稿ではモデル検査技術を用いたUML設計検証のための検証パターンの提案をする。UML設計検証においては、仕様記述と論理的な記述が必要だが、論理的記述は仕様記述に依存して記述される。また、ソフトウェアの構造によって確認したい典型的な性質があり、またその確認方法にはいくつかの定石がある。そこで本稿では、ソフトウェア構造と性質とを合わせて体系づけたパターンを提案する。また、提案されたパターンを用いて設計検証を行った事例をあわせて紹介する。, In this paper, we propose verification pattern for UML design verificstion utilizing model checking techniques. In verifying UML model, we have to develop target model and define properties depending on the target model. Furthermore, typical software structures have their own listing of important properties. Hence, it is useful to define verification patterns as a set of software structures, their important properties, and verification techniques. We introduce verification pattern based on the idea, and demonstrate its usefulness based on a case study.},
 title = {UML設計モデル検査技術のための検証パターンの提案},
 year = {2006}
}