欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本项目是"可信软件基础研究"重大研究计划的子项目，主要针对可信软件构造中的可信软件需求工程问题。研究面向可信软件的需求获取、形式规约及需求分析方法，非功能需求的冲突消解与完整性表达方式等。我们采用元需求法，从可信软件的需求特点、以及可信软件的特点出发，研究基于元需求的可信软件需求获取与分析方法及辅助工具。首先，研究了功能性和非功能性元需求模型及元需求集；接着，提出了基于扎根理论和基于聚类的元需求获取方法，并给出了非功能需求获取的四种模式；然后，提出了FO-QSIG和FQ-QSIG模型分别定量、定量与定性相结合地对非功能元需求中的冲突权衡问题进行了分析，并重点研究了非功能需求中的安全性。最后，引入了本体，采用基于web的形式化描述方法进行了形式化规约，并开发了一个需求管理系统。 此外，对可信web服务及可信电子商务进行了扩展研究。
结论摘要：
英文主题词Trustworthy software；meta-requirement model； Requirements acquisition； Requirements analysis；Trustworthy web service
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
会议论文
相关项目
陈晓红的项目
