基于线性时序逻辑自适应软件的需求分析

• 作者: 程逸云
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 时序性 自适应 软件 逻辑需求
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 软件设计与开发
• 页码范围: 134-134,136
• 分类号: TP311
• 字数: 2943字
• 语种: 中文

摘要

本文研究了如何在自适应软件开发的各个开发阶段进行形式化定义,来保证自适应软件的正确性与可信性。利用有限自动机模型作为自适应软件的建模方法,该方法可以将对传统软件的分析方法直接用于自适应软件上。提出了一个基于目标的自适应软件需求分析方法

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程逸云	南京政治学院上海校区信息管理中心	5	19	3.0	4.0