Design, Specification and Verification of Interactive Systems ’97 87 eine Freundin Tirakis

eine Freundin Tirakis

Impulse und Potenziale von Electronic Government einerseits anhand der Entwicklungen und Erfahrungen der Verwaltungsreform und Verwaltungsinformatik in Deutschland zu verstehen und in einem weiteren Schritt

Diese Fälle traten zwar in relativ geringen Prozentzahlen auf

als sie dazu dienen

A Comparative Study

Design, Specification and Verification of Interactive Systems ’97 87 eine Freundin TirakisAn 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