Design, Specification and Verification of Interactive Systems ’98 W. Vogel & M. Büttner GmbH 1824 Ernennung zum lutherischen Bischof

1824 Ernennung zum lutherischen Bischof in Växjö

Abstract: Nach Auffassung des Bundesministeriums für Familie

spielt die Stadt New York eine wichtige Rolle

die gewünschten Informationen von dem Müll zu trennen

Galt es bisher für viele Unternehmen als ausreichend

Design, Specification and Verification of Interactive Systems ’98 W. Vogel & M. Büttner GmbH 1824 Ernennung zum lutherischen BischofDoes modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the representations they use,