Privacy; Regulations; Consent Socio-technical systems; Requirements; Modeling Automated reasoning;
机译:针对运行时间需求验证的模糊目标模型的高效并行推理
机译:软目标相互依赖关系下非功能需求冲突的语义建模和自动推理
机译:社会技术系统中安全需求的建模和推理
机译:关于隐私同意要求的建模与推理
机译:不断发展的意图:支持对随着时间的推移而改变的要求的建模和推理
机译:各种生命科学教科书中知识表示和推理要求的比较分析
机译:多需求模型推理的元模型方法
机译:将默认和似然推理建模为概率推理