[Apologies for multiple postings]

--  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.

Keynote by Paola Inverardi (Title and abstract to be announced) - 
http://scart2015.disim.univaq.it/?page_id=139

A thematic series on Service Composition for the Future Internet in the 
Springer Journal of Internet Services and Applications (JISA - 
http://www.jisajournal.com/about/update/SCFI) is devoted to SCART 2015. 
Selected participants will be invited to submit an extended version of their 
papers after the workshop. These extended versions will be reviewed by an 
international program committee, which will decide on their final publication 
on the thematic series.

== IMPORTANT DATES ==

Paper submissions:  June 7, 2015
Notification of authors: June 24, 2015
Camera-ready copies: July 5, 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 ==

- Marco Autili, 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

------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to