专利名称：SPECIFICATIONS CONFIRMATION METHOD, SPECIFICATIONS CONFIRMATION
起的成语PROGRAM, RECORDING MEDIUM WITH THE
PROGRAM RECORDED THEREON, AND
SPECIFICATIONS CONFIRMATION DEVICE 发明人：SHU TSUTOMU，朱 強,OISHI RYOSUKE，大石 亮介,NAKADA TSUNEO，中田 恒夫
申请号：JP2005147247
申请日：20050519
公开号：JP2006323694A
秘制凤爪公开日：
20061130
专利内容由知识产权出版社提供专利附图：
集赞
红烧螺丝摘要：
孟令浩PROBLEM TO BE SOLVED: To improve design quality, to reduce a design period and to reduce design labor by removing leakage, contradiction, and ambiguity of specifications in a preceding stage of mounting.寒假中的一件事
SOLUTION: In this specifications confirmation device 200, a u ca extraction part 202 extracts an unprocesd u ca from specifications information 201. Next, a first tting part 203 ts conditions A by u of a precondition (UPRE), a postcondition (UPOS) and an invariable condition (UINV) related to the u ca. An operation extraction part 204 lects an event flow of an unprocesd path from the specifications information 201, and extracts unprocesd operation (description) from the event flow. Thereafter, a cond tting part 205 ts a precondition (OiPRE) and a postcondition (OiPOS) related to the operation from the extracted operation (description). A decision part 206 decides whether the invariable condition (UINV) related to the u ca is
satisfied or not.
COPYRIGHT: (C)2007,JPO&INPIT
申请人：FUJITSU LTD，富士通株式会社
菊花盛开
地址：神奈川県川崎市中原区上小田中４丁目１番１号国籍：JP
代理人：酒井 昭徳
招工启事更多信息请下载全文后查看
