竹马小憩

原创 [学术论文]从轻量级形式化方法出发的需求建模——用Radl语言对MIS系统进行规范描述的案例研究

从轻量级形式化方法出发的需求建模——用Radl语言对MIS系统进行规范描述的案例研究  摘要 形式化方法对提高软件的正确性、可靠性意义重大，可大幅度减少软件的后期维护费用，但由于设计周期和人员素质的限制，形式化方法未能得到广泛应用。本文介绍了一种新的软件开发方法——轻量级形式化方法，从理论的角度阐述了其成因和基本思想，并从实践的角度给出了轻量级形式化方法在MIS系统分析中的应用