セーフサーチ：オン
UCSCを含む例文一覧と使い方
該当件数 : 1件
When the Kripke property is obtained, a trap property 105 for use case state coverage (UCSC) and a trap property 106 for use case transition coverage (UCTC) can be obtained only by applying the Kripke property to a known form verification tool.例文帳に追加
Ｋｒｉｐｋｅプロパティが求まれば、Ｋｒｉｐｋｅプロパティを公知の形式検証ツールに与えるだけで、ユースケースの状態カバレッジ（ＵＣＳＣ）用Ｔｒａｐプロパティ１０５とユースケースの遷移カバレッジ（ＵＣＴＣ）用Ｔｒａｐプロパティ１０６を得ることができる。 - 特許庁
| Copyright © Japan Patent office. All Rights Reserved. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
