semantic Web; formal specification; formal verification; knowledge representation; software engineering; software agents; software modeling; semantic Web; XML; intelligent software agents; knowledge representation; software engineering; consistency checking;
机译:在软件工程中应用语义Web技术的预期好处和重要性
机译:软件领域中的上下文感知-启用语义网络的建模方法
机译:跟踪软件存储库中的已知安全漏洞-一种支持语义网的建模方法
机译:软件建模技术和语义网
机译:将语义Web技术用于表示Web服务描述的配对软件代理。
机译:面向远程医疗创伤护理中软件密集型系统的语义Web技术的健康级别7第2版消息的融合
机译:软件建模技术和语义网