问题框架方法相关论文
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
轨旁系统是列车控制系统中安全级别最高的子系统之一,一旦出现问题,将可能造成列车乘客的人身和财产安全的损失,导致无法挽回的后......
信息物理融合系统(CPS)是一种复杂的混合系统,这个体统不仅含有物理实体也包含了软件实体.信息物理融合系统变成当今工业企业发展......
需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是：（1）对问题领域以及软......
计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析......
信息物理融合系统(CPS)是一种既包含物理实体又包含软件实体、融合物理过程与计算过程的混合系统,它已经成为当今工业信息化发展的......
在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题......
软件系统可靠性是软件工程领域的一个热点研究问题．文中以系统可靠性指标为依据，针对问题框架方法，提出了5种与问题相关的可靠性关注......
