位置：立项数据库 > 立项详情页
　需求工程—对复杂系统的软件工程的基础研究
  • 项目名称：　需求工程—对复杂系统的软件工程的基础研究
  • 批准号：2007CB310800
  • 项目来源：国家重点基础研究发展计划（973计划）(含重大科学研究计划)2007年度信息领域重要支持方向
  • 研究期限：2007-09-
  • 项目负责人：李德毅;
  • 依托单位：武汉大学;
  • 批准年度：2007
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 40
  • 0
  • 0
  • 0
  • 0
期刊论文
基于LSC模型检验的性质抽取
一种用于模型验证的Web应用模型抽取方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
确定性有限状态机的最小测试成本迁移覆盖准则
基于维基百科的语义知识库及其构建方法研究
软件网络的多粒度拓扑特性分析及其应用
一种基于拓扑势的网络社区发现方法
网络时代的人工智能
软件结构属性分析与恶意软件检测
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems
Novel encryption model for multimedia data
Web应用功能交互的建模与测试用例生成
基于规格说明的若干逻辑覆盖测试准则
基于场景规约的系统行为建模
构件组合的抽象精化验证
Automatic Generating Test Cases for Testing Web applications
一种面向语义Web服务的软件设计语言和设计方法
一种基于签名和属性的可执行文件比较
网络化软件的复杂网络特性实证
Steady state speed distribution analysis for a combined cellular automaton traffic model
Object-Z规格说明测试用例的自动生成器
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于复杂网络社团划分的Web services聚类
一种基于语义消息的Web服务组合方法
一种基于Spring的轻量级面向服务组件框架
一种体系结构层方面组合的冲突处理方法
基于层次赋时CPN的网络系统建模与可生存性优化
一种支持设计时软件重用的方法ArchBean
基于小波变换的真菌隐球酵母菌图像参数压缩
复杂软件第三方自适应测试研究
非一致OWL本体的推理方法研究
Classification evolution algorithm based on cloud model
A Method for Trust Management in Cloud Computing： Data Coloring by Cloud Watermarking
Generating test case specifications of web service composition using model checking
战场关键事件提取技术研究
需求工程——对复杂系统的软件工程的基础研究
提高程序代码通用性和易维护性问题的研究
李德毅;的项目