2.3 SOFL 简要介绍 SOFL(Structured Object-Oriented Formal Language)既是一种规约语言 (Specification Language),也是一种方法学。
基于2520个网页-相关网页
现代计算机(专业版),2008年第12期,计算机取证,规约语言(SPECL),噪声,现场可编程门阵列(FPGA),火控系统,定位精度,数字化校园,博弈,可证明安全,孤立点集期刊,杂志...
基于16个网页-相关网页
PSL is a property specification language which describes parallel systems and is divided into two parts,i. e. FL and OBE.
PSL是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL和分支时序逻辑OBE两部分。
参考来源 - PSL可满足问题的计算复杂度·2,447,543篇论文数据,部分数据来源于NoteExpress
UML顺序图是广泛使用的场景规约语言。
UML Sequence Diagram is widely used for specifying software scenario.
第五章对比了常用软件测试方法,讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
将面向目标的规约语言(KAOS)进行扩展,增加了策略模型,建立支持面向多目标的基于动态策略的适应性需求规约方法。
The goal oriented specification language KAOS is extended, and a strategy model is added in order to achieve the multi-goal, dynamic strategy adaption requirement specification.
应用推荐