Communications in Computer and Information Science
cover

Model-Driven Engineering and Software Development

8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers

Editors: Hammoudi, Slimane, Pires, Luís Ferreira, Selić, Bran (Eds.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-67445-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-67444-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. 

The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.

About the authors

Table of contents (15 chapters)

Table of contents (15 chapters)
  • The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems

    Pages 3-25

    Oudart, David (et al.)

  • Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

    Pages 26-48

    Bornebusch, Fritjof (et al.)

  • Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

    Pages 49-73

    Iyenghar, Padma

  • Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices

    Pages 74-96

    Genius, Daniela (et al.)

  • ProvAnalyser: A Framework for Scientific Workflows Provenance

    Pages 99-120

    Butt, Anila Sahar (et al.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-67445-8
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-030-67444-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Model-Driven Engineering and Software Development
Book Subtitle
8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers
Editors
  • Slimane Hammoudi
  • Luís Ferreira Pires
  • Bran Selić
Series Title
Communications in Computer and Information Science
Series Volume
1361
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-67445-8
DOI
10.1007/978-3-030-67445-8
Softcover ISBN
978-3-030-67444-1
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XII, 377
Number of Illustrations
64 b/w illustrations
Topics