Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 8, No. 1, Feb. 2001


Extending SQL CLI for Large Object Caching
Jong Min Lee, Hyun Chul Kang
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 1-9, Feb. 2001
10.3745/KIPSTD.2001.8.1.1

Concurrency Control Based on Triggering Relationship for Real - Time Active Databases
Seok Hee Hong
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 10-23, Feb. 2001
10.3745/KIPSTD.2001.8.1.10

A Two - way Donation Locking Protocol for Concurrency Control in Multilevel Secure Database
Hee Wan Kim, Hae Kyung Rhee, Ung Mo Kim
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 24-31, Feb. 2001
10.3745/KIPSTD.2001.8.1.24

Update Semantic Preserving Object - Oriented View
Young Gook Ra
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 32-43, Feb. 2001
10.3745/KIPSTD.2001.8.1.32

Query Language Extension and Implementation of MM Presentation System using SMIL in MMDB
Jung Hwa Lee, Jong Hwan Lee, Young Ho Yu, Kyong Sok Kim
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 44-53, Feb. 2001
10.3745/KIPSTD.2001.8.1.44

Software Architecture Restructuring for Reuse
Chi Don Ahn, Chang Jong Wang
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 54-61, Feb. 2001
10.3745/KIPSTD.2001.8.1.54

Description Techniques for Reusable Components and Interfaces using Formal Methods
Dong Su Seo
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 62-70, Feb. 2001
10.3745/KIPSTD.2001.8.1.62

Complexity Metrics for Analysis Classes in the Unified Software Development Process
Yu Kyung Kim, Jai Nyun Park
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 71-80, Feb. 2001
10.3745/KIPSTD.2001.8.1.71

Automatic Test Data Generation for Mutation Testing Using Genetic Algorithms
In Sang Jung, Byeong Mo Chang
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 81-87, Feb. 2001
10.3745/KIPSTD.2001.8.1.81

Construction of Design Pattern Retrieval System using Pattern Information
Gui Joung Kim, Young Jae Song
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 88-98, Feb. 2001
10.3745/KIPSTD.2001.8.1.88

A Proposal for Component Formal Specification Activities Using Z
Jong Pyo Jang, Sang Jun Lee, Byung Ki Kim
The KIPS Transactions:PartD, Vol. 8, No. 1, pp. 99-104, Feb. 2001
10.3745/KIPSTD.2001.8.1.99