Digital Library[ Search Result ]
Search : "[ author: Kwang Min Lee ]" (1)
An Automatic Construction Approach of State Diagram from Class Operations with Pre/Post Conditions
Kwang Min Lee Jung Ho Bae Heung Seok Chae
Vol. 16, No. 4, pp. 527-540, Aug. 2009
10.3745/KIPSTD.2009.16.4.527
Vol. 16, No. 4, pp. 527-540, Aug. 2009

Submenu
POPULAR KEYWORDS
(TOP 10 KEYWORDS)
Recent Publications
(LAST 3 YEARS)
-
Vol. 14, 2025
-
Vol. 13, 2024
Old Journals
-
KTCCS (KIPS Transactions on Computer and Communication Systems)
-
KTSDE (KIPS Transactions on Software and Data Engineering)
-
The KIPS Transactions:PartA
(2001~2012) -
The KIPS Transactions:PartB
(2001~2012) -
The KIPS Transactions:PartC
(2001~2012) -
The KIPS Transactions:PartD
(2001~2012) -
The Transactions of the Korea Information Processing Society
(1994~2000)
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).