Showing results 1 to 4 of 4
A Semantics-Based Method for Revalidating Modified Programs i. s. chung; Kwon, Yong Rae, JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, v.6, no.1, pp.15 - 34, 1993-12 |
Complexity Measures for Concurrent Programs Based on Information-Theoretic Metrics s. cha; i. s. chung; Kwon, Yong Rae, INFORMATION PROCESSING LETTERS, v.46, no.1, pp.43 - 50, 1993-04 |
Specification-Based Program Slicing and Its Application w. k. lee; i. s. chung; g. s. yoon; Kwon, Yong Rae, JOURNAL OF SYSTEMS ARCHITECTURE, v.47, no.5, pp.427 - 443, 2001-05 |
Specifying and Verifying Real-Time Systems with Timing Uncertainty h. s. bae; i. s. chung; Kwon, Yong Rae, JOURNAL OF SYSTEMS AND SOFTWARE, v.50, no.1, pp.85 - 96, 2000-01 |
Discover