2. TASE 2008: Nanjing, China

Keynote Speech

Model Checking

Program Analysis and Type Theory

Software Architecture, Framework, and Process

Short Paper 1

Service-Oriented Computing

Verification and Validation

Software Testing

Short Paper 2

Logic Systems and Programming

Specification and Requirements