摘要
精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以B方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了B方法在软件开发过程中的应用。
The rigorous software specifications are the foundation,which guarantees the software quality.However in the software process the guaranteed method is more important,the good method can guarantee that the human error does not introduce in development process.All the existing popular software process method can reduce this kind fault in the certain degree,however it is difficultly to avoid it essentially.Take the precise mathematics semantics as the foundation, the formal method can guarantee the uniformity and accuracy of the development process;especially B method,it can be used in any phase of software development process.Take the House Intelligent Control System as an example,this paper introduces the application of B-method in the software development process.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第24期80-83,共4页
Computer Engineering and Applications
基金
重庆市教委科学技术研究项目(编号:040803)
江苏省高校自然科学研究项目(编号:05KJB520119)
关键词
B方法
软件过程
抽象机
形式规约
软件设计
B-method, software process, abstract machine ,formal specification, software design
