20. APSEC 2013: Ratchathewi, Bangkok, Thailand - Volume 1

Software Quality and Testing 1

Software Requirements Engineering 1

Software Quality and Testing 2

Empirical Software Engineering 2

Software Requirements Engineering 2

Software Quality and Testing 3

Empirical Software Engineering 3

Software Requirements Engineering 3

Distributed and Parallel Software Systems

Software Maintenance and Evolution

Formal Methods in Software Engineering 1

Product-Line Software Engineering

Formal Methods in Software Engineering 2

Software Architecture and Design

Formal Methods in Software Engineering 3

Component-Based Software Engineering and Mobile and Cloud Systems

Software Engineering Environments and Tools

Short Papers: Software Architecture

Short Papers: Software Project Management, Design, Testing, and Verification

Short Papers: Formal Methods, Maintenance, and Web-BasedSoftware Engineering