会議情報
MODULARITY 2015: International Conference on Aspect-Oriented Software Development
http://aosd.net/2015/提出日: |
2014-10-10 |
通知日: |
2014-12-07 |
会議日: |
2015-03-16 |
場所: |
Fort Collins, Colorado, USA |
年: |
14 |
閲覧: 12908 追跡: 1 出席: 0
論文募集
Modularity is a key property for scalability of software processes, including debugging, maintenance, reasoning, and testing. Modularity influences system diversity, dependability, performance, evolution, the structure and the dynamics of the organizations that produce systems, human understanding and management of systems, and ultimately system value. Yet the nature of and possibilities for modularity, limits to modularity, the mechanisms needed to achieve it in given forms, and its costs, benefits, and tradeoffs remain poorly understood. Significant advances in modularity thus are possible and promise to yield breakthroughs in our ability to conceive, design, develop, validate, integrate, and evolve modern information systems and their underlying software artifacts. Modularity at the semantic as well as the syntactic level is a key enabler for the expression of high quality software systems. One of the most important techniques for complexity reduction is abstraction. Novel concepts and abstraction mechanisms, including but not limited to aspect-oriented techniques, are a focus point for improvements in the support for modularity. The scope of this effort covers all perspectives on software systems in all their life-cycle phases, for instance application domain analysis, programming language constructs, formal proofs of system properties, program state visualization in debuggers, performance improvements in compiler algorithms, etc. As the premier international conference on modularity, Modularity'15 continues to advance our understanding of these issues and the expressive power of known techniques. The Modularity'15 conference invites full, scholarly papers of the highest quality on new ideas and 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, experimentation, or formal models. Compelling new ideas are especially welcome, which means that the requirements in the areas of validation and maturity are higher for papers that contribute more incremental results. Modularity'15 is deeply committed to publishing works of the highest caliber. To this aim, two 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 the first round that are not accepted may be invited to be revised and resubmitted for review by the same reviewers in the second round. Authors of such invited resubmissions are asked to also submit a letter explaining the revisions made to the paper to address the reviewers' concerns. While there is no guarantee that an invited resubmission 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. Submission to both rounds is open for all, and authors who submit to the first round may of course choose to resubmit a revised version in the second round without such an invitation, in which case new reviewers may be appointed. Finally, the same paper cannot be simultaneously submitted to other conferences or journals. In case of doubt, please contact the Program Chair. Research Topics Modularity'15 is looking for papers in all areas of software modularity. Topics of interest include, but are not limited to, the following: Varieties of modularity. Context orientation; feature orientation; generative programming; aspect orientation; software product lines; traits; families of classes; meta-programming and reflection; components; view-based development. Programming languages. Support for modular abstraction in: language design; verification, specification, and static program analysis; compilation, interpretation, and runtime support; formal languages and calculi; execution environments and dynamic weaving; dynamic languages; domain-specific languages. Software design and engineering. Requirements and domain engineering; architecture; synthesis; evolution; metrics and evaluation; empirical studies of existing software; economics; testing and verification; semantics; composition and interference; traceability; methodologies; patterns. Tools. Crosscutting views; refactoring; evolution and reverse engineering; aspect mining; support for new language constructs. 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; enforcement of non-functional properties. Complex systems. Works that explore and establish connections across disciplinary boundaries, bridging to such areas as biology, economics, education, infrastructure such as buildings or transport systems, and more. Composition. Component-based software engineering; Composition and adaptation techniques; Composition algebras, calculi, and type systems; Model-driven composition; Dynamic composition and reconfiguration; Large-scale component-based systems; Cloud, service-oriented architectures; Business process orchestration; Visual composition environments; Performance optimization of composite systems.
最終更新 Dou Sun 2014-08-17
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
2009 | 86 | 19 | 22.1% |
2008 | 79 | 17 | 21.5% |
2007 | 106 | 19 | 17.9% |
2006 | 95 | 20 | 21.1% |
2005 | 86 | 18 | 20.9% |
2004 | 82 | 15 | 18.3% |
2003 | 80 | 21 | 26.3% |
2002 | 50 | 17 | 34% |
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
b | b2 | ICMT' | International Conference on Model Transformation | 2015-02-15 | 2015-03-22 | 2015-07-20 | |
CASCON | Annual International Conference on Computer Science and Software Engineering | 2018-07-16 | 2018-08-13 | 2018-10-29 | |||
HISTELCON | IEEE HISTory of ELectrotechnolgy CONference | 2017-01-31 | 2017-02-10 | 2017-08-07 | |||
IMX | ACM International Conference on Interactive Media Experiences | 2025-01-20 | 2025-03-17 | 2025-06-03 | |||
IC | BenchCouncil International Symposium on Intelligent Computers | 2020-04-15 | 2020-05-15 | 2020-06-29 | |||
DMBD' | International Conference on Data Mining and Big Data | 2021-07-10 | 2021-07-20 | 2021-07-23 | |||
L@S | Annual ACM Conference on Learning at Scale | 2018-01-21 | 2018-02-26 | 2018-06-26 | |||
ICSCA' | International Conference on Smart Computing and Application | 2022-11-03 | 2022-11-07 | 2022-12-04 | |||
NIME | International Workshop on Networking Issues in Multimedia Entertainment | 2012-04-25 | 2012-07-30 | ||||
ICCSIT | International Conference on Computer Science and Information Technology | 2024-09-10 | 2024-10-10 | 2024-10-23 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
ICMT' | International Conference on Model Transformation | 2015-02-15 | 2015-07-20 |
CASCON | Annual International Conference on Computer Science and Software Engineering | 2018-07-16 | 2018-10-29 |
HISTELCON | IEEE HISTory of ELectrotechnolgy CONference | 2017-01-31 | 2017-08-07 |
IMX | ACM International Conference on Interactive Media Experiences | 2025-01-20 | 2025-06-03 |
IC | BenchCouncil International Symposium on Intelligent Computers | 2020-04-15 | 2020-06-29 |
DMBD' | International Conference on Data Mining and Big Data | 2021-07-10 | 2021-07-23 |
L@S | Annual ACM Conference on Learning at Scale | 2018-01-21 | 2018-06-26 |
ICSCA' | International Conference on Smart Computing and Application | 2022-11-03 | 2022-12-04 |
NIME | International Workshop on Networking Issues in Multimedia Entertainment | 2012-07-30 | |
ICCSIT | International Conference on Computer Science and Information Technology | 2024-09-10 | 2024-10-23 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
c | IEEE Transactions on Games | 2.300 | IEEE | 2475-1502 |
Virtual and Physical Prototyping | 10.20 | Taylor & Francis | 1745-2759 | |
Information Technology and Management | 2.300 | Springer | 1385-951X | |
IEEE Open Journal of Circuits and Systems | 2.600 | IEEE | 2644-1225 | |
International Journal on Bioinformatics & Biosciences | AIRCC | 1839-9614 | ||
c | Information Retrieval | 1.700 | Springer | 1386-4564 |
Universal Access in the Information Society | 2.100 | Springer | 1615-5289 | |
b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
IEEE Transactions on Smart Grid | 8.600 | IEEE | 1949-3053 | |
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
IEEE Transactions on Games | 2.300 | IEEE |
Virtual and Physical Prototyping | 10.20 | Taylor & Francis |
Information Technology and Management | 2.300 | Springer |
IEEE Open Journal of Circuits and Systems | 2.600 | IEEE |
International Journal on Bioinformatics & Biosciences | AIRCC | |
Information Retrieval | 1.700 | Springer |
Universal Access in the Information Society | 2.100 | Springer |
Journal of Functional Programming | 1.100 | Cambridge University Press |
IEEE Transactions on Smart Grid | 8.600 | IEEE |
Logical Methods in Computer Science | Logical Methods in Computer Science |
おすすめ