JP4589294B2 - 設計/検証支援プログラムおよび該プログラムを記録した記録媒体 - Google Patents
設計/検証支援プログラムおよび該プログラムを記録した記録媒体 Download PDFInfo
- Publication number
- JP4589294B2 JP4589294B2 JP2006314316A JP2006314316A JP4589294B2 JP 4589294 B2 JP4589294 B2 JP 4589294B2 JP 2006314316 A JP2006314316 A JP 2006314316A JP 2006314316 A JP2006314316 A JP 2006314316A JP 4589294 B2 JP4589294 B2 JP 4589294B2
- Authority
- JP
- Japan
- Prior art keywords
- diagram
- activity
- use case
- verification
- target
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
- 238000012795 verification Methods 0.000 title claims abstract description 230
- 238000013461 design Methods 0.000 title claims abstract description 146
- 238000010586 diagram Methods 0.000 claims abstract description 701
- 230000000694 effects Effects 0.000 claims abstract description 535
- 238000000034 method Methods 0.000 claims abstract description 108
- 238000012545 processing Methods 0.000 claims abstract description 70
- 238000006243 chemical reaction Methods 0.000 claims description 131
- 230000006870 function Effects 0.000 claims description 48
- 238000004458 analytical method Methods 0.000 claims description 45
- 230000008569 process Effects 0.000 claims description 37
- 238000011144 upstream manufacturing Methods 0.000 description 6
- 230000000875 corresponding effect Effects 0.000 description 4
- 230000005540 biological transmission Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 238000004904 shortening Methods 0.000 description 1
- 238000012916 structural analysis Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Stored Programmes (AREA)
Description
まず、この発明の実施の形態にかかる設計/検証支援装置のハードウェア構成について説明する。図1は、この発明の実施の形態にかかる設計/検証支援装置のハードウェア構成を示すブロック図である。
つぎに、この発明の実施の形態にかかる設計/検証支援装置の機能的構成について説明する。図2は、この発明の実施の形態にかかる設計/検証支援装置の機能的構成を示すブロック図である。図2において、設計/検証支援装置200は、取得部201と構造解析部202と変換部203と検証部204と出力部205を備えている。これらの機能的構成は、具体的には、たとえば、図1に示したROM102、RAM103、HD105、FD107などに記録されたプログラムを、CPU101が実行することによって、またはI/F109によってその機能を実現する。
つぎに、変換部203におけるユースケース図211とアクティビティ図212との変換ルールについて説明する。図3は、変換ルール<R1>,<R2>を示す説明図であり、図4は、変換ルール<R3>,<R4>を示す説明図である。
対象ユースケース図211が包含関係のあるユースケースA,Bを含むユースケース図300である場合、ユースケースAが包含元、ユースケースBが包含先であるとすると、ユースケースAを、アクティビティAを処理するアクティビティ図311に変換し、ユースケースBを、アクティビティAのサブアクティビティBを処理するサブアクティビティ図312に変換する。
対象アクティビティ図212がアクティビティAを処理するアクティビティ図311とそのサブアクティビティBを処理するサブアクティビティ図312を含むアクティビティ図集合310である場合、アクティビティAを包含元のユースケースA、サブアクティビティBをその包含先のユースケースBとするユースケース図300に変換する。
対象ユースケース図211が拡張関係のあるユースケースA,Bを含むユースケース図400である場合、ユースケースAが拡張対象、ユースケースBがその拡張機能であるとすると、ユースケースAを、アクティビティAを処理するアクティビティ図411に変換し、ユースケースBを、分岐によりアクティビティAのサブアクティビティBを処理する場合があるサブアクティビティ図412に変換する。
対象アクティビティ図212がアクティビティAを処理するアクティビティ図411と分岐によりそのサブアクティビティBを処理する場合があるサブアクティビティ図412を含むアクティビティ図集合410である場合、アクティビティAを拡張対象となるユースケースAとし、サブアクティビティBをその拡張機能となるユースケースBとするユースケース図400に変換する。
汎化関係のユースケースA,Bはそれぞれ上位のアクティビティA,Bを処理するアクティビティ図1101,1102となる。この場合、アクティビティAのサブアクティビティが存在すると、アクティビティ図1102に対するサブアクティビティ図は、アクティビティ図Aのサブアクティビティ図と同一処理内容のアクティビティ図となる。なお、アクティビティ図集合1110,1120では、汎化関係を特定できないため、アクティビティ図集合1110,1120からユースケース図1100には変換できない。
つぎに、検証部204による検証の具体例について説明する。図12は、検証処理内容を示す説明図である。図12において、ユースケース図1201が正しいと仮定する。アクティビティ図集合1210を対象アクティビティ図212とすると、このアクティビティ図集合1210を変換することで変換済みユースケース図1202を得る。
つぎに、この発明の実施の形態にかかる設計/検証支援装置200の設計/検証支援処理手順について説明する。図16は、ユースケース図からアクティビティ図に変換する場合の設計/検証支援処理手順を示すフローチャートである。
前記取得工程によって取得されたユースケース図の構造を解析させる解析工程と、
前記解析工程によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換させる変換工程と、
前記変換工程によって変換されたアクティビティ図を出力させる出力工程と、
をコンピュータに実行させることを特徴とする設計/検証支援プログラム。
前記取得工程によって取得されたアクティビティ図の構造を解析させる解析工程と、
前記解析工程によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の機能を表現するユースケース図に変換させる変換工程と、
前記変換工程によって変換されたユースケース図を出力させる出力工程と、
をコンピュータに実行させることを特徴とする設計/検証支援プログラム。
前記取得工程によって取得されたユースケース図の構造を解析させる解析工程と、
前記解析工程によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換させる変換工程と、
前記取得工程によって取得されたアクティビティ図と前記変換工程によって変換されたアクティビティ図との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力させる出力工程と、
をコンピュータに実行させることを特徴とする設計/検証支援プログラム。
前記取得工程によって取得されたアクティビティ図が前記変換工程によって変換されたアクティビティ図に含まれているか否かという検証をおこなわせることを特徴とする付記3に記載の設計/検証支援プログラム。
前記取得工程によって取得されたアクティビティ図の構造と前記変換工程によって変換されたアクティビティ図の構造との一致検証をおこなわせることを特徴とする付記3に記載の設計/検証支援プログラム。
前記取得工程によって取得されたアクティビティ図の構造を解析させる解析工程と、
前記解析工程によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の処理手順を表現するユースケース図に変換させる変換工程と、
前記取得工程によって取得されたユースケース図と前記変換工程によって変換されたユースケース図との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力させる出力工程と、
をコンピュータに実行させることを特徴とする設計/検証支援プログラム。
前記取得工程によって取得されたユースケース図の構造と前記変換工程によって変換されたユースケース図の構造との一致検証をおこなわせることを特徴とする付記6に記載の設計/検証支援プログラム。
ユースケースの一致検証をおこなわせることを特徴とする付記7に記載の設計/検証支援プログラム。
ユースケース間の関係の一致検証をおこなわせることを特徴とする付記7または8に記載の設計/検証支援プログラム。
前記取得手段によって取得されたユースケース図の構造を解析する解析手段と、
前記解析手段によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換する変換手段と、
前記変換手段によって変換されたアクティビティ図を出力する出力手段と、
を備えることを特徴とする設計/検証支援装置。
前記取得手段によって取得されたアクティビティ図の構造を解析する解析手段と、
前記解析手段によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の機能を表現するユースケース図に変換する変換手段と、
前記変換手段によって変換されたユースケース図を出力する出力手段と、
を備えることを特徴とする設計/検証支援装置。
前記取得手段によって取得されたユースケース図の構造を解析する解析手段と、
前記解析手段によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換する変換手段と、
前記取得手段によって取得されたアクティビティ図と前記変換手段によって変換されたアクティビティ図との同一性の検証をおこなわせる検証手段と、
前記検証手段によって検証された検証結果を出力する出力手段と、
を備えることを特徴とする設計/検証支援装置。
前記取得手段によって取得されたアクティビティ図が前記変換手段によって変換されたアクティビティ図に含まれているか否かという検証をおこなうことを特徴とする付記13に記載の設計/検証支援装置。
前記取得手段によって取得されたアクティビティ図の構造と前記変換手段によって変換されたアクティビティ図の構造との一致検証をおこなうことを特徴とする付記13に記載の設計/検証支援装置。
前記取得手段によって取得されたアクティビティ図の構造を解析する解析手段と、
前記解析手段によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の処理手順を表現するユースケース図に変換する変換手段と、
前記取得手段によって取得されたユースケース図と前記変換手段によって変換されたユースケース図との同一性の検証をおこなわせる検証手段と、
前記検証手段によって検証された検証結果を出力する出力手段と、
を備えることを特徴とする設計/検証支援装置。
前記取得手段によって取得されたユースケース図の構造と前記変換手段によって変換されたユースケース図の構造との一致検証をおこなうことを特徴とする付記16に記載の設計/検証支援装置。
ユースケースの一致検証をおこなうことを特徴とする付記17に記載の設計/検証支援装置。
ユースケース間の関係の一致検証をおこなうことを特徴とする付記17または18に記載の設計/検証支援装置。
前記取得工程によって取得されたユースケース図の構造を解析する解析工程と、
前記解析工程によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換する変換工程と、
前記変換工程によって変換されたアクティビティ図を出力する出力工程と、
を含んだことを特徴とする設計/検証支援方法。
前記取得工程によって取得されたアクティビティ図の構造を解析する解析工程と、
前記解析工程によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の機能を表現するユースケース図に変換する変換工程と、
前記変換工程によって変換されたユースケース図を出力する出力工程と、
を含んだことを特徴とする設計/検証支援方法。
前記取得工程によって取得されたユースケース図の構造を解析する解析工程と、
前記解析工程によって解析された構造に基づいて、前記ユースケース図を前記設計/検証対象の処理手順を表現するアクティビティ図に変換する変換工程と、
前記取得工程によって取得されたアクティビティ図と前記変換工程によって変換されたアクティビティ図との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力する出力工程と、
を含んだことを特徴とする設計/検証支援方法。
前記取得工程によって取得されたアクティビティ図が前記変換工程によって変換されたアクティビティ図に含まれているか否かという検証をおこなうことを特徴とする付記22に記載の設計/検証支援方法。
前記取得工程によって取得されたアクティビティ図の構造と前記変換工程によって変換されたアクティビティ図の構造との一致検証をおこなうことを特徴とする付記22に記載の設計/検証支援方法。
前記取得工程によって取得されたアクティビティ図の構造を解析する解析工程と、
前記解析工程によって解析された構造に基づいて、前記アクティビティ図を前記設計/検証対象の処理手順を表現するユースケース図に変換する変換工程と、
前記取得工程によって取得されたユースケース図と前記変換工程によって変換されたユースケース図との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力する出力工程と、
を含んだことを特徴とする設計/検証支援方法。
前記取得工程によって取得されたユースケース図の構造と前記変換工程によって変換されたユースケース図の構造との一致検証をおこなうことを特徴とする付記25に記載の設計/検証支援方法。
ユースケースの一致検証をおこなうことを特徴とする付記26に記載の設計/検証支援方法。
ユースケース間の関係の一致検証をおこなうことを特徴とする付記26または27に記載の設計/検証支援方法。
201 取得部
202 構造解析部
203 変換部
204 検証部
205 出力部
221 ユースケース図構造解析部
222 アクティビティ図構造解析部
231 ユースケース図/アクティビティ図変換部
232 アクティビティ図/ユースケース図変換部
241 アクティビティ図検証部
242 ユースケース図検証部
Claims (8)
- 包含、拡張、汎化のうち少なくともいずれか1つにより表現されるユースケース図に等価なアクティビティ図と、前記ユースケース図から前記等価なアクティビティ図への変換を定義した変換ルールとを記憶する記憶装置にアクセス可能なコンピュータに、
包含、拡張、汎化のうち少なくともいずれか1つにより設計/検証対象の機能を表現する対象ユースケース図を取得させる取得工程と、
前記取得工程によって取得された対象ユースケース図の構造を解析させる解析工程と、
前記解析工程によって解析された前記対象ユースケース図を表現する包含、拡張、汎化のうち少なくともいずれか1つの構造に基づいて、前記記憶装置に記憶されている変換ルールを参照して、前記対象ユースケース図と等価なアクティビティ図を前記記憶装置から選択することにより、前記設計/検証対象の処理手順を表現するアクティビティ図に変換させる変換工程と、
前記変換工程によって変換されたアクティビティ図を出力させる出力工程と、
を実行させることを特徴とする設計/検証支援プログラム。 - アクティビティを処理するアクティビティ図と前記アクティビティのサブアクティビティを処理するまたは条件分岐により処理する場合があるサブアクティビティ図を有するアクティビティ図集合に等価な包含、拡張のうち少なくともいずれか1つを含むユースケース図と、前記アクティビティ図集合から前記ユースケース図への変換を定義した変換ルールとを記憶する記憶装置にアクセス可能なコンピュータに、
前記アクティビティを処理するアクティビティ図と前記アクティビティのサブアクティビティを処理するまたは条件分岐により処理する場合があるサブアクティビティ図を有し設計/検証対象の処理手順を表現する対象アクティビティ図集合を取得させる取得工程と、
前記取得工程によって取得された対象アクティビティ図集合の構造を解析させる解析工程と、
前記解析工程によって解析された前記対象アクティビティ図集合に含まれているサブアクティビティ図の構造に基づいて、前記記憶装置に記憶されている変換ルールを参照して、前記対象アクティビティ図集合と等価な包含、拡張のうち少なくともいずれか1つを含むユースケース図を前記記憶装置から選択することにより、前記対象アクティビティ図集合を、前記設計/検証対象の機能を表現する前記選択されたユースケース図に変換させる変換工程と、
前記変換工程によって変換されたユースケース図を出力させる出力工程と、
を実行させることを特徴とする設計/検証支援プログラム。 - 包含、拡張、汎化のうち少なくともいずれか1つにより表現されるユースケース図と等価なアクティビティ図と、前記ユースケース図から前記等価なアクティビティ図への変換を定義した変換ルールとを記憶する記憶装置にアクセス可能なコンピュータに、
包含、拡張、汎化のうち少なくともいずれか1つにより設計/検証対象の機能を表現する対象ユースケース図と、アクティビティを処理するアクティビティ図と前記アクティビティのサブアクティビティを処理するまたは条件分岐により処理する場合があるサブアクティビティ図を有し前記設計/検証対象の処理手順を表現する対象アクティビティ図集合とを取得させる取得工程と、
前記取得工程によって取得された対象ユースケース図の構造を解析させる解析工程と、
前記解析工程によって解析された前記対象ユースケース図を表現する包含、拡張、汎化のうち少なくともいずれか1つの構造に基づいて、前記記憶装置に記憶されている変換ルールを参照して、前記対象ユースケース図に等価なアクティビティ図を前記記憶装置から選択することにより、前記設計/検証対象の処理手順を表現するアクティビティ図集合に変換させる変換工程と、
前記取得工程によって取得された対象アクティビティ図集合と前記変換工程によって変換されたアクティビティ図集合との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力させる出力工程と、
を実行させることを特徴とする設計/検証支援プログラム。 - 前記検証工程は、
前記取得工程によって取得されたアクティビティ図が前記変換工程によって変換されたアクティビティ図に含まれているか否かという検証をおこなわせることを特徴とする請求項3に記載の設計/検証支援プログラム。 - 前記検証工程は、
前記取得工程によって取得されたアクティビティ図の構造と前記変換工程によって変換されたアクティビティ図の構造との一致検証をおこなわせることを特徴とする請求項3に記載の設計/検証支援プログラム。 - アクティビティを処理するアクティビティ図と前記アクティビティのサブアクティビティを処理するまたは条件分岐により処理する場合があるサブアクティビティ図を有するアクティビティ図集合に等価な包含、拡張のうち少なくともいずれか1つを含むユースケース図と、前記アクティビティ図集合から前記ユースケース図への変換を定義した変換ルールとを記憶する記憶装置にアクセス可能なコンピュータに、
包含、拡張のうち少なくともいずれか1つにより設計/検証対象の機能を表現する対象ユースケース図と、アクティビティを処理するアクティビティ図と前記アクティビティのサブアクティビティを処理するまたは条件分岐により処理する場合があるサブアクティビティ図を有し前記設計/検証対象の処理手順を表現する対象アクティビティ図集合とを取得させる取得工程と、
前記取得工程によって取得された対象アクティビティ図の構造を解析させる解析工程と、
前記解析工程によって解析された前記対象アクティビティ図集合に含まれているサブアクティビティ図の構造に基づいて、前記記憶装置に記憶されている変換ルールを参照して、前記対象アクティビティ図集合に等価な包含、拡張のうち少なくともいずれか1つを含むユースケース図を前記記憶装置から選択することにより、前記対象アクティビティ図集合を、前記設計/検証対象の機能を表現する前記選択されたユースケース図に変換させる変換工程と、
前記取得工程によって取得された対象ユースケース図と前記変換工程によって変換されたユースケース図との同一性の検証をおこなわせる検証工程と、
前記検証工程によって検証された検証結果を出力させる出力工程と、
を実行させることを特徴とする設計/検証支援プログラム。 - 前記検証工程は、
前記取得工程によって取得されたユースケース図の構造と前記変換工程によって変換されたユースケース図の構造との一致検証をおこなわせることを特徴とする請求項6に記載の設計/検証支援プログラム。 - 請求項1〜7のいずれか一つに記載の設計/検証支援プログラムを前記コンピュータに記録した記録媒体。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006314316A JP4589294B2 (ja) | 2006-11-21 | 2006-11-21 | 設計/検証支援プログラムおよび該プログラムを記録した記録媒体 |
US11/896,301 US8370781B2 (en) | 2006-11-21 | 2007-08-30 | Computer product for supporting design and verification of integrated circuit |
US13/730,102 US9177088B2 (en) | 2006-11-21 | 2012-12-28 | Computer product for supporting design and verification of integrated circuit |
US14/851,501 US9378316B2 (en) | 2006-11-21 | 2015-09-11 | Computer product for supporting design and verification of integrated circuit |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2006314316A JP4589294B2 (ja) | 2006-11-21 | 2006-11-21 | 設計/検証支援プログラムおよび該プログラムを記録した記録媒体 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2008129858A JP2008129858A (ja) | 2008-06-05 |
JP4589294B2 true JP4589294B2 (ja) | 2010-12-01 |
Family
ID=39418329
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2006314316A Expired - Fee Related JP4589294B2 (ja) | 2006-11-21 | 2006-11-21 | 設計/検証支援プログラムおよび該プログラムを記録した記録媒体 |
Country Status (2)
Country | Link |
---|---|
US (3) | US8370781B2 (ja) |
JP (1) | JP4589294B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9069559B2 (en) * | 2010-06-30 | 2015-06-30 | International Business Machines Corporation | Modularizing steps within a UML user model interaction pattern |
CN109614096B (zh) * | 2018-11-27 | 2022-05-06 | 成都信息工程大学 | 一种基于uml需求建模过程用例与活动转换的方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000112747A (ja) * | 1998-10-01 | 2000-04-21 | Fujitsu Ltd | プログラム資産における非実行文の等価性検証装置 |
JP2004070810A (ja) * | 2002-08-08 | 2004-03-04 | Nippon Telegr & Teleph Corp <Ntt> | ビジュアルプログラミングシステム、ビジュアルプログラミング方法、ビジュアルプログラミング用プログラム及びそのプログラムを記録した記録媒体 |
US20040078777A1 (en) * | 2002-10-22 | 2004-04-22 | Ali Bahrami | System and methods for business process modeling |
US20050256665A1 (en) * | 2004-01-26 | 2005-11-17 | Jean Hartmann | System and method for model based system testing of interactive applications |
JP2008077449A (ja) * | 2006-09-22 | 2008-04-03 | Meidensha Corp | ソフトウェア開発支援システムおよび支援方法 |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5519630A (en) * | 1993-03-22 | 1996-05-21 | Matsushita Electric Industrial Co., Ltd. | LSI automated design system |
JP4625155B2 (ja) | 1999-04-06 | 2011-02-02 | 新日鉄ソリューションズ株式会社 | 要求仕様記述支援装置およびその方法、記録媒体 |
US6718535B1 (en) * | 1999-07-30 | 2004-04-06 | Accenture Llp | System, method and article of manufacture for an activity framework design in an e-commerce based environment |
US6681383B1 (en) * | 2000-04-04 | 2004-01-20 | Sosy, Inc. | Automatic software production system |
JP2003076548A (ja) | 2001-09-03 | 2003-03-14 | Kawasaki Heavy Ind Ltd | 知識情報処理システムの開発支援方法および開発支援システム |
JP2003108220A (ja) | 2001-09-28 | 2003-04-11 | Omron Corp | 制御プログラム開発支援方法及び装置 |
JP2003178103A (ja) | 2001-12-10 | 2003-06-27 | Nippon Telegr & Teleph Corp <Ntt> | ネットワークシミュレーションシステム、ネットワークシステムの性能評価方法およびそのプログラム |
AU2003239209A1 (en) | 2002-06-12 | 2003-12-31 | I-Logix Inc. | Providing dynamic model-code associativity |
US7272820B2 (en) * | 2002-12-12 | 2007-09-18 | Extrapoles Pty Limited | Graphical development of fully executable transactional workflow applications with adaptive high-performance capacity |
JP4255079B2 (ja) * | 2004-09-30 | 2009-04-15 | 株式会社リコー | アサーション生成システムと回路検証システムおよびプログラムならびにアサーション生成方法 |
US7950004B2 (en) * | 2005-10-21 | 2011-05-24 | Siemens Corporation | Devices systems and methods for testing software |
-
2006
- 2006-11-21 JP JP2006314316A patent/JP4589294B2/ja not_active Expired - Fee Related
-
2007
- 2007-08-30 US US11/896,301 patent/US8370781B2/en active Active
-
2012
- 2012-12-28 US US13/730,102 patent/US9177088B2/en not_active Expired - Fee Related
-
2015
- 2015-09-11 US US14/851,501 patent/US9378316B2/en active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000112747A (ja) * | 1998-10-01 | 2000-04-21 | Fujitsu Ltd | プログラム資産における非実行文の等価性検証装置 |
JP2004070810A (ja) * | 2002-08-08 | 2004-03-04 | Nippon Telegr & Teleph Corp <Ntt> | ビジュアルプログラミングシステム、ビジュアルプログラミング方法、ビジュアルプログラミング用プログラム及びそのプログラムを記録した記録媒体 |
US20040078777A1 (en) * | 2002-10-22 | 2004-04-22 | Ali Bahrami | System and methods for business process modeling |
US20050256665A1 (en) * | 2004-01-26 | 2005-11-17 | Jean Hartmann | System and method for model based system testing of interactive applications |
JP2008077449A (ja) * | 2006-09-22 | 2008-04-03 | Meidensha Corp | ソフトウェア開発支援システムおよび支援方法 |
Also Published As
Publication number | Publication date |
---|---|
US20130117720A1 (en) | 2013-05-09 |
US20150379177A1 (en) | 2015-12-31 |
US9177088B2 (en) | 2015-11-03 |
US9378316B2 (en) | 2016-06-28 |
JP2008129858A (ja) | 2008-06-05 |
US8370781B2 (en) | 2013-02-05 |
US20080120581A1 (en) | 2008-05-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4783658B2 (ja) | 検証支援装置、検証支援方法、検証支援プログラム、および記録媒体 | |
US10678406B1 (en) | Conversational user interface design | |
US11249942B2 (en) | Systems and methods for electronically generating submittal registers | |
Wang et al. | A systematic test case selection methodology for product lines: results and insights from an industrial case study | |
JP4707191B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
JP4759392B2 (ja) | 検証支援プログラム、該プログラムを記録した記録媒体、検証支援装置、および検証支援方法 | |
Gunawardhana | Process of requirement analysis link to software development | |
JP4351186B2 (ja) | 仕様書確認方法、仕様書確認プログラム、該プログラムを記録した記録媒体、および仕様書確認装置 | |
Aleixo et al. | A Model-driven Approach to Managing and Customizing Software Process Variabilities. | |
JP4589294B2 (ja) | 設計/検証支援プログラムおよび該プログラムを記録した記録媒体 | |
Gürses et al. | Requirements engineering within a large-scale security-oriented research project: lessons learned | |
JP4819593B2 (ja) | 情報処理装置及び情報処理方法及び情報処理プログラム | |
JPWO2010140240A1 (ja) | プロセス設計プログラム、プロセス設計装置およびプロセス設計方法 | |
WO2018183179A1 (en) | Method and apparatus for in-situ querying support for industrial environments | |
US9858113B2 (en) | Creating execution flow by associating execution component information with task name | |
Neto et al. | Developing and evaluating web multimodal interfaces-a case study with usability principles | |
JP2008041002A (ja) | 文書処理装置および文書処理プログラム | |
López-Jaquero et al. | Comprehensive task and dialog modelling | |
Caffiau et al. | Generating interactive applications from task models: A hard challenge | |
JP2007233905A (ja) | 要求仕様作成支援方法、そのプログラム及び要求仕様作成支援装置 | |
Okawa et al. | An information system development method based on the link of business process modeling with executable UML modeling and its evaluation by Prototyping | |
Baudoin | The evolution and ecosystem of the unified modeling language | |
JP2006126943A (ja) | ワークフロー管理装置、ネットワークシステム、制御方法、及びプログラム | |
Kealey et al. | Towards the automated conversion of natural-language use cases to graphical use case maps | |
JP2007034806A (ja) | 情報処理装置及びプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20081117 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20090501 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090519 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090721 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100511 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100712 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20100907 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20100909 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4589294 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130917 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |