软件规范开发辅助方法以及软件规范开发辅助装置

摘要

一种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部，对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范，判定2个命题形式的规范是否矛盾或重复，如果矛盾或重复，则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范，登录在检查结果保存部中，决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方，关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行，将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。