AOSD 2013 - MODULARITY: aosd.2013

Modularity transcending traditional abstraction boundaries is essential for developing complex modern systems - particularly software and software-intensive systems. Aspect-oriented and other new forms of modularity and abstraction are attracting a great deal attention across many domains within and beyond computer science. As the premier international conference on modularity, AOSD continues to advance our knowledge and understanding of separation of concerns, modularity, and abstraction in the broadest senses of these terms.
The 2013 AOSD conference will comprise two main events: "Research Results" and "Modularity Visions". Both events invite full, scholarly papers of the highest quality on new ideas and results in areas that include but are not limited to complex systems, software design and engineering, programming languages, cyber-physical systems, and other areas across the whole system life cycle.
Research Results papers are expected to contribute significant new research results with rigorous and substantial validation of specific technical claims based on scientifically sound reflections on experience, analysis, or experimentation.
Modularity Visions papers (solicited in a separate call) are expected to present compelling new ideas in modularity, including strong cases for significance, novelty, validity, and potential impact based on thorough scholarly argumentation and early results.
AOSD 2013 is deeply committed to eliciting works of the highest caliber. To this aim, three separate paper submission deadlines and review stages are offered. A paper accepted in any round will be published in the proceedings and presented at the conference. Promising papers submitted in an early round that are not accepted may be invited to be revised and resubmitted for review by the same reviewers in a later round. Authors of such invited resubmissions are asked to also submit a letter explaining the revisions made to the paper to address the reviewer's concerns. While there is no guarantee that an invited resubmission paper will be accepted, this procedure, similar to major revisions requested by journals, is designed to help authors of promising work get their papers into the conference. Of course, authors that submitted to an early round may, on their own initiative, resubmit a rejected work in a subsequent round, in which case new reviewers may be appointed.
Topics
Topics of interest include, but are not limited to, the following:
Complex systems
Modularity has emerged as a vital theme in many domains, from biology to economics to engineered systems to software and software-intensive systems, and beyond. AOSD 2013 invites works that explore and establish connections across such disciplinary boundaries.
Software design and engineering
Requirements and domain engineering; architecture; synthesis; evolution; metrics and evaluation; economics; testing analysis and verification; semantics; composition and interference; traceability; methodology; patterns.
Programming languages
Language design; compilation and interpretation; verification and static program analysis; formal languages and calculi; execution environments and dynamic weaving; dynamic and scripting languages; domain-specific languages and other support for new forms of abstraction.
Varieties of modularity
Context orientation; feature orientation; model-driven development; generative programming; software product lines; traits; meta-programming and reflection; contracts and components; view-based development.
Tools
Aspect mining; evolution and reverse engineering; crosscutting views; refactoring.
Applications
Data-intensive computing; distributed and concurrent systems; middleware; service-oriented computing systems; cyber-physical systems; networking; cloud computing; pervasive computing; runtime verification; computer systems performance; system health monitoring and the enforcement of non-functional properties.