12. APSEC 2005: Taipei, Taiwan

Introduction

Keynote Addresses

Session 1A: Requirements Engineering I

Session 1B: Software Formal Methods I

Session 1C: Service-Oriented Computing I

Session 2A: Requirements Engineering II

Session 2B: Software Formal Methods II

Session 2C: Service-Oriented Computing II

Session 2D: Software Architecture I

Session 3A: Software Measurement

Session 3B: Software Formal Methods III

Session 3C: Object-Oriented Technology

Session 3D: Software Architecture II

Session 4A: Verification and Validation I

Session 4B: Quality Management I

Session 4C: Agent-Based Software Engineering

Session 4D: Product Line Engineering / Software Development and Practice I

Session 5A: Verification and Validation II

Session 5B: Quality Management II

Session 5C: Component-Based Software Engineering

Session 5D: Software Development and Practice II

Session 6A: Software Refactoring / Software Process Improvement

Session 6B: Tools Support for Software Engineering

Session 6C: Aspect-Oriented Software Technology

Workshop 1: First Asian Workshop on AOSD

Workshop 2: Supporting Knowledge Collaboration in Software Development Workshop