规格说明相关论文
本项目解决区域内门店下门店协作能力、产品配套需求、产品链缺失等方面的协作匹配问题，有效促进门店之间各类生产要素、用户资源的......
随着西班牙站取得亚军后，年仅22岁的F1新秀汉密尔顿4站比赛后积30分成为F1历史上最年轻的车手积分领先者。“我一直告诉自己是在做......
该论文将Petri网理论与面向对象相结合,提出了一种新的面向对象Petri网模型-NOOPN.该模型基于面向对象语言SmallTalk的面向对象性,......
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产......
软件开发方法已经从面向过程转到面向对象.面向对象方法虽然大大促进了计算机科学和软件产业的发展,但是它依然存在缺陷,特别是在......
随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一......
随着信息技术的发展，软件规模不断扩大，而且越来越复杂，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件......
学位
Web应用程序是近些年来软件业中发展最快的应用程序之一。Web应用所使用的开发语言和开发模型在不断发展。Web应用本身也越来越复......
井喷的木制摩天大楼 木材曾经是人类广泛采用的最古老的建筑材料，直到100多年前，木材还牢牢占据着“建材老大”的地位。然而，自从1......
放射源在国民经济的飞速发展中得到了广泛应用,但因其目前还处于落后的人工监管状态、危害无形,而且易造成环境污染和社会恐慌,管......
随着计算机硬件性能迅速提高和价格的持续下降，计算机系统应用范围不断地扩大，软件系统也日益复杂，研究如何提高软件质量和软件开发效......
形式化方法是一种用数学方法来描述和验证目标软件系统性质的方法，它通常用形式规格说明语言来描述软件需求。由于用数学符号描述的......
摘要：该自主招生人才评价系统已经成功运用在我校单独招生人才评价工作中。该软件的应用改变了招生录取费时、费力，易出差错的人工处......
本文首先介绍基于规格说明的一种面向对象簇级测试的动态方法IPI,然后对其作了改进 ,并且设计了一种原型系统以实现改进后的算法......
