软件形式化方法

B方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。

B-method is a software formal method , which supports the whole lifecycle of software development from formal specification to code generation .

也是国家自然科学基金课题《实用的软件形式化方法及其开发工具研究》的重要组成部分。

It is important component in the State Natural Sciences Foundation 《, the practical software formalization method and the development kit research 》 .

方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。

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 .

论文以智能分布监控系统（IntelligentDistributedSupervisoryandControlSystems，IDSCS）为研究对象，以多种Petri网和MAS理论为依据，探索IDSCS软件形式化建模方法及相关设计技术。

Based on the different types of Petri nets and multi-agent system theory , this dissertation does research on the methods of the formal software modeling and design of intelligent distributed supervisory and control systems ( IDSCS ) .

基于时序逻辑软件构架形式化方法研究

Research on Formal Specification of Software Architecture Based on Temporal Logic

一种嵌入式实时系统软件的形式化开发方法

A Formal Software Development Method for Embedded Real-time Systems

软件开发的形式化方法被当今软件工程领域誉为克服软件危机，提高软件可靠性和生产效率的革命性途径。

Formal software development method is praised as the revolutionary way of software engineering to overcome the " software crisis ", and to improve the reliability and the productivity of software .

本文提出的语义描述框架丰富了软件体系结构形式化方法的研究，推动了范畴理论在计算机科学中的应用和发展，可以为从事范畴论方向的研究人员提供参考与启发。

The framework for semantic description enriches the studies on formal methods of software architecture , and promotes the application and development of category theory in computer science , and provides a reference and inspiration for the researchers engaged in the field of category theory .

文章研究在高可信软件工程中集成形式化方法。

Integration of formal method into high-confidence software engineering was studied .

我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。

Our approach is to combine object-oriented paradigm with formal methods in software engineering , especially abstract data type theory , and algebraic specification of systems .

第三，在业务生命周期模型的基础上，结合软件工程方法和形式化方法各自的特点，提出了一种业务冲突分层检测模型。

Thirdly , based on the model of IN services lifecycle , and the character of software engineering approach and formal method , the thesis give a model of service interaction detection by stages .

该文将较为直观地统一软件过程和VDM++形式化方法结合在一起，提出了一种软件形式化开发方法，并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。

The paper proposeds one development method based on RUP and VDM + + . An experiment on one tally software system also been done and the experimental result proves that this method is feasible and effective .