Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün.

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

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Mazzara, Manuel (Editor), Ober, Iulian (Editor), Salaün, Gwen (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Programming and Software Engineering ; 11176 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Special purpose computers. Computer logic. Algorithms. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

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

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün.

Similar Items