摘要
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
Formal methods have been recognized as an effective way to specify software with more accuracy and less ambiguity to improve the software development.But it is difficult to be accepted by programmers because the specification can not be easily understood.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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第26期100-103,122,共5页
Computer Engineering and Applications
基金
国家自然科学基金(编号:60404004)
中国科学技术大学与日本富士施乐公司合作项目(编号:FXVFP2003)
