Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 12, No. 7, Dec. 2005


Formal Verification of Embedded Java Program
Tae Hoon Lee , Gi Hwon Kwon
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 931-936, Dec. 2005
10.3745/KIPSTD.2005.12.7.931

Application and Design of Metrics for Software Process Measurement
Sun Myung Hwang , Hee Gyun Yeom
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 937-946, Dec. 2005
10.3745/KIPSTD.2005.12.7.937

Component-Based Systematic Reengineering Process
Jung Eun Cha , Chul Hong Kim , Young Jong Yang
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 947-956, Dec. 2005
10.3745/KIPSTD.2005.12.7.947

Multiple Object-Based Design Model for Quality Improvement of User Interface
Jeong Ok Kim , Sang Young Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 957-964, Dec. 2005
10.3745/KIPSTD.2005.12.7.957

Opportunity Tree and Algorithm design to schedule management
Eun Se Lee , Sang Ho Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 965-978, Dec. 2005
10.3745/KIPSTD.2005.12.7.965

Design and Implementation of Adaptable User Interfaces Generation System for Diverse Devices
Chi Su Kim , Young Tae Kim
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 979-984, Dec. 2005
10.3745/KIPSTD.2005.12.7.979

Implementation of OLAP with Template-based CBD
Jong Mo Park , Kyung San Cho
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 985-992, Dec. 2005
10.3745/KIPSTD.2005.12.7.985

A Quantitative Quality Evaluation Approach for the Artifacts of the Defense Component Based Development
Kil Sup Lee , Hyun Chul Lee , Sung Jong Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 993-1000, Dec. 2005
10.3745/KIPSTD.2005.12.7.993

Reusability Enhancement of the MND-AF Artifacts in the Defense-CBD Methodology
Hyun Chul Lee , Sang Ho Lee , Gyung Chul Jung , Sung Jong Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1001-1006, Dec. 2005
10.3745/KIPSTD.2005.12.7.1001

A Graphical Process Modeling Language Providing Semantic Richness and Ease of Use
Hyung Won Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1007-1016, Dec. 2005
10.3745/KIPSTD.2005.12.7.1007

An Approach to decide the Location of a method using the Logistic analysis
Young A. Jung , Young B. Park
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1017-1022, Dec. 2005
10.3745/KIPSTD.2005.12.7.1017

Study on the Techniques in Component Workflow Variability Implementation based on the Banking Framework
Sung Choi
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1023-1030, Dec. 2005
10.3745/KIPSTD.2005.12.7.1023

Quality Measurement of Data Processing by a Protocol Change of Power SCADA System
Yong Doo Lee , Seong Man Choi , Cheol Jung Yoo , Ok Bae Chang
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1031-1038, Dec. 2005
10.3745/KIPSTD.2005.12.7.1031

Performance Improvement of Software Build through Software Configuration Management and Work Information Reporting
Jeong Il Kim , Eun Seok Lee
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1039-1048, Dec. 2005
10.3745/KIPSTD.2005.12.7.1039

Scenario-Based Implementation Synthesis for Real-Time Object-Oriented Models
Sae Hwa Kim , Ji Yong Park , Seong Soo Hong
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1049-1064, Dec. 2005
10.3745/KIPSTD.2005.12.7.1049

A Technique of Reusable and Reliable Device Driver Development For Embedded-Linux System
Jae Hyun Choi , Woo Jin Lee , Ki Won Chon
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1065-1070, Dec. 2005
10.3745/KIPSTD.2005.12.7.1065

User Event-based Information Structure Modeling for Class Abstraction of Business System
Hye Seon Lee , Jai Nyun Park
The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 1071-1078, Dec. 2005
10.3745/KIPSTD.2005.12.7.1071