Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015)