Design, Specification and Verification of Interactive Systems ’97 124 5Kontrollierbarkeit von Umwelten

5Kontrollierbarkeit von Umwelten

Durch das Aufdecken von Defiziten und Schwachstellen werden im weiteren Verlauf der Arbeit Handlungsempfehlungen gegeben

Dem­ gemaB besteht der vorliegende Band zu rund drei Vierteln aus Originalarbeiten

hohe Gebühren der Produkte und verfehlte Renditeziele sorgten für eine nachlassende Euphorie der Anleger für Hedge Fonds

bei der Herstellung und dem Zusammenbau der Teile einer Maschine dem auf der Zeichnung dar­ gestellten Idealzustand so weit wie moglich nahezl

Design, Specification and Verification of Interactive Systems ’97 124 5Kontrollierbarkeit von UmweltenAn increasing recognition of the role of the human system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques