简介：为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介：2017年土耳其国际防务展上，FNSS公司展出了其最新的“豹”Ⅲ6×6和8×8系列装甲车。
简介：近日，通用动力地面系统公司加拿大分公司（GDLS—C）研制完成并展示出2款采用LAV6．0配置的新型战斗支援保障车辆，分别是维修抢救车（CSV—MR）和救护车（CSV—A）。
简介：模块化装甲车（AMV）是由芬兰帕特里亚公司和芬兰防务部队联合发展的，并已部署到多个国家军队，其作战能力以及承担任务正在不断扩大。
简介：近日，土耳其阿赛尔散公司展出了独资研制的一款名为“奈法尔”（Nefer）的无人炮塔，主要瞄准于国际装甲战车升级的巨大市场．
简介：
简介：在捷克布尔诺市举办的2017年国际防务与安全技术博览会（IDET）上，BAE系统公司瑞典赫格隆分公司展出了2辆CV90步兵战车，其中一辆为首次公开亮相的无人炮塔型样车。
软件维护性设计准则形式化表示及核查系统设计
FNSS公司推出“豹”Ⅲ系列装甲车
通用动力公司展示新型LAV系列保障车
帕特里亚公司模块化装甲车
土耳其阿赛尔散公司展出新式无人炮塔
新加坡技术工程公司研制的新一代装甲战车
BAE系统公司推出无人炮塔型CV90步兵战车
俄罗斯卡拉什尼科夫公司BAS-01GBM“战友”地面无人战车
