Semantic Versioning; Version Management; Software Versioning;
机译:法律文档的语义丰富化的版本链接:Emerald:在语义Web方法中基于知识的服务的实现
机译:基于语义注释的询问:基于上下文的关键字形式查询的构造
机译:对证书管理策略的正式支持
机译:基于正式认证的语义版本管理
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:基于广义概率自动机的语义计算形式模型
机译:在既定的,非正式的北欧生态管理和生态认证系统之间建立合作关系:第2部分
机译:基于语义的软件原型变更合并的形式化方法