...
机译:Eddy,一种用于指定和分析数据流规范以应对冲突的隐私要求的正式语言
Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA;
Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA;
Institute for Software Research, Carnegie Mellon University, Pittsburgh, PA, USA;
Privacy; Requirements; Standardization; Description logic; Formal analysis;
机译:非正式和正式需求规范语言:弥合差距
机译:JPIAspectZ:联合点接口AOP应用程序的形式要求规范语言
机译:自然语言需求模型的形式规范推导策略
机译:SA样式数据流程图规范语言的形式语义
机译:隐私API:用于分析法律隐私要求的正式模型
机译:数据数据流和模型规范用于连接多级固定收费问题的数据数据流和模型规范简要介绍35(2021)106931
机译:多层应用程序的隐私要求规范的形式分析
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义