APSEC Korean Authors

Model Checking Class Specifications for Web Applications
E.-H. Choi and H. Watanabe
Session 1B Software Formal Methods I
--------------------------------------------------------------------------------
Eun-Hye CHOI and Hiroshi WATANABE
Research Center for Verification and Semantics
National Institute of Advanced Industrial Science and Technology (AIST)
e.choi [at] aist.go.jp


Agile Development of Web Application by Supporting Process Execution and Extended UML Model
W. Lee, S. Park, K. Lee, C. Lee, B. Lee, W. Jung, T. Kim, H. Kim, and C. Wu
Session 2C Service-Oriented Computing II
--------------------------------------------------------------------------------
Wookjin Lee, Sanghyun Park, Keeyoull Lee, Chunwoo Lee, Byungjeong Lee, Woosung Jung, Taeksu Kim, Heechern Kim, and Chisu Wu
Software Center, LG Electronics / SW Eng. Lab., SNU
wookjinlee [at] lge.com


Developing Object Oriented Designs from Component and Connector Architectures
H.-I. Park , S. Kang, Y. Choi, and D. Lee
Session 2D Software Architecture I
--------------------------------------------------------------------------------
Hyoung-iel Park, Sungwon Kang, Yoonsuk Choi, and Danghyung Lee
Tmax Soft / ICU
hipark [at] icu.ac.kr


Ontology-Based Active Requirements Engineering Framework
S. Lee and R. Gandhi
Session 4C Agent-Based Software Engineering
--------------------------------------------------------------------------------
Seok Won Lee and Robin A. Gandhi
Department of Software and Information Systems
The University of North Carolina at Charlotte
seoklee [at] uncc.edu


A Systematic Method for Scoping Core Assets in Product Line Engineering
S. Park and S. Kim
Session 4D Product Line Engineering / Software Development and Practice I
--------------------------------------------------------------------------------
Shin Young Park and Soo Dong Kim
Department of Computer Science
Soongsil University
sypark [at] otlab.ssu.ac.kr


A Repository Framework for Self-Growing Robot Software
H.-M. Koo and I.-Y. Ko
Session 4D Product Line Engineering / Software Development and Practice I
--------------------------------------------------------------------------------
Hyng-Min Koo and In-Young Ko
ICU
hyungminkoo [at] icu.ac.kr


Automatic Classification of Web Pages Based on the Concept of Domain Ontology
M.-H. Song, S.-Y. Lim, D.-J. Kang, and S.-J. Lee
Session 5D Software Development and Practice II
--------------------------------------------------------------------------------
Mu-Hee Song, Soo-Young Lim, Dong-Jin Kang, Sang-Jo Lee
Dept. of Computer Engineering
Kyoungpook National University
mhsong [at] knu.ac.kr