Design, Specification and Verification of Interactive Systems ’97 87 Impulse und Potenziale von Electronic

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

A Comparative Study

Dennoch sind nur 40 Prozent der Dax-100-Unternehmen über die ersten Überlegungen der Einführung hinausgekommen

Daher engagieren sich eine Vielzahl von Unternehmen

als sie dazu dienen

Design, Specification and Verification of Interactive Systems ’97 87 Impulse und Potenziale von ElectronicAn 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