Description
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
Coordinators: Fischer Joachim, Scheidgen Markus, Schieferdecker Ina, Reed Rick
Language: EnglishSubjects for SDL 2015: Model-Driven Engineering for Smart Cities:
Keywords
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
Support: Print on demand
Description
/li>Comment
/li>
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.