Programming and Software Engineering

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering

10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

Editors: Electrical and Computer Engineering, Ferhat Khendek, Gotzhein, Reinhard (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-01042-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-01041-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year’s edition of SAM will be under the theme “Languages, Methods, and Tools for Systems Engineering”, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Modeling Data Protection Vulnerabilities of Cloud Systems Using Risk Patterns

    Palm, Alexander (et al.)

    Pages 1-19

  • Scheduling Architectures for Scientific Workflows in the Cloud

    Erbel, Johannes (et al.)

    Pages 20-28

  • CREST - A DSL for Reactive Cyber-Physical Systems

    Klikovits, Stefan (et al.)

    Pages 29-45

  • On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification

    Villota, Angela (et al.)

    Pages 46-66

  • Distributed Computing on Distributed Memory

    Prinz, Andreas

    Pages 67-84

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-01042-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-01041-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Book Subtitle
10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Editors
  • Ferhat Khendek Electrical and Computer Engineering
  • Reinhard Gotzhein
Series Title
Programming and Software Engineering
Series Volume
11150
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-01042-3
DOI
10.1007/978-3-030-01042-3
Softcover ISBN
978-3-030-01041-6
Edition Number
1
Number of Pages
XII, 247
Number of Illustrations
66 b/w illustrations
Topics