温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素，更完整地支持软件体...
该专利属于上海交通大学所有，仅供学习研究参考，未经过上海交通大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。