Abbrevation
TASE
City
Nanjing
Country
China
Deadline Paper
Start Date
End Date
Abstract
<pre>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>