「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.