Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.):
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
ACM 2010, ISBN 978-1-4503-0116-9
25. ASE 2010:
: Keynote address: toward compositional software engineering.
Design and architecture
Natural language processing and generation
Architecture and product lines
Poster session I
: Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components.
Formal demos I
: Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.
Mining software repositories
Poster session II
Formal demos II
Specification and verification
Testing and debugging
Reuse and component-based development
: Automatic inference of abstract type behavior.
: Extraction and visualization of traceability relationships between documents and source code.
: Model checking graph representation of precise boolean inter-procedural flow analysis.
: The influence of multiple artifacts on the effectiveness of software testing.