|
Trudy SPIIRAN, 2007, Issue 5, Pages 275–283
(Mi trspy313)
|
|
|
|
Coverage methods in IDEF-0 models verification
A.Y. Podyachev
Abstract:
Today’s model driven development of complex software designs requires reliable verification methods. This paper presents metrics of simulation testing and they application in models verification context.
Citation:
A.Y. Podyachev, “Coverage methods in IDEF-0 models verification”, Tr. SPIIRAN, 5 (2007), 275–283
Linking options:
https://www.mathnet.ru/eng/trspy313 https://www.mathnet.ru/eng/trspy/v5/p275
|
Statistics & downloads: |
Abstract page: | 126 | Full-text PDF : | 59 | References: | 1 | First page: | 1 |
|