Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Mazzara, Manuel (Editor, http://id.loc.gov/vocabulary/relators/edt), Ober, Iulian (Editor, http://id.loc.gov/vocabulary/relators/edt), Salaün, Gwen (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Programming and Software Engineering ; 11176
• Subjects: Software engineering.; Programming languages (Electronic computers).; Special purpose computers.; Computer logic.; Algorithms.; Artificial intelligence.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Artificial Intelligence.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and se...

Table of Contents:

• Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS)
• From Data to Models and Back (DataMod)
• Formal Methods for Interactive Systems (FMIS)
• Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA)
• Graph Computation Models (GCM)
• Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun)
• Microservices: Science and Engineering (MSE)
• Security for and by Model-Driven Engineering (MDE).