蒋涛
- 作品数：12 被引量：20H指数：2
- 供职机构：浙江大学计算机科学与技术学院更多>>
- 发文基金：国家高技术研究发展计划霍英东基金更多>>
- 相关领域：自动化与计算机技术经济管理机械工程化学工程更多>>
- 基于模板工程的软件开发自动化框架研究被引量：5
- 2007年
- 为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用,提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素,在对软件开发自动化本质的深入分析基础上,基于软件系统无处不在的模式,引入模板工程的概念,通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器3个方面的映射模式,并结合了具体模板实例加以说明.结果表明,Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程,这个转变显著提升了软件开发的自动化程度,提高了软件生产率.
- 方敏应晶吴明晖蒋涛
- 关键词：软件开发自动化代码生成
- CIMS的建模和并行动画仿真
- 1995年
- 具体讨论一个为CIMS的运行进行图形仿真服务的并行智能仿真模型,并基于Petri网理论实现了该模型,最终规划生成CIMS环境中各工作单元的并发驱动数据流,提交给图形显示模块作并行动画演示。这一设计思路已在SUN Sparc机器上用C语言完成,有效地反映了CIMS环境中各工作单元的运行情况。
- 蒋涛姚宇明徐毓良
- 关键词：CIMSPETRI网CLIENT/SERVER
- 一种面向特征增量的软件产品线分析方法被引量：2
- 2009年
- 针对现有的面向特征的软件产品线分析方法大多着眼于细粒度的特征,对宏观特征考虑不多,导致对产品线体系结构支持不足的问题,基于逐步精化的思路,提出特征增量概念,试图捕捉和描述产品线中产品的宏观联系与差异,以增强从需求到产品线体系结构再到单个产品体系结构的可跟踪性和可维护性.分析了特征增量的依赖关系和组合原则,并给出了基于目标场景的面向特征增量分析过程.结合一个可视化建模工具产品线实例对特征增量和分析过程进行说明.实例表明,特征增量的引入提升了产品线分析的粒度,增强了分析过程的层次性,从而系统且有效的支持产品线的开发活动.
- 蒋涛应晶吴明晖吕嘉
- 关键词：软件产品线
- 增量式软件产品线关键技术研究
- 软件复用技术已经被认同为提高软件开发效率和质量的有效途径。近年来，软件产品线作为一种系统化的软件复用方式得到了广泛的关注。软件产品线着眼于特定领域，将领域共性和可变性构建为领域核心资产，特定的软件产品以预先规定的方式基于...
- 蒋涛
- 关键词：软件产品线软件复用形式化语义
- 文献传递
- CIMS并行智能实时图形仿真系统的设计与实现
- 蒋涛
- 关键词：计算机集成制造系统PETRI网
- LT发展战略研究
- 蒋涛
- 关键词：价值链分析
- 横切侵入性和横切不变性被引量：2
- 2008年
- 由于面向方面语言的不知觉性和多量化特点,模块分析和模块推理比传统方法学更加困难.为了解决面向方面语言的横切安全和横切质量问题,使用前提条件和后验条件约束横切模块和被横切模块,然而在横切过程中寻找前提条件和后验条件的失败原因十分微妙和复杂.为了分析一个横切关注点的行为影响,程序员需要考虑方面本身和这个方面影响的系统其他部分.当几个方面编织在同一个切入点,危险干扰分析变得更加复杂.类似面向对象语言中的行为子类型概念,引入横切不变性概念.为了检查由于破坏横切不变性引起的行为错误和其他4种简单行为错误,基于软件行为契约提出一个横切不变性检测算法.为了形式化这个算法,提出Crosscutting Contract演算和一组契约求解规则,并通过定义和证明契约完备性来保证契约求解过程的正确性.还使用一个例子说明如何使用这些契约求解规则检测和分析行为错误.
- 吕嘉应晶吴明晖蒋涛
- 企业集中规制中的违法性判断标准研究——围绕其具体适用所展开的讨论
- 该文通过对美国、日本以及欧盟企业集中规制中的违法性判断标准的考察比较,总结出违法性判断标准的一般性表述,分析了其适用过程中应考虑的基本因素以及应坚持的基本原则.通过考察美国、日本以及欧盟的企业集中规制过程中影响违法性判断...
- 蒋涛
- 关键词：违法性
- 文献传递
- 利用微卫星标记进行遗传结构及进化关系的研究
- 蒋涛
- 关键词：微卫星进化荧光检测基因扫描
- 基于审查不确定性的预见式软件自适应
- 2010年
- 为了解决传统的被动式自适应(RSA)模型自适应不可预期的问题,提出预见式的自适应(PSA)方法.PSA方法要解决的重要问题是:模型如何能够从环境中学习.通过使用隐Markov模型(HMM),系统能够从历史行为中进行学习并生成预见式的动作.和传统的RSA模型相比,PSA方法能预见式地调整系统的运行时行为以适应新的环境.通过对系统管理的观察和PSA方法的认知能力,应用系统能够做出合理的决策.应用程序能实现预见性的自主管理过程,减少了人工干预.实验结果表明,PSA方法为应用提供了预见式的自适应管理机制,提高了应用的可管理性和服务质量(QoS).
- 王华应晶蒋涛
- 关键词：自适应软件不确定性
