Interactive Systems: Design, Specification, and Verification
| Veröffentlichungsdatum: | 18.02.2012 |
|---|---|
| EAN: | 9783642871177 |
| Sprache: | Englisch |
| Seitenzahl: | 468 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Paterno, Fabio |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Untertitel: | 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 |
Produktinformationen "Interactive Systems: Design, Specification, and Verification"
Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen