1. TASE 2007: Shanghai, China

Tutorial

Keynote Speech Abstracts

Verification and Validation 1

Software Architecture and Frameworks 1

Security Issues

Testing Techniques

Workflow Analysis

Verification and Validation 2

Formal Methods 2

Software Architecture and Frameworks 2

Safety and Reliability

Verification and Validation 3

Formal Methods 3

Software Architecture and Frameworks 3

Formal Methods 4

Service Systems