<pre>The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014), will be held in Changsha, China in September, 2014. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering.<br>The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model–Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real–Time Systems * Software Processes and Workflows * Component–Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service–Oriented and Cloud Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Probability in Software Engineering<br></pre>
Abbrevation
TASE
City
Changsha
Country
China
Deadline Paper
Start Date
End Date
Abstract