...
机译:用于语义访问正式软件模型的自动化工具
School of Engineering and Applied Science, Aston University, Birmingham, UK;
Department of Computer Science, University of Sheffield, UK;
Department of Computer Science, The University of Auckland, New Zealand;
Semantic Web; Ontology; Formal method; Software engineering;
机译:关于使用软件工具教授正式语义的一些创新
机译:软件语义和语法作为自动测试生成的工具
机译:基于形式语义的机床故障诊断知识建模方法研究
机译:增强了对正式软件模型的语义访问
机译:软件定义网络的基于角色的访问控制:正式模型和实现
机译:概念问题和标准。医疗硬件软件和信息交换的标准:脉搏血氧仪的MIB软件语义模型ASN.1消息传递
机译:基于可配置形式语义的跟踪自动推理工具
机译:使用自动分析工具进行形式建模来设计和参数化分析多机器人协调协议:案例研究。