Editors:
Part of the book series: Communications in Computer and Information Science (CCIS, volume 1085)
Conference series link(s): MEDI: International Conference on Model and Data Engineering
Conference proceedings info: MEDI 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 papers)
-
Front Matter
-
Workshop on Modeling, Verification and Testing of Dependable Critical Systems
-
Front Matter
-
-
Workshop on Data Science for Social Good in Africa
-
Front Matter
-
-
Workshop on Security and Privacy in Models and Data
-
Front Matter
-
About this book
This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.
The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.
Keywords
- artificial intelligence
- authentication
- cloud computing
- computer systems
- data privacy
- data security
- formal logic
- formal methods
- model checking
- privacy
- semantics
- sensor nodes
- software engineering
- specifications
- ubiquitous computing
- user interfaces
- wireless sensor networks
- wireless telecommunication systems
- World Wide Web
Editors and Affiliations
-
University of Nantes, Nantes, France
Christian Attiogbé
-
Software Competence Center Hagenberg, Hagenberg, Austria
Flavio Ferrarotti
-
University of Bordeaux, Bordeaux, France
Sofian Maabout
Bibliographic Information
Book Title: New Trends in Model and Data Engineering
Book Subtitle: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings
Editors: Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-030-32213-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-32212-0Published: 28 September 2019
eBook ISBN: 978-3-030-32213-7Published: 16 October 2019
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: VIII, 209
Number of Illustrations: 132 b/w illustrations, 53 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Information Systems Applications (incl. Internet), Systems and Data Security, Computer Systems Organization and Communication Networks