First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007) : Shanghai, China - 05-09 June 2007

Large scale software systems and the Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering. As a result, new concepts and methodologies are required to enhance the theory underlying software development. TASE 2007 presents ideas, results, and ongoing research on theoretical advances in software engineering. The proceedings reflects the breadth of theoretical aspects of software engineering. The papers describe recent advances in several key areas including formal methods, safety and reliability security issues, service systems, software architecture and frameworks, testing techniques, verification and validation, and workflow analysis. Contents: Verification and Validation; Formal Methods; Software Architecture and Frameworks; Security Issues; Testing Techniques; Workflow Analysis; Safety and Reliability; Service SystemsInternational Federation for Information Processing Staff is the author of 'First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007) : Shanghai, China - 05-09 June 2007', published 2007 under ISBN 9780769528564 and ISBN 0769528562.