Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10567)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SDL 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
Other volumes
-
SDL 2017: Model-Driven Engineering for Future Internet
Keywords
- model-driven software engieneering
- state systems
- software system models
- formal methods
- software notations and tools
- very high level languaages
- formal language definitions
- system description languages
- designing software
- software development techniques
- network protocol design
- protocol correctness
- networks services
About this book
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL models; model-driven engineering of database queries; network service design and regression testing; and modeling for Internet of Things (IoT) data processing.
Editors and Affiliations
Bibliographic Information
Book Title: SDL 2017: Model-Driven Engineering for Future Internet
Book Subtitle: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Editors: Tibor Csöndes, Gábor Kovács, György Réthy
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-68015-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-68014-9Published: 07 September 2017
eBook ISBN: 978-3-319-68015-6Published: 25 September 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 173
Number of Illustrations: 74 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Management of Computing and Information Systems, Computer Systems Organization and Communication Networks