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

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
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications