「formal」の共起表現一覧(1語右が「specification.」)
該当件数 : 11件
| An example | formal specification using the Z notation. |
| The Larch family of | formal specification languages are intended for the p |
| Whether the | formal specification correctly describes the problem |
| Based on the | formal specification, a representative subset of soft |
| was his involvement with the Larch approach to | formal specification with John Guttag (MIT) et al. |
| Action semantics is a framework for the | formal specification of semantics of programming lang |
| f Temporal Ordering Specification (LOTOS) is a | formal specification language based on temporal order |
| finement, proceeding gradually from an initial | formal specification to eventually yield an executabl |
| can be combined in a unified framework for the | formal specification, design and implementation of pr |
| To derive a program means to write a | formal specification, which is usually non-executable |
| but lacked rigour, Syntropy adopted ideas from | formal specification languages, specifically Z notati |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
