TY - GEN digital ID - 131708458 TI - SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings AU - Fischer, Joachim AU - Scheidgen, Markus AU - Schieferdecker, Ina AU - Reed, Rick PY - 2015 SN - 9783319249124 9783319249117 9783319249131 PB - Cham Springer International Publishing DB - UniCat KW - Logic KW - Computer science KW - Programming KW - Computer architecture. Operating systems KW - Computer. Automation KW - MIS (management informatie systeem) KW - computers KW - computerbesturingssystemen KW - programmeren (informatica) KW - programmeertalen KW - software engineering KW - informatica management KW - OS (operating system) KW - computerkunde UR - https://www.unicat.be/uniCat?func=search&query=sysid:131708458 AB - 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. ER -