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
- 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)
-
-
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems
Pages 3-25
-
Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications
Pages 26-48
-
Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems
Pages 49-73
-
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
Pages 74-96
-
ProvAnalyser: A Framework for Scientific Workflows Provenance
Pages 99-120
-
Table of contents (15 chapters)
Recommended for you
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
