SDL 2015: Model-Driven Engineering for Smart Cities
17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.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.
Includes supplementary material: sn.pub/extras
Autor*in
Joachim Fischer
Themen in »SDL 2015: Model-Driven Engineering for Smart Cities«
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