软件开发中的形式化方法  

Formal Methods in Software Development

作　　者：郑红军[1] 张乃孝[1] 

机构地区：[1]北京大学计算机科学技术系,北京100871

出　　处：《计算机科学》1997年第6期90-96,共7页Computer Science

基　　金：国家自然科学基金;863-306项目资助

摘　　要：1形式化方法 随着软件系统复杂度的不断增长,开发正确、可靠的软件,已成为一个巫解决的问题。形式化方法是解决此间题的一个有前途、有希望的技术,它建立在严格的数学基上。With a view to study on formal methods,this paper discusses a few possibilities and difficulties for applying formal methods to every stages during the process of software development. Then.the paper studies about capabilities,limitation:- and their causes of formal methods from the point of their theories and applications.also studies about some debates on formal methods. Lastly-based on the discussion above, the paper proposes, from the essences of formal methods,several suggestions and some possible directions,in terms of those suggestions,of the research on formal methods.

关 键 词：软件开发 形式化方法 需求分析 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]