Software Engineering and Formal Method 软件工程与形式化方法
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践,人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
应用推荐