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

About these proceedings


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.


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
  • 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
  • About this book
Industry Sectors
IT & Software