规约语言
- 网络specification language; LOTOS; LOTOS LOTOS
规约语言规约语言
specification language
电脑软件高级词... ... 软件验证程序 software verifier 规约语言 specification language 规约验证 specification verification ...
LOTOS
...统演算（CCS），通信过程代数（ACP），时序排序规约语言（LOTOS），计时CSP(TCSP），通信系统计时可能性演算（T…
LOTOS LOTOS
...ACP ACP），时序排序规约语言（ ），时序排序规约语言（LOTOS LOTOS），计时 ），计时CSP(TCSP CSP(TCSP）， …
KAOS
将面向目标的规约语言(KAOS)进行扩展,增加了策略模型,建立支持面向多目标的基于动态策略的适应性需求规约方法。
1
2