<pre>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, for instance, the reliability of software development, Web–oriented software architecture and aspect and object–orientation techniques. As a result, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2012 is a forum for researchers from academia, industry and government to present ideas, results, and ongoing research on theoretical advances in software engineering.<br>Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all 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 Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency * Software Model Checking * Probability and Randomization<br></pre>
Abbrevation
TASE
City
Beijing
Country
China
Deadline Paper
Start Date
End Date
Abstract