A design of a tool to verify completeness and consistency of object - oriented analysis


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 10, pp. 2453-2460, Oct. 1997
10.3745/KIPSTE.1997.4.10.2453,   PDF Download:

Abstract

Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. C. Su and J. Y. Jin, "A design of a tool to verify completeness and consistency of object - oriented analysis," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 4, no. 10, pp. 2453-2460, 1997. DOI: 10.3745/KIPSTE.1997.4.10.2453.

[ACM Style]
Kim Chi Su and Jin Young Jin. 1997. A design of a tool to verify completeness and consistency of object - oriented analysis. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 4, 10, (1997), 2453-2460. DOI: 10.3745/KIPSTE.1997.4.10.2453.