Advertisement

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

  • Manuel Mazzara
  • Andrei Voronkov

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9609)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9609)

Table of contents

  1. Front Matter
    Pages I-X
  2. Darkhan Akhmed-Zaki, Madina Mansurova, Bazargul Matkerim, Ekateryna Dadykina, Bolatzhan Kumalakov
    Pages 22-35
  3. Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
    Pages 36-49
  4. Franz Brauße, Margarita Korovina, Norbert Th. Müller
    Pages 61-74
  5. Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
    Pages 75-90
  6. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
    Pages 107-115
  7. Natalia Garanina, Elena Sidorova, Stepan Anokhin
    Pages 116-129
  8. Mohamad Kassab, Giuseppe Destefanis
    Pages 158-169
  9. Dmitrij Koznov, Dmitry Luciv, Hamid Abdul Basit, Ouh Eng Lieh, Mikhail Smirnov
    Pages 170-185
  10. Ilham W. Kurnia, Arnd Poetzsch-Heffter
    Pages 186-202
  11. Torben Ægidius Mogensen
    Pages 203-217
  12. Vitaly Mordan, Vadim Mutilin
    Pages 218-232
  13. Alexandr Naumchev, Bertrand Meyer, Victor Rivera
    Pages 233-244
  14. Margus Veanes, Nikolaj Bjørner
    Pages 276-290
  15. Ekaterina Verbitskaia, Semyon Grigorev, Dmitry Avdyukhin
    Pages 291-302
  16. Irina Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
    Pages 303-313
  17. Zhenghen Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
    Pages 325-340
  18. Back Matter
    Pages 341-341

About these proceedings

Introduction

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.

Keywords

constraint system formal verification informal retrieval model-driven architecture software engineering adaptive reuse colored Petri nets computable analysis documentation reuse model verification parsing quality requirements requirements engineering scientific computing security model state machine static verification string analysis string-embedded languages workflows

Editors and affiliations

  • Manuel Mazzara
    • 1
  • Andrei Voronkov
    • 2
  1. 1.Innopolis UniversityInnopolisRussia
  2. 2.The University of ManchesterManchesterUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-41579-6
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-41578-9
  • Online ISBN 978-3-319-41579-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace