Digital Library

Vol. 12D, No. 7, July, 2005

Formal Verification of Embedded Java Program
Tae Hoon Lee, Gi Hwon Kwon
10.3745/KIPSTD.2005.12D.7.931
Application and Design of Metrics for Software Process Measurement
Sun Myung Hwang, Hee Gyun Yeom
10.3745/KIPSTD.2005.12D.7.937
Component-Based Systematic Reengineering Process
Jung Eun Cha, Chul Hong Kim, Young Jong Yang
10.3745/KIPSTD.2005.12D.7.947
Multiple Object-Based Design Model for Quality Improvement of User Interface
Jeong Ok Kim, Sang Young Lee
10.3745/KIPSTD.2005.12D.7.957
Opportunity Tree and Algorithm design to schedule management
Eun Se Lee, Sang Ho Lee
10.3745/KIPSTD.2005.12D.7.965
Design and Implementation of Adaptable User Interfaces Generation System for Diverse Devices
Chi Su Kim, Young Tae Kim
10.3745/KIPSTD.2005.12D.7.979
Implementation of OLAP with Template-based CBD
Jong Mo Park, Kyung San Cho
10.3745/KIPSTD.2005.12D.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
10.3745/KIPSTD.2005.12D.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
10.3745/KIPSTD.2005.12D.7.1001
A Graphical Process Modeling Language Providing Semantic Richness and Ease of Use
Hyung Won Lee
10.3745/KIPSTD.2005.12D.7.1007
An Approach to decide the Location of a method using the Logistic analysis
Young A. Jung, Young B. Park
10.3745/KIPSTD.2005.12D.7.1017
Study on the Techniques in Component Workflow Variability Implementation based on the Banking Framework
Sung Choi
10.3745/KIPSTD.2005.12D.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
10.3745/KIPSTD.2005.12D.7.1031
Performance Improvement of Software Build through Software Configuration Management and Work Information Reporting
Jeong Il Kim, Eun Seok Lee
10.3745/KIPSTD.2005.12D.7.1039
Scenario-Based Implementation Synthesis for Real-Time Object-Oriented Models
Sae Hwa Kim, Ji Yong Park, Seong Soo Hong
10.3745/KIPSTD.2005.12D.7.1049
A Technique of Reusable and Reliable Device Driver Development For Embedded-Linux System
Jae Hyun Choi, Woo Jin Lee, Ki Won Chon
10.3745/KIPSTD.2005.12D.7.1065
User Event-based Information Structure Modeling for Class Abstraction of Business System
Hye Seon Lee, Jai Nyun Park
10.3745/KIPSTD.2005.12D.7.1071

Indexing


All publications of KTCCS and KTSDE are indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

doi

EBSCO

Google

crosscheck_it_trans

NRF

NRF


KTCCS and KTSDE are also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).