科研专业方向
研究领域:
基础软件
研究方向:
务工程(Services Engineering)软件工程(Software Engineering)模型驱动工程
研究领域:
基础软件
研究方向:
务工程(Services Engineering)软件工程(Software Engineering)模型驱动工程
合作单位 | 合作论文数量 |
---|---|
南京航空航天大学计算机科学与技术学院 | 2 |
计算机软件新技术国家重点实验室 | 2 |
南瑞集团公司 | 1 |
南京航空航天大学自动化学院 | 1 |
国家自然科学基金委员会信息中心 | 1 |
中国科学院计算机网络信息中心大数据技术与应用发展部 | 1 |
中国科学院文献情报中心 | 1 |
论文标题 | 基金名称 |
---|---|
网上销售的影响因素:利基与热门市场的对比研究 | 国家自然科学基金资助项目 |
面向适航认证的模型驱动机载软件构件的安全性验证 | 江苏省研究生培养创新工程 |
无人机飞控软件系统建模与测试用例生成研究 | 江苏省研究生培养创新工程基金 |
平台治理的国外研究综述 | 国家自然科学基金项目 |
国家自然科学基金资助成果开放共享平台:现状与展望 | 国家自然科学基金专项项目 |
基于场景规约的构件式系统设计分析与验证 | 国家自然科学基金 |
场景驱动的构件行为抽取 | 国家自然科学基金国家重点基础研究发展规划基金 |
基于MDA的设计模式建模与模型转换 | 国家自然科学基金国家重大基础研究发展计划 |
面向WebServices的模型驱动开发方法 | 国家自然科学基金 |
接口自动机——一种用于组件组合的形式系统 | 国家自然科学基金编号:60273036国家重大基础研究计划973项目编号:2002CB312001江苏省自然科学基金编号:BK2004080 |
嵌入式软件建模、实现与验证:研究与进展 | 国家自然科学基金 |
暂无荣誉成就信息
国家自然科学基金资助成果开放共享平台:现状与展望
计算机学科国际会议综合排名的影响因素研究
平台治理的国外研究综述
风险资本、风控机制与价值创造研究
企业标准化实施过程中的“三维六向”模型——论标准体系、业务流程、信息系统间的协同关系
网上销售的影响因素:利基与热门市场的对比研究
面向适航认证的模型驱动机载软件构件的安全性验证
无人机飞控软件系统建模与测试用例生成研究
基于MDA的设计模式建模与模型转换
场景驱动的构件行为抽取
基于场景规约的构件式系统设计分析与验证
基于场景规约的构件式系统设计分析与验证
面向WebServices的模型驱动开发方法
接口自动机——一种用于组件组合的形式系统
嵌入式软件建模、实现与验证:研究与进展