Advertisement

SDL 2017: Model-Driven Engineering for Future Internet

18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

  • Tibor Csöndes
  • Gábor Kovács
  • György Réthy
Conference proceedings SDL 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10567)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10567)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Markus Scheidgen, Nils Goldammer, Joachim Fischer
    Pages 1-17
  3. Dorian Weber, Joachim Fischer
    Pages 18-29
  4. Daniel Amyot, Abdelwahab Hamou-Lhadj, Jameleddine Hassine
    Pages 30-45
  5. Edel Sherratt
    Pages 46-60
  6. Ahmed Bali, Mahmud Al-Osta, Gherbi Abdelouahed
    Pages 61-79
  7. Sadaf Mustafiz, Navid Nazarzadeoghaz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe
    Pages 99-118
  8. Dávid Honfi, Gábor Molnár, Zoltán Micskei, István Majzik
    Pages 119-135
  9. Hasan Salim Alkaf, Jameleddine Hassine, Abdelwahab Hamou-Lhadj, Luay Alawneh
    Pages 157-172
  10. Back Matter
    Pages 173-173

About these proceedings

Introduction

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

  • Tibor Csöndes
    • 1
  • Gábor Kovács
    • 2
  • György Réthy
    • 3
  1. 1.Ericsson HungaryBudapestHungary
  2. 2.Budapest University of Technology and EconomicsBudapestHungary
  3. 3.Ericsson HungaryBudapestHungary

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-68015-6
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-68014-9
  • Online ISBN 978-3-319-68015-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site