公开(公告)号：CN102707938B

公开(公告)日：2015-06-03

申请号：CN201210018995.5

申请日：2012-01-20

Applicant: 株式会社日立制作所

Inventor： 佐藤直人 ,  来间启伸 ,  三部良太 ,  石川贞裕 ,  只野完二 ,  斋藤浩

IPC: G06F9/44

Abstract: 本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。

公开(公告)号：CN102707938A

公开(公告)日：2012-10-03

申请号：CN201210018995.5

申请日：2012-01-20

Applicant: 株式会社日立制作所

Inventor： 佐藤直人 ,  来间启伸 ,  三部良太 ,  石川贞裕 ,  只野完二 ,  斋藤浩

IPC: G06F9/44

Abstract: 本发明提供一种表形式软件规格制作支援方法及装置，削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元，上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格，则对于上述多个命题形式的规格中的每一个，取出该命题形式的规格的条件部和结果部而制作上述决定表的行，对与该命题形式的规格对应的列的该行的栏加标记，上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格，判断上述两个命题形式的规格的条件部的逻辑积是否为可满足，若为可满足，则输出为上述多个命题形式的规格中的每一个相互矛盾。

公开(公告)号：CN102035990A

公开(公告)日：2011-04-27

申请号：CN201010170326.0

申请日：2010-04-29

Applicant: 株式会社日立制作所

Inventor： 稻田高洋 ,  本宫志江 ,  野村茂丰 ,  只野完二

IPC: H04N1/46 ,  H04N1/56 ,  H04N1/60 ,  G06T1/00

CPC classification number: G06T11/001

Abstract: 本发明提供一种内容画面的颜色定制方法，以便能够以用户容易视觉辨认的颜色来显示构成所显示的画面的各部。在内容画面中选择作为部件的操作按钮作为颜色定制对象时，显示颜色定制操作画面(17a)，该颜色定制操作画面(17a)具有与该操作按钮对应的颜色选择器显示区域(19)、与该操作按钮所重叠显示的布局(背景)对应的颜色选择器显示区域(20)。在颜色选择器显示区域(19)中显示作为构成该操作按钮的要素的文字、背景、框线各自的颜色选择器(19a、19b、19c)，可以在它们的调色板中选择各个要素的颜色。在颜色选择器显示区域(20)中也显示作为构成布局的要素的文字、背景、框线各自的颜色选择器(20a、20b、20c)，可以在它们的调色板中选择各个要素的颜色。