Muutke küpsiste eelistusi

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 1516, 2018, Proceedings 2018 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 247 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 66 Illustrations, black and white; XII, 247 p. 66 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 11150
  • Ilmumisaeg: 26-Sep-2018
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030010414
  • ISBN-13: 9783030010416
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 247 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 66 Illustrations, black and white; XII, 247 p. 66 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 11150
  • Ilmumisaeg: 26-Sep-2018
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030010414
  • ISBN-13: 9783030010416
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.
Modeling Data Protection Vulnerabilities of Cloud Systems using Risk
Patterns.- Scheduling Architectures for Scientific Workows in the Cloud.-
CREST.- A DSL for Reactive Cyber-Physical Systems.- On the Ontological
Expressiveness of the High-Level Constraint Language for Product Line
Specification.- Distributed Computing on Distributed Memory.- Pattern
Libraries Guiding the Model-based Reuse of Automotive Solutions.- Enabling
Performance Modeling for the Masses: Initial Experiences.- Realizability of
Service Specifications.- An Arithmetic Semantics for GRL Goal Models with
Function Generation.- Textual User Requirements Notation.- A Comparative
Analysis of ITU-MSC-based Requirements Specification Approaches used in the
Automotive Industry.- Towards Online Collaborative Multi-View Modeling.-
Collaborative Software Design and Modeling in Open Source Systems.- The
Impact of Integrating Agile Software Development and Model-Driven
Development: A Comparative Case Study.