An application study with B method and component technology in software development
Author(s): LU Zhong-ning, CHENG Li-hui, ZHANG Zhi-feng
Pages: 62-64
Year: 2008 Issue: 2
Journal: JOURNAL OF ZHENGZHOU UNIVERSITY OF LIGHT INDUSTRY(NATURAL SCIENCE EDITION)
Keyword: 构件技术; B方法; 形式化方法; 软件开发;
Abstract: 提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.
Pages: 62-64
Year: 2008 Issue: 2
Journal: JOURNAL OF ZHENGZHOU UNIVERSITY OF LIGHT INDUSTRY(NATURAL SCIENCE EDITION)
Keyword: 构件技术; B方法; 形式化方法; 软件开发;
Abstract: 提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.
Related Articles