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


Vol. 4,  No. 10, pp. 2453-2460, Oct.  1997
10.3745/KIPSTE.1997.4.10.2453


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals