The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.

Computer scientists have long appreciated that the relationship between algorithms and architecture is crucial. Broadly speaking the more specialized the archit

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a r

Software quality is a generalised statement difficult to agree or disagree with until a precise definition of the concept of "Software Quality" is reached in te

This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is th