Publisher's Synopsis
This volume presents contributed and invited papers presented in the following three program streams: Software Development and Maintenance, Algorithms and Efficient Computation, and From Architectures to Chips;The papers on Software Engineering focus on formal methods, the usefulness of object-oriented system design, and the future of tools and environments. The papers on Efficient Algorithms address a wide range of algorithm design issues from text retrieval to e.g. parallel and distributed computing, and show considerable progress in the design of general techniques and algorithm libraries. The papers on Computer Architectures address developments in concurrent processing, formal design methods and languages, and performance aspects.