郑州轻工业学院学报（自然科学版）
鄭州輕工業學院學報（自然科學版）
정주경공업학원학보（자연과학판）
JOURNAL OF ZHENGZHOU INSTITUTE OF LIGHT INDUSTRY(NATURAL SCIENCE)
2008年
2期
62-64
,共3页
构件技术%B方法%形式化方法%软件开发
構件技術%B方法%形式化方法%軟件開髮
구건기술%B방법%형식화방법%연건개발
提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.
提齣瞭一種基于B方法和構件技術的形式化開髮方法,該方法結閤構件技術和形式化方法,對軟件開髮的方法進行改進從而提高瞭軟件的重用,很好地消除瞭繫統的二義性、不完整性和不一緻性,大大提高瞭軟件開髮效率.
제출료일충기우B방법화구건기술적형식화개발방법,해방법결합구건기술화형식화방법,대연건개발적방법진행개진종이제고료연건적중용,흔호지소제료계통적이의성、불완정성화불일치성,대대제고료연건개발효솔.
