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

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