Advertisement

Perspectives of System Informatics

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

  • Manfred Broy
  • Alexandre V. Zamulin
Conference proceedings PSI 2003

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

Table of contents

  1. Front Matter
  2. Programming Issues

    1. Torben Æ Mogensen
      Pages 13-21
    2. Roland Weiss, Volker Simonis
      Pages 22-29
    3. Marcin Zalewski, Sibylle Schupp
      Pages 30-36
    4. Wolfgang De Meuter, Theo D’Hondt, Jessie Dedecker
      Pages 37-45
  3. Software Engineering

    1. Cindy Michiels, Monique Snoeck, Wilfried Lemahieu, Frank Goethals, Guido Dedene
      Pages 58-65
  4. Software Education

  5. Program Synthesis, Transformation, and Semantics

    1. Viktor Sabelfeld, Kai Kapp
      Pages 79-90
    2. Nikolay P. Varnovsky, Vladimir A. Zakharov
      Pages 91-102
    3. Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
      Pages 103-111
  6. Graphical Interfaces

    1. Martin Rammerstorfer, Hanspeter Mössenböck
      Pages 121-132
  7. Partial Evaluation and Supercompilation

    1. Stephen-John Craig, Michael Leuschel
      Pages 148-161
    2. Andrei P. Nemytykh
      Pages 162-170
    3. Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko et al.
      Pages 171-177
  8. Verification

    1. Stefan Blom, Natalia Ioustinova, Natalia Sidorova
      Pages 178-191
    2. Simona Orzan, Jaco van de Pol
      Pages 192-206
    3. Juan C. Augusto, Michael Butler, Carla Ferreira, Stephen-John Craig
      Pages 207-213
  9. Logic and Types

    1. Tatiana Rybina, Andrei Voronkov
      Pages 222-237
  10. Concurrent and Distributed Systems

    1. Irina B. Virbitskaite, Nataly S. Gribovskaja
      Pages 248-259
    2. Berndt Farwer, Kundan Misra
      Pages 274-293
  11. Concurrent and Reactive Systems

    1. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
      Pages 294-306
    2. Pierpaolo Degano, Fabio Gadducci, Corrado Priami
      Pages 307-318
    3. Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana
      Pages 329-337
  12. Program Specification

    1. Leonid Kof, Bernhard Schätz
      Pages 344-349
    2. Paul Ziemann, Martin Gogolla
      Pages 351-357
  13. Verification and Model Checking

    1. Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil Solla
      Pages 366-380
    2. Henrik Björklund, Sven Sandberg, Sergei Vorobyov
      Pages 381-394
    3. Nikolai V. Shilov, Natalya O. Garanina
      Pages 395-400
  14. Constraint Programming

    1. Brice Pajot, Eric Monfroy
      Pages 401-414
    2. Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov
      Pages 423-430
  15. Documentation and Testing

    1. Volker Simonis, Roland Weiss
      Pages 438-449
    2. Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
      Pages 450-461
    3. Dirk Seifert, Steffen Helke, Thomas Santen
      Pages 462-468
  16. Databases

    1. Joachim W. Schmidt, Hans-Werner Sehring
      Pages 469-493
    2. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
      Pages 494-508
    3. José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places
      Pages 509-519

About these proceedings

Keywords

Processing database distributed systems logic model checking programming verification

Editors and affiliations

  • Manfred Broy
    • 1
  • Alexandre V. Zamulin
    • 2
  1. 1.Technische Universität MünchenGermany
  2. 2.A.P. Ershov Institute of Informatics SystemsSiberian Branch of Russian Academy of SciencesNovosibirskRussia

Bibliographic information

  • DOI https://doi.org/10.1007/b94823
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20813-6
  • Online ISBN 978-3-540-39866-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site