软件控制论相关论文
增量式设计方法是软件开发中常用的一种设计方法,但是对其进行形式化研究的并不多。论文研究用多项式动态系统方法开发软件时是否可......
随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于......
软件可靠性问题对于安全关键软件而言具有极端重要性。本文论述了软件可靠性工程的三个基本问题以及软件可靠性研究现状和面临的主......
随着软件测试的发展,人们对软件评价的需求越来越迫切。捋清软件测试与评价之间的关系是做好软件评价的基础。但是目前软件测试领......
软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析 ,但很少有策略被设计和优化。软件测......
随着计算机技术的发展,以软件系统为核心的计算机应用已经渗透到各行各业,在工业、国防、以及人们的日常生活中起着越来越重要的作......
在市场需求的推动下,Web应用如今已经从一般的网站发展成为大型电子商务、信息发布和提供各种服务的平台,软件规模不断扩大,软件复......
基于构件的开发(Component-Based Development,简称CBD)或基于构件的软件工程(Component-Based Software Engineering,简称CBSE)已......