• A
  • APSEC
  • 1996
  • Third Asia-Pacific Software Engineering Conference (APSEC'96)
Advanced Search 
Third Asia-Pacific Software Engineering Conference (APSEC'96)
Seoul, SOUTH KOREA
December 04-December 07
ISBN: 0-8186-7638-8
Table of Contents
Keynote Address
Session 1-A: Real-Time Systems
Formal Object Approach to Real-Time Specification
Dang Van Hung, Int. Inst. for Software Technol., United Nations Univ., Macau
Ko Kwang Il, Int. Inst. for Software Technol., United Nations Univ., Macau
pp. 4
Kyo C. Kang, Pohang University of Science and Technology
Kwang-Il Ko, Pohang University of Science and Technology
pp. 16
Session 1-B: Metrics
F. Xia, Dept. of Inf. Syst., Macao Univ., Macau
pp. 44
Session 1-C: Development Environment I
M. Matsushita, Osaka University
K. Inoue, Osaka University
H. Iida, Nara Institute of Science and Technology
pp. 66
ParaDebug: A Parallel Visual Debugger
Session 2-A: Object-Oriented Development
Heung Seok Chae, Korea Advanced Institute of Science and Technology
Yong Rae Kwon, Korea Advanced Institute of Science and Technology
pp. 76
Session 2-B: Testing
Session 2-C: Software Process
N. Hanakawa, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
H. Iida, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
K. Matsumoto, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
K. Torii, Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
pp. 120
H. Iida, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
J. Eijima, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
S. Yabe, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
K. Matsumoto, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
K. Torii, Inf. Technol. Center, Nara Inst. of Sci. & Technol., Japan
pp. 131
K. Sakamoto, OMRON Corp., Shiga, Japan
N. Niihara, OMRON Corp., Shiga, Japan
T. Tanaka, OMRON Corp., Shiga, Japan
K. Nakakoji, OMRON Corp., Shiga, Japan
K. Kishida, OMRON Corp., Shiga, Japan
pp. 139
Session 3-A: Panel: Industrial Application of the Object-Oriented Technology
Session 4-A: Maintenance and Reuse
A Reuse Framework for Multi-Domain Software Development
Session 4-B: Formal Methods I
Session 4-C: Validation and Verification
Local-Order Restoring Validation Scheme for Client/Server Based Teleputing Systems: LOREV
Session 5-A: Formal Methods II
Session 5-B: Distributed Systems
K.P. Chow, University of Hong Kong
T.W. Lam, University of Hong Kong
K.H. Lee, University of Hong Kong
pp. 268
Session 5-C: Design and Implementation
Kazuhiko Kashiwagi, Nara Institute of Science and Technology
Keizo Saisho, Nara Institute of Science and Technology
Akira Fukuda, Nara Institute of Science and Technology
pp. 278
Multiagent System Design Based on Object-Oriented Patterns
Session 6-A: User Interaction
J. Baeg, Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan
Y. Fukazawa, Dept. of Electr. Eng., Waseda Univ., Tokyo, Japan
pp. 310
R. Ronnquist, Australian Artificial Intelligence Institute
C. K. Low, University of Melbourne
pp. 318
Session 6-B: Panel
Session 7-A: Concurrency
Chi-Ming Chung, TamKang University
Timothy K. Shih, TamKang University
Ying-Hong Wang, TamKang University
Wei-Chuan Lin, TamKang University
Ying-Feng Kou, TamKang University
pp. 336
Session 7-B: Development Environment II
Usage of this product signifies your acceptance of the Terms of Use.