软件规范相关论文
阜阳市局 ￡4a 局长——_MINtkMMtgj’＃lnH＄B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......
软件开发是一种具有比较特殊性质的工作,企业中尤其是非软件企业中了解此项工作的人员有限,若没有适当的合理的管理会使软件工作陷......
本文通过对PXI系统的产生、发展及硬件架构、软件规范以及虚拟仪器技术的介绍,叙述了以PXI系统作为硬件平台和以图形化编程语言作......
伴随着市场经济的飞速发展,廿一世纪是信息化时代.企业为了增加自己的竞争力,将信息化建设急切地提到了企业的日程上,希望借助先进......
本文简要介绍了虚拟仪器的概念及其与传统仪器的区别以及几种标准体系结构和相关软件规范,概述了基于VXI总线技术的直升机航空地面......
本文简要介绍了虚拟仪器的概念、与传统仪器的区别以及几种标准体系结构和软件规范,概述了基于VXI总线技术的直升机航空地面自动测......
建立雷达系统建模与仿真的统一框架和软件库,可以将设计人员从繁重的软件编写工作中解脱出来,避免重复劳动,节约资金和人力,缩短研......
随着现代社会的发展，计算机系统对人们的生活和工作所带来的影响越来越大，计算机软件系统的失误带来的潜在危险和损失也大大增加了。......
近日，福鼎市政府副市长李彤主持召开安全发展示范试点市创建部门联席会议。李彤副市长就进一步做好全市安全发展示范城市创建提三点......
1.引言FIPA(The Foundation for Intelligent Physical Agents)是一个由活跃在Agent领域的公司和学术机构组成的国际组织,其目标是......
本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的......
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用......
针对软件模块,本文提出了一种称为VSL的可视化规格说明语言.该语言模拟人的思维过程,将一个大规模复杂的问题分解为一系列较小规模......
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述，首先根据系统需求画出进......
举例说明了随着计算机的应用范围日益广泛,软件质量的重要性.介绍了国内外的软件质量管理概况及美国国防部制定的一系列软件规范.......
为了有效协调管理和配置结构健康监测的硬软件系统,初步研究了结构健康监测的软件主体协作规范。首先研究了健康监测目前已有的相......
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验......
本文采用面向对象的技术，对软件需求分析的任务、实施步骤和方法进行了研究，并给出了相应的规范说明。......
随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基......
进入90年代，面向对象范型（OO范型）受到了研究界和工业界的普遍重视并获得广泛应用。OO为软件测试提出了很多新问题，但当前对OO软件测试......
二进制翻译技术是解决软件移值问题的重要手段，在遗产代码移植、程序优化、系统安全等方面都有着重要的意义，已经成为现代编译技术研......
根据《关于印发会计从业资格考试大纲(修订)的通知(财办会〔2014〕13号)》的规定，2015年会计从业资格考试统一使用财政部根据新考试......
