Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9369)
Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)
Conference series link(s): SDL: International SDL Forum
Conference proceedings info: SDL 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
-
Smart Cities and Distributed Systems
-
Front Matter
-
-
Specification and Description Language
-
Front Matter
-
About this book
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.
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
Editors and Affiliations
-
Humboldt-Universität zu Berlin, Berlin, Germany
Joachim Fischer, Markus Scheidgen
-
Fraunhofer FOKUS, Berlin, Germany
Ina Schieferdecker
-
Telecommunications Software Engineering, Windermere, United Kingdom
Rick Reed
Bibliographic Information
Book Title: SDL 2015: Model-Driven Engineering for Smart Cities
Book Subtitle: 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
Editors: Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-24912-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-24911-7Published: 28 November 2015
eBook ISBN: 978-3-319-24912-4Published: 06 October 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 285
Number of Illustrations: 90 illustrations in colour
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Management of Computing and Information Systems, Computer Systems Organization and Communication Networks