Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Editors: Mazzara, Manuel, Voronkov, Andrei (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
- Table of contents (25 chapters)
-
-
Quantitative Analysis of Collective Adaptive Systems
Pages 1-5
-
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Pages 6-21
-
Applying MDA to Generate Hadoop Based Scientific Computing Applications
Pages 22-35
-
Site-Level Web Template Extraction Based on DOM Analysis
Pages 36-49
-
Verification Support for a State-Transition-DSL Defined with Xtext
Pages 50-60
-
Table of contents (25 chapters)
- Download Preface 1 PDF (46.8 KB)
- Download Sample pages 2 PDF (685 KB)
- Download Table of contents PDF (65.1 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Perspectives of System Informatics
- Book Subtitle
- 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
- Editors
-
- Manuel Mazzara
- Andrei Voronkov
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9609
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-41579-6
- DOI
- 10.1007/978-3-319-41579-6
- Softcover ISBN
- 978-3-319-41578-9
- Edition Number
- 1
- Number of Pages
- X, 341
- Number of Illustrations
- 90 b/w illustrations
- Topics
