下载大型复杂软件带约束逻辑属性的软件网络表示、存储与检索方法的技术资料

文档序号:16546513

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

本发明公开了一种大型复杂软件带约束逻辑属性的软件网络的表示、存储与检索方法。首先通过静态分析得到开源面向对象软件的关于包、类、方法、语句、变量、视频、音频、图片及其关系的相关信息。然后结合约束逻辑理论将语句信息转换为约束逻辑属性,结合复杂网...
该专利属于中南大学所有,仅供学习研究参考,未经过中南大学授权不得商用。

详细技术文档下载地址

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