位置：立项数据库 > 立项详情页
软件工程学
  • 项目名称：软件工程学
  • 项目类别：国家杰出青年科学基金
  • 批准号：60725206
  • 申请代码：F020202
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2011-12-31
  • 项目负责人：王戟
  • 负责人职称：教授
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2007
中文摘要：

从事面向UML和C的软件形式化验证与测试、混合系统建模与验证、分布自治软件系统的程序设计等方面的研究，先后主持了国家自然科学基金（重点）、国家973计划、国家863计划等10多个课题，取得国内外同行承认的突出创新成果，对我国软件形式化验证与测试技术的工程化产生了重要推动作用。在国内外重要学术刊物和包括自动软件工程（ASE）在内的国际重要学术会议上发表学术论文80余篇，研究工作被美、英、法等国际同行在IEEE Trans on Software Engineering、ACM Trans on Software Engineering and Methodology等刊物和会议上他引89次。获得国家发明专利1项，获得2项软件著作权，获得军队二等奖1项。荣立三等功2次，获全军育才金奖、中创软件人才奖，入选教育部新世纪优秀人才培养计划、湖南省普通高等院校学科带头人培养计划和湖南省121人才工程。

中文主题词： 可信软件、形式验证、程序理论
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 25
  • 10
  • 0
  • 0
  • 0
期刊论文
基于约束的多面体抽象域的弱接合
一种基于变量可达向量的链表抽象方法
Symbolic Model Checking APSL
A Programming Language Approach to Internet-Based Virtual Computing Environment
Demand-Driven Memory Leak Detection Based on Flow and Context-Sensitive Pointer Analysis
A Tighter Analysis of Piterman’s Büchi Determinization
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs
Quantitative Analysis for Symbolic Heap Bounds of CPS Software
线性 μ-演算交换深度的可判定性及其复杂度
ETL 的符号化模型检验
软件分析技术进展
基于约束的多面体抽象域的弱结合
面向参数化LTL的预测监控器构造技术
A Spectral Clustering-based Optimal Deployment Method for Scientific Application in Cloud Computing
单变量区间线性不等式抽象域
精确的堆内存使用量上界分析
发布/订阅系统中基于属性分组的匹配结构
静态栅栏分析中反例生成的改进
线性μ-演算交换深度的可判定性及其复杂度
发布订阅系统中的拒绝服务攻击
命令式程序终止性验证方法综述
ETL的符号化模型检验
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
会议论文
Linear Absolute Value Relation Analysis
Failure-Divergence Refinement of Compensating Communicating Processes
Computing Must and May Alias to Detect Null Pointer Dereference
Simple and Precise Widenings for H-Polyhedra
Symbolic Model Checking APSL
An Abstract Domain to Discover Interval Linear Equalities
A Sound Floating-Point Polyhedra Abstract Domain
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Software Active Online Monitoring under Anticipatory Semantics
An Extended cCSP with Stable Failures Semantics
王戟的项目
第1届CUE会议
混成系统设计演算
第19届软件工程自动化国际会议
"第10届高质量软件国际会议"国际合作交流
可信信息物理融合软件的分析与验证
期刊论文 3
　高安全等级操作系统设计验证的关键技术
期刊论文 6
网络计算环境的程序设计理论及关键技术
期刊论文 10
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时容错协议的形式化技术
期刊论文 5
面向UML的形式化测试技术