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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Mazzara, Manuel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ober, Iulian (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Salaün, Gwen (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 11176
• Θέματα: 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...

Πίνακας περιεχομένων:

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