软件规约相关论文
基于目前应用广泛的功能点分析方法,从软件需求规约的角度提出了合理度量面向对象系统的一系列映射规则和度量规则,解决了基于人工......
研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变......
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成......
尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术，但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试......
面向对象方法已经逐步代替基于过程的方法成为软件开发的主流，然而面向对象软件的测试和维护代价却并没有因此而减少。虽然在面向对......
