Proceedings of the International Workshop on the "ART" of Software Composition (SCART 2015), Springer International Publishing, LNCS - 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)