林连南
- 作品数：3 被引量：1H指数：1
- 供职机构：中国科学院成都计算机应用研究所更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 包含缺省的Z规约演化：一种可操作的方法
- 对于软件系统的需求工程,需求演化至关重要。目前,对此问题已有不少基于逻辑的解决方法。但我们认为,它们并没有提供足够丰富的元逻辑,来全面地刻画这个问题的各个方面。本文基于开放逻辑和 Brewka 缺省理论,提出了 Z 规约...
- 林连南吴尽昭
- 关键词：信念修正缺省推理开放逻辑
- 文献传递
- 基于交互式马尔可夫链的模型检验被引量：1
- 2008年
- 研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
- 许翔吴尽昭林连南陈剑锋
- 关键词：性能评价
- 包含缺省的Z规约演化：一种可操作的方法
- 对于软件系统的需求工程，需求演化至关重要。目前，对此问题已有不少基于逻辑的解决方法。但我们认为，它们并没有提供足够丰富的元逻辑，来全面地刻画这个问题的各个方面。本文基于开放逻辑和Brewka缺省理论，提出了Z规约演化的一...
- 林连南吴尽昭
- 关键词：信念修正开放逻辑
- 文献传递
