List of special issues
- SCP call for (AVoCS related) paper
AVoCS 2011 (Automated Verification of Critical Systems) was hosted by Newcastle University. We now issue a general call for papers that will be reviewed for inclusion in SCP
- Final Call: Special Issue on Experimental Software Engineering in the Cloud (ESEiC)
This special issue will collate articles that compare tools in a pragmatic manner, for example by having tool developers or various types of tool users solve a shared case study. As the special issue will focus on reproducibility and accessibility, all submissions must include at least one SHARE virtual machine demo. Obviously, authors that want to use a supplementary platform are free to do so as well and discuss this in the related paper.
Especially solution comparisons from domains with complex software toolkits and/or a lack of standard formats are in the scope of this special issue. However, even when considering research events for which the case study challenge is very well-defined, it is a challenge to keep the results available for further empirical evaluation. Therefore, papers that discuss SHARE in more general archival and reproducibility settings can also fit the scope of this special issue.
Controlled experiments involving professionals are also highly welcome. In this case SHARE can be used to log exclusively the experiment-specific behavior of such users from within a SHARE virtual machine, thus alleviating typical privacy and computer security issues related to user behavior logging.
- Special Issue on "Success Stories in Model Driven Engineering" in Science of Computer Programming
Model-Driven Engineering (MDE) is an emerging software discipline which promotes a new way to develop and maintain software systems by using models as the primary artifacts of the software development process. The relevance of such a discipline is witnessed by the increasing interest in many scientific endeavors and industrial projects.
Historically model transformations and code generation from abstract models have been among the main MDE applications. Nevertheless, they represent only a partial constituent of the MDE application ambit: recent advances in MDE have shown how differencing techniques, model management, megamodeling and interoperability are equally relevant to leverage the discipline of MDE while gaining acceptance in current practices.
However, success stories about MDE applications rarely occur in the literature since many issues are still open and unresolved despite the maturity reached by a number of tools, including transformation languages. Thus, researchers tend to focus on investigating conceptual if not theoretical aspects disregarding the relevance of the assessment of the overall discipline in terms of its application to real scale and complexity scenarios. While such robust theoretical contributions are of paramount importance, applications emerging from the most disparate domains may reveal new directions for development of the theory as well as lessons of transferable value for future MDE practice.
For this special issue, we invite contributions which show how MDE techniques can be successfully applied in practice showing experiences and providing insights on issues encountered when applying these approaches in practice. Thus, high quality experience reports focused on industrial practice and applications of MDE techniques and tools are solicited. Papers representing the results of MDE projects consistently based on a partnership between industry and academia are considered highly relevant.
- 2nd Call for Papers - Special Issue of the CSI Journal of Computing
Second Call for Papers on Synchronous Programming Model and its Implications to Safety-Critical Software Design for a Special Issue of the CSI Journal of Computing published by the Computer Society of India
- SICSA MultiCore Challenge: Programming Language Support for Multicore Parallelism
Comparative parallel implementations on (networks of) multi-cores of selected challenge applications
- CFP: Term and Graph rewriting, special issue of MSCS
Special Issue of Mathematical Structures in Computer Science (MSCS) on
"TERM and GRAPH Rewriting"
Rewriting techniques constitute a foundational theory of computing
science. They are being investigated for several structures such as
lambda-terms, first-order terms or graphs and have been successfully
used in many areas such as programming languages, automated
reasoning, program verification, security, etc. This is witnessed by
the leading international events ICGT, RTA or TLCA among others.This special issue is devoted to recent developments in all aspects
of TERM and GRAPH rewriting. This includes (but is not limited to):
term rewriting, graph transformation, proof methods, programming
languages, infinitary rewriting, rewrite strategies, semantics,
properties of rewriting ...- SCP Special Issue on Experimental Software Engineering in the Cloud (ESEiC)
The journal 'Science of Computer Programming' of Elsevier Science has a long history of publishing high-quality articles on programming and software. The idea of this special issue on Experimental Software Engineering in the Cloud (ESEiC) is to allow academic software developers to publish **entire software environments** together with a paper that focuses on the empirical evaluation of the related engineering techniques. In particular, participants to programming and software engineering contests are invited to deploy all their contest-related data and software in the academic [SHARE][1] cloud. By citing that persistent deployment from their corresponding paper, authors can give readers of the special issue 1-click access to the supportive research materials. All results will thus be reproducible in exactly the way that the author intended. Readers can also explore the effect of other inputs and parameters further.
- Extended Deadline: Special issue on Software Evolution, Adaptability and Maintenance
Special issue in Elsevier Science of Computer Programming
http://rmod.lille.inria.fr/benevol/pier/special-issue
http://ees.elsevier.com/scico/
