precise scenario; formal method; requirements specification; use case; Z notation;
机译:基于面向流程的规范对组织方案执行情况的形式化分析
机译:基于面向流程的规范对组织方案执行情况的形式化分析
机译:为服务企业敏捷性基础构建一致的正式规范
机译:精确方案-正式规格的客户友好基础
机译:规范软件体系结构的正式基础。
机译:道德基础渐晕:基于道德基础理论的情景标准化激励数据库
机译:精确的方案 - 正式规范的客户友好基础
机译:软件体系结构规范的正式基础