लेखक: Anna-Lena Lamprecht

This book contains the refereed proceedings of the 7th International Conference on Software Business, ICSOB 2016, held in Ljubljana, Slovenia, in June 2016. Software business refers to commercial act …

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISo LA 2014, held in Corfu, Greece, in Oc …

The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming an …

This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating t …