[Apologies for multiple postings]
-- First Call for Papers --
SCART 2015: 1st International Workshop on the ART of Software Composition,
co-located with SEFM 2015 – York, UK.
SCART 2015 ( http://scart2015.disim.univaq.it/ ) provides the opportunity for
discussing how the FI affects the traditional SE methods and tools, and how
facing its complexity in terms of scalability, heterogeneity, and dinamicity
promotes the integration of FM within SE practices. We seek answers on how the
rigorousness of FM assists software engineers while designing, developing,
validating and operating software systems for the FI, which are build via
correct-by-construction service composition. The workshop constitutes a forum
for scientists and engineers in academia and industry to present and discuss
their latest research and development.
SCART 2015 welcomes research papers, experience papers and tool presentations;
nevertheless, papers describing novel research contributions and innovative
applications are of particular interest. Details on workshop goals and themes
can be found at: http://scart2015.disim.univaq.it .
At SCART 2015 we will have a Keynote by Paola Inverardi (Tile and abstract to
be announced) - http://scart2015.disim.univaq.it/?page_id=139
== IMPORTANT DATES ==
Paper submissions: May 22, 2015
Notification of authors: June 19, 2015
Camera-ready copies: July 3, 2015
== PAPER SUBMISSION ==
Workshop papers must follow the SEFM 2015 Format and Submission Guidelines:
http://www.cs.york.ac.uk/sefm2015/
Each submitted paper will undergo a formal peer review process by at least 3 PC
members. Contributions can be:
Regular papers (maximum 12 pages): In this category fall those contributions
which propose novel research contributions, address challenging problems with
innovative ideas, or offer practical contributions in the application of FM and
SE approaches for building FI applications via software composition. Regular
papers should clearly describe the situation or problem tackled, the relevant
state of the art, the position or solution suggested and the potential benefits
of the contribution.
Short papers (maximum 8 pages): This category includes tool demonstrations,
position papers, industrial experiences and case-studies, well-pondered and
sufficiently documented visionary papers. Authors of papers reporting
industrial experiences are strongly encouraged to make their experimental
results available for use by reviewers. Similarly, case-study papers should
describe significant case-studies and the complete development should be made
available for use by reviewers. Tool demonstration papers should explain
enhancements made in comparison to previously published work. Authors of tool
demonstration papers should make their tool available for use by reviewers.
== Workshop Chairs ==
• Marco Autili, University of L’Aquila, Italy marco.aut...@univaq.it
• Alfredo Goldman, University of São Paulo, Brazil g...@ime.usp.br
• Massimo Tivoli, University of L’Aquila, Italy, massimo.tiv...@univaq.it
== Program Committee ==
• Domenico Bianculli, Univ. du Luxembourg
• Gwen Salaün, INRIA, Grenoble-Rhone-Alpes, France
• Guglielmo De Angelis, CNR-IASI/ISTI, Italy
• Ivica Crnkovic, Mälardalen University, Sweden
• Joni da Silva Fraga, UFSC, Brazil (pending)
• Kelly Rosa Braghetto, Univ. of São Paulo, Brazil
• Luciano Baresi, Politecnico di Milano, Italy
• Mauro Caporuscio, Politecnico di Milano, Italy
• Miriam Capretz, Faculty of Western Eng., Canada
• Nelson Souto Rosa, UFPE, Brazil
• Nikolaos Georgantas, INRIA, Paris, France
• Paola Inverardi, Univ. of L’Aquila, Italy
• Pascal Poizat, Univ. Paris Ouest, France
• Radu Calinescu, Univ. of York, UK
• Schahram Dustdar, Univ. of Technology Wien, Austria
== Publicity Chair ==
• Alexander Perucci, University of L’Aquila, Italy
== Web Chair ==
• Amleto Di Salle, University of L’Aquila, Italy
== List of topics (although not limited to) ==
• Specification, architecture, and design of software composition models
• Software quality assurance for software composition
• Verification and testing of software integration code
• Adaptive software composition
• Formal methods for automated software composition
• Service-oriented and Component-based software composition
• Non-functional properties of software composition
• Automated software composition and coordination
• Correct-by-construction software composition
• Automated synthesis of software integration code
• Model-driven software composition
• Compositional theories for software composition
• Patterns and frameworks for software composition engineering
• Tools and methods for software composition engineering
• Industrial experience in software composition
• Empirical studies in software composition
------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
