An approach for generating test cases from formal specification and the classification-tree method is presented.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
应用推荐