The articles of this volume will not be indexed individually.
Table of contents: New application related developments in informatics with verified results (F. Krückeberg); Graphs, automata, Petri nets. From sequential to distributed and concurrent systems (W. Brauer); Approaches to the representation of knowledge (W. Brauer and the AI/Cognition Group); Inductive inference in AI systems (M. Aristova); Construction of high-quality software with formally guaranteed properties (H. Brix); An intelligent system for distributed system software design (A. V. Brzhesovsky, V. V. Filchakov, V. I. Zhakov); Integrated environment for software system design (M. S. Camennova, V. P. Semik); Object-oriented CASE (Y. E. Filinov, A. G. Ivanov); Automatic speech synthesis by computer (G. D. Frolov, A. V. Laptev, V. U. Oljunin, E. N. Filinov, S. N. Poleschjuk); Phoneme recognition of speech (G. D. Frolov, A. E. Ryazantsev, V. U. Oljunin, N. N. Yaroslavtseva); A machine learning approach to learn rules for fault diagnosis in power distribution systems (A. Hecht, R. Meunier); Artificial neural networks: Models, implementations, and selected applications (F. Hergert, B. Kämmerer, B. Schürmann, V. Tresp, M. Weick, H. G. Zimmermann); Features of the generalized heterogeneous information resource representation language (L. Kalinichenko); Technological complexes for application program development (G. Khalabuzar, N. Scrypitsyn); Document image understanding (J. Kreich, A. Luhn, G. Maderlechner); Computer hardware verification and modeling (I. Y. Landau, G. M. Pogosjantz); Multi media human- computer communication (M. Niemöller, C. Rumpf); Distributed software systems: Trends from communication to cooperation (B. Stork); Towards a new generation of diagnosis systems (P. Struss); Speech-understanding systems: The communication technology of tomorrow? (K. Zünkler); Design of integrated systems (D. Schmid); VLSI-based system design challenges in the early 1990s (A. R. Newton); Methodology aspects of logical structure synthesis of application specific integrated circuits (A. I. Kornilov, A. L. Stempkovsky); High-level synthesis – a step towards system design automation (S. März); Algorithmic environment for VLSI design on cellular automata (A. L. Stempkovsky, P. A. Vlasov, G. V. Kozin); HDL for system design (A. Hohl); Hierarchical physical design of complex VLSI circuits (J. Kleinhans); Methods and algorithms for hierarchical layout synthesis of VLSI circuits (G. N. Brusnikin, V. N. Loshakov); System-related aspects of testing (J. Armaos, W. Glunz, B. Hanstein, M. Johannson, M. Pabst, H. Severloh); Directions of reducing the computational complexity in LSI circuit simulation (S. G. Rusakov, A. A. Lialinsky); System shell for VLSI CAD (V. A. Shepelev, U. Z. Gorbunov, A. V. Vlasov).