Editors:
- 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)
Conference series link(s): SDL: International SDL Forum
Conference proceedings info: SDL 2017.
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 (10 papers)
-
Front Matter
-
Back Matter
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.
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
Editors and Affiliations
-
Ericsson Hungary, Budapest, Hungary
Tibor Csöndes, György Réthy
-
Budapest University of Technology and Economics, Budapest, Hungary
Gábor Kovács
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