Design, Specification and Verification of Interactive Systems ’97 formatIsbn:Softcover - 9783211830550 Mit der vorgelegten Diplomarbeit weist

Mit der vorgelegten Diplomarbeit weist der Autor seine Kenntnisse und Fähigkeiten bei der wissenschaftlichen Herangehensweise an eine technische Aufgabenstellung in einem vorgegebenem Zeitrahmen nach

so scheint ihr Fortbestand nicht nur durch eine drohende Übernahme

Mit der Globalisierung verliert der Standort eines Unternehmens eigentlich an Bedeutung

Die Kommunikation mit prozeßnahen Komponenten und anderen Rechnersystemen erfolgt über eine Auswahl verschiedener Bussysteme oder direkte Verbindungen

In der vorliegenden Arbeit wird ein übergreifendes Wissen

Design, Specification and Verification of Interactive Systems ’97 formatIsbn:Softcover - 9783211830550 Mit der vorgelegten Diplomarbeit weistAn 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