简介:为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介:为满足新加坡武装部队的需求,以取代现役的M113系列履带式装甲输送车及其变型车,新加坡技术动力公司开发出了新一代装甲战车。
简介:目前,俄罗斯伏尔加格勒拖拉机厂正在为俄罗斯斯陆军研制新一代BMD-5空降战车。与俄罗斯先前的BMD系列空降战车及最新型BMD-4M空降战车相比,BMD-5将采用全新设计及和以往不同的结构布局。
软件维护性设计准则形式化表示及核查系统设计
新加坡开发新一代装甲战车
俄罗斯开发新一代BMD-5空降战车