Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
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方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
Bmethod is one of the formal methods, which supports the whole process of software development from the specification to code generation.
形式化b方法支持从规格说明到代码生成的全部软件开发过程。
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方法与形式化方法二类方法。
应用推荐