dblp.uni-trier.de www.uni-trier.de

1. TASE 2007: Shanghai, China

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. IEEE Computer Society 2007 BibTeX

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

Copyright © Sat May 16 23:43:36 2009 by Michael Ley (ley@uni-trier.de)