Dear all, please note that due to multiple requests, the submission deadline has been extended by two weeks. We have shifted all subsequent deadlines as well.
======================================================= Call for Papers *** TAOSD: Transactions on Aspect-Oriented Software Development *** *** Special Issue on Runtime Verification and Analysis *** http://www.ec-spride.de/taosd/ ======================================================= IMPORTANT DATES - all deadlines EXTENDED Submission deadline: August 29th, 2012 First Round Review Notification: November 15st, 2012 Re-Submission Revised Papers: February 15th, 2013 Second Round Review Notifications: April 14th, 2013 Submission of Camera-Ready Copy: May 17th, 2013 ======================================================= INTRODUCTION For more than a decade, researchers and practitioners have wondered about a so-called “killer application” for aspect-oriented programming (AOP). Runtime verification (RV) has turned out to be one of the most convincing use cases for AOP. Runtime verification tools typically instrument a program under test with an oracle, defined through a high-level specification language such as a temporal logic or model-based formalism. Prior to the advent of AOP, all of those tools resorted to manual program instrumentation, on source code, bytecode or machine code. This made tools and approaches hard to understand, compare, compose and prove correct. Since then, the advent of AOP has radically changed the way in which tools for RV and dynamic analysis are developed. Nowadays, most tools instrument programs by generating aspects from domain-specific textual descriptions or visual models, or use a programming model based on AOP concepts. But research results also flow in the other direction: requirements for RV and dynamic analysis tools have lead to novel AOP language constructs improving the performance, modularity and maintainability of the analysis code. The purpose of this special issue is to collect a set of papers that demonstrate how the two fields of AOP and RV / dynamic analysis have influenced and continue to influence each other. ======================================================= TOPICS Papers may address any aspect of runtime verification related to aspects, including but not limited to: * historical or comparative surveys related to aspects and runtime verification / dynamic analysis * transformations from high-level specifications or models to monitoring aspects * correctness of monitoring aspects * static and dynamic optimizations of monitoring aspects * aspects for security and traceability * domain-specific AOP language abstractions or visual formalisms for runtime verification * modularity and composability of runtime monitors or dynamic analysis code * runtime verification of hardware or hardware descriptions Extended versions of previously published workshop or conference publications will be considered for publication in this special issue if the new content exceeds 30% of the submitted manuscript’s contribution. Submitted papers should include information about how they relate to the authors’ own previous work, and an accompanying letter should state any previously published parts if applicable. Also, we ask authors to include a description of how the described approach uses AO concepts, and how it compares to other AO techniques in the field. ======================================================= SUBMISSIONS Manuscripts should follow LNCS formatting guidelines, and should be submitted as PDF files via EasyChair at: http://www.easychair.org/conferences/?conf=taosd-sirva While there is no strict page limit, we encourage authors to describe their research as thoroughly as necessary but as concisely as possible at the same time. For any enqueries, please contact the guest editors at sirva2...@easychair.org. ======================================================= GUEST EDITORS Eric Bodden, Secure Software Engineering Group European Center for Security and Privacy by Design, Technische Universität Darmstadt, Germany Shahar Maoz, Software Engineering, Department of Computer Science 3 RWTH Aachen University, Aachen, Germany ======================================================= _______________________________________________ aspectj-users mailing list aspectj-users@eclipse.org https://dev.eclipse.org/mailman/listinfo/aspectj-users