模型求精相关论文
安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AAD......
针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建......
随着软件应用领域的不断扩展和深入,软件的规模和复杂性在逐渐扩大和提高。人们对软件的质量和生产效率也提出了更高的要求。软件......
