The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2001)
Macao, China
Dec. 4, 2001 to Dec. 7, 2001
ISBN: 0-7695-1408-1

Program Committee (PDF)

pp. xiii
Keynote I
Session 1A: Formal Methods I
Session 1B: Tools and Environments
Session 2A: Reactive and Real-Time Embedded Systems
Session 2B: System Modeling and Design Methodology
Session 3A: Software Architecture and Framework
Session 3B: Requirements Engineering
Keynote II
Session 4A: Formal Methods II
Session 4B: Software Management and Planning
Session 5A: Software Testing Techniques
Session 5B: Object-Oriented Analysis and Design

null (PDF)

pp. null
Session 6A: Software Maintenance
Session 6B: Formal Methods III
Keynote III
Session 7A: Formal Methods IV
Session 7B: Software Architecture and Framework
Keynote IV
Session 8A: Formal Methods V
Session 8B: Reengineering and Reverse Engineering
Session 9A: Component-Based Design Techniques/Empirical Studies
Session 9B: Formal Methods VI

Author Index (PDF)

pp. 0461
86 ms
(Ver 3.3 (11022016))