Claus Dendorfer

Learn More
Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems In this paper we give the foundations of higher order stream process ing functions These are functions which send and accept not only messages representing atomic data but also complex elements such as functions Some(More)
The use of the formal design method FOCUS is illustrated by an example development of the so-called Stenning-protocol. The development process starts from global, non-constructive service specifications and ends in executable programs of the protocol entities. The four abstraction levels of FOCUS — trace specification, functional specification, abstract(More)
Focus is a framework for the systematic formal speci cation and development of distributed interactive systems and their components Focus provides models formalisms and veri cation calculi for the stepwise speci cation and development transformation and veri cation of such systems Focus aims at the modular de velopment and implementation of distributed(More)
  • 1