软件开发中的形式化方法

Formal Methods in Software Development

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.