© 2018

Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

  • Alexander K. Petrenko
  • Andrei Voronkov
Conference proceedings PSI 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi et al.
    Pages 1-11
  3. Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
    Pages 12-27
  4. Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli
    Pages 59-71
  5. Valeriy M. Chernenkiy, Yuriy E. Gapanyuk, Anatoly N. Nardid, Anton V. Gushcha, Yuriy S. Fedorenko
    Pages 72-87
  6. George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
    Pages 88-94
  7. Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
    Pages 95-104
  8. Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
    Pages 117-131
  9. Natalia Fursova, Pavel Dovgalyuk, Ivan Vasiliev, Vladimir Makarov
    Pages 132-146
  10. Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch
    Pages 179-195
  11. Magne Haveraaen
    Pages 196-210
  12. Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
    Pages 211-226
  13. Margarita Korovina, Oleg Kudinov
    Pages 241-255
  14. Mikhail Mandrykin, Alexey Khoroshilov
    Pages 256-275

About these proceedings


This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.


The 31 full papers presented in this volume were carefully reviewed and selected from 57 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.


computer systems computer programming computer software selection and evaluation databases formal logic formal languages and automata theory semantics software architectures software engineering software notations and tools specifications logic verification

Editors and affiliations

  1. 1.Ivannikov Institute for System Programming of RASMoscowRussia
  2. 2.The University of ManchesterManchesterUnited Kingdom

Bibliographic information

Industry Sectors
IT & Software