可信软件体系相关论文
一、可信SOA模型 本文在可信SOA模型建模中，结合服务接口是面向服务软件体系结构描述的关键问题，针对服务接口展开了接口模型建设......
提出基于模型驱动架构的软件开发过程，利用可执行形式化规范，有效提高软件开发效率和可测试性，并通过基于可执行规范的运行时监控技术......
