IT Syst. Dept., Nat. Competition Comm., Madrid;
formal specification; formal verification; security of data; systems analysis; CARE; SREPPLineTool; automated support; computer-aided requirements engineering; security quality requirements engineering process; security reference model; software product line domain engineering; Common Criteria; Security requirements; product lines; security; security variability;
机译:迈向软件产品线的安全需求管理:安全域需求工程流程
机译:IDEAS09:为软件产品线应用安全域需求工程流程
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:软件产品线领域工程中对安全需求工程的自动化支持
机译:一种基于本体的语义方法,可在产品装配设计和培训领域中支持工程知识的保留和交换。
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:加快产品软件公司中的需求管理:通过语言工程将客户的需求与产品需求联系起来