软件规格说明相关论文
B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UM......
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段.测......
在4GL开发环境中,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界......
一、纺织行业与ERP 随着中国加入WTO和市场竞争全球化,纺织行业的经营环境发生了巨大的变化,纺织企业面临更加激烈竞争的同时,也遇......
虽然很早就提出了软件规格说明,但是,对它的研究仍需进一步深入。目前,软件规格说明已成为计算机科学中一个相对独立的研究领域。......