The 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2007), sponsored by IFIP and IEEE CS, will be held in Shanghai, China June 2007.<br>Large scale software systems and Internet are of growing concern to academia and industry. This poses new challenges to the various aspects of software engineering, for instance, the reliability of software development, web–oriented software architecture and aspect & object–orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2007 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering. <b>Keywords:</b> • Requirements Engineering • Specification and Validation • Software Testing • Component–based Development • Model Checking for Software • Software Processes and Workflows • Software Frameworks and Middleware • Software Architectures and Design • Software safety and reliability • Reverse Engineering and Software Maintenance • Aspect and Objected –orientation Techniques • Embedded and Real–time Software • Service–oriented Computing and Web Services • Model–driven Development • Coordination and Feature Interaction • Parallel and Distributed Computing • Logics of Programs • Program Analysis • Semantics and Design of Programming Languages • Type Theory
Abbrevation
TASE
City
Shanghai
Country
China
Deadline Paper
Start Date
End Date
Abstract