Design, Specification and Verification of Interactive Systems ’97 formatIsbn:Softcover - 9783211830550 Die großen Finanzinstitute sind heute

Die großen Finanzinstitute sind heute nach ihrer internen Aufgabenstellung weitgehend Informationsprozessoren und damit letztlich reine Datenverarbeitungsfabriken

1Untersuchungsziel9

wo konventionell nur schwer zu automatisierende Prozesse

und sie waren häufig von Auseinandersetzungen und Machtkämpfen

CHRONOLOGY -- 3

Design, Specification and Verification of Interactive Systems ’97 formatIsbn:Softcover - 9783211830550 Die großen Finanzinstitute sind heuteAn 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