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

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
  • About this book