We present a theory of object-orientation on the basis of the re-nement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as reenement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is reened by both classes, and an algorithm to construct ...

This paper describes how object-oriented software construction principles allow to develop extensible and reusable building blocks for the development of data flow based visual languages. First we’ll present the data flow visual language ProtoHyperflow whose object-oriented realization is discussed in the second part of the paper.

In order to observe a signal of possible CP violation in top-quark couplings, we study top-quark production and decay under the conditions of the Tevatron upgrade. Transverse energy asymmetries sensitive to CP violation are defined. Applying the recently proposed optimal method, we calculate the statistical significance for the direct observation of CP violation in the production and subsequent...

This talk contains a summary of our work on dynamical CPT invariance and spontaneous CPT violation in string theories, including the possibility that stringy CPT violation could occur at levels detectable in the next generation of experiments. In particular, we present here an estimate for values of parameters for CPT violation in the kaon system.

0