SDL 2015: Model-Driven Engineering for Smart Cities, 1st ed. 2015 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings Computer Communication Networks and Telecommunications Series
Coordonnateurs : Fischer Joachim, Scheidgen Markus, Schieferdecker Ina, Reed Rick
This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.
The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.
Date de parution : 11-2015
Ouvrage de 285 p.
15.5x23.5 cm
Thèmes de SDL 2015: Model-Driven Engineering for Smart Cities :
Mots-clés :
Design languages; Distributed systems; Domain Specific Languages (DSLs); Formal languages; Formal software verification; Internet of Things (IoT); Model-based testing; Model-driven engineering; Modeling; Program semantics; Requirements analysis; Smart city; Software engineering; Software testing and debugging; Software verification and validation; Specification languages; System description languages; System modeling languages; Unified Modeling Language (UML); Use cases