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

一种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的...
该专利属于株式会社日立制作所所有，仅供学习研究参考，未经过株式会社日立制作所授权不得商用。

详细技术文档下载地址

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