机译:GODA:用于运行时可靠性分析的面向目标的需求工程框架
Univ Brasilia, Dept Comp Sci, BR-70910900 Brasilia, DF, Brazil|Politecn Milan, Dipartimento Elettron Informaz & Bioingn, Milan, Italy;
Univ Brasilia, Dept Comp Sci, BR-70910900 Brasilia, DF, Brazil;
Bournemouth Univ, Fac Sci & Technol, Poole BH12 5BB, Dorset, England;
Univ Brasilia, Dept Comp Sci, BR-70910900 Brasilia, DF, Brazil;
Politecn Milan, Dipartimento Elettron Informaz & Bioingn, Milan, Italy;
Goal modeling; Dependability; Probabilistic model checking; Runtime analysis;
机译:通过敏感性分析,基于混合分析层次的过程的定量满足传播在目标需求工程中
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:Web工程中面向目标的需求分析的MDA方法
机译:基于面向目标的需求工程,模型检查和定性偏好分析的服务组合框架
机译:基于调查表,场景驱动的需求工程:一种面向目标的方法。
机译:面向目标的需求工程:扩展的系统映射研究
机译:GODA:用于运行时可靠性分析的面向目标的需求工程框架