支持可执行定义的进化式软件开发模型

来源 :软件学报 | 被引量 : 0次 | 上传用户：daxi2580

【摘要】

：

根据MHSC(methodology for high-level specification construction)方法论,提出一种支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型的

【作者】

：

吴明晖应晶何志均

【机构】

：

浙江大学

【出处】

：

软件学报

【发表日期】

：

2004年期

【关键词】

：

可执行定义变换进化

【基金项目】

：

浙江省自然科学基金;国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

根据MHSC(methodology for high-level specification construction)方法论,提出一种支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证.

其他文献

0pen MIS的反馈控制模型

针对MIS系统的开放型特点,提出了一种"反馈控制模型",以增强MIS系统的可维护性、可扩充性及应变能力.

期刊

MIS反馈控制模型参数库软件维护

油液净化再生技术的应用

对油液的主要性能与影响性能的主要因素作了评述。分析和制定了油液载体净化再生原理和方法。阐述油液载体净化机的工艺特点及流程。对其市场前景作了展望，认为是一种有前途的

期刊

油液载体净化再生

动调陀螺再平衡回路的设计

本文采用多变量系统频域法设计动调陀螺再平衡回路,并由仿真与实际系统的调试,证实了该设计方法的可行性.

期刊

动调陀螺再平衡回路多变量系统频域法

定制叶型技术及其在压气机设计中的应用

发展了一种先进、实用的定制叶型技术 ,并应用于六级压气机叶片设计。这种叶型具有更高的临界马赫数、更大的攻角范围和更高的载荷能力 ,是目前国际上最先进的亚声速和跨声速

期刊

压气机定制叶型设计

企业公共关系理解误区浅论

企业公共关系是企业在现代商品经济和大众传播事业高度发展条件下的重要经营管理手段,它有严格的要求和科学的含义.但在现实中,存在着把企业公共关系的某些表象某些做法片面

期刊

企业公共关系误区

一种Agent规范机制的设计

提出了一种 Agent行为规范的实现机制 ,讨论了规范可获收益的下界 ,并给出了基于人工神经网络学习来解决行为规范问题的结构 .行为规范产生机制考虑了 Agent对规范制定影响力

期刊

Agent社会规范行为规范机器学习对策论

Petri网在现代企业决策机制中的应用

结合着色随机 Petri网 ( CSPN)理论及计算机仿真技术 ,提出了 SDM- CSPN仿真模型 ,为研究组织结构、信息访问结构、时间、信息失真、决策方法及任务环境等多种因素对企业决策

期刊

组织设计决策机制仿真着色随机Petri网

电话、电脑和电力的“三网合一”概念与实现技术(三)--”三网合一”的应用研究步骤及展望

根据中国的实际情况 ,提出了实现“三网合一”的研究步骤 ,即 :优先发展利用电力线载波的配电自动化通信技术、开发电力市场用户侧交易结算的电力信息网络 ,初步实现“三网合

期刊

三网合一配电自动化系统宽带

面向全电网用户的输电费用分配模式与仿真研究

针对目前输电费用单向分配方法的不足,建立了输电费用向全电网用户分配的3种新模式,即发电侧模式、负荷侧模式和面向元件的模式.基于潮流解和拓扑分配系数法给出了相应的输电

期刊

输电费用分配模式潮流拓扑分配系数

支持可执行定义的进化式软件开发模型

其他学术论文