Digital Library

KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, Jan. 2015


Code Slicing Tool for Effective Software Verification
Ming Yu Park , Dong Woo Kim , Yun Ja Choi
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 1-8, Jan. 2015
10.3745/KTSDE.2015.4.1.1

Case Study of Model-Based Test with Smart TV
Seon Yeol Lee , Jung Ho Bae , Heung Seok Chae
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 19-30, Jan. 2015
10.3745/KTSDE.2015.4.1.19

Study for Remove of Uncertainty by Identification of Ambiguity
Eun Ser Lee
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 31-36, Jan. 2015
10.3745/KTSDE.2015.4.1.31

An Efficient Algorithm for Betweenness Centrality Estimation in Social Networks
Soo Jin Shin , Yong Hwan Kim , Chan Myung Kim , Youn Hee Han
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 37-44, Jan. 2015
10.3745/KTSDE.2015.4.1.37

Context-sensitive Word Error Detection and Correction for Automatic Scoring System of English Writing
Yong Seok Choi , Kong Joo Lee
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 45-56, Jan. 2015
10.3745/KTSDE.2015.4.1.45

Context Awareness Model using the Improved Google Activity Recognition
Seung Eun Baek , Sang Won Park
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 57-64, Jan. 2015
10.3745/KTSDE.2015.4.1.57

A Method for Selecting Software Reliability Growth Models Using Partial Data
Yong Jun Park , Bup Ki Min , Hyeon Soo Kim
KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 99-108, Jan. 2015
10.3745/KTSDE.2015.4.1.99