This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Produkteigenschaften
- Artikelnummer: 9783540341451
- Medium: Buch
- ISBN: 978-3-540-34145-1
- Verlag: Springer
- Erscheinungstermin: 15.05.2006
- Sprache(n): Englisch
- Auflage: 1. Auflage 2006
- Serie: Programming and Software Engineering
- Produktform: Kartoniert
- Gewicht: 890 g
- Seiten: 276
- Format (B x H): 152 x 229 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Mensch-Maschine-Interaktion
- Informationsvisualisierung
- Mathematik | Informatik
- EDV | Informatik
- Daten / Datenbanken
- Datenkompression, Dokumentaustauschformate
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- Mensch-Maschine-Interaktion
- Informationsvisualisierung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- EDV | Informatik
- Daten / Datenbanken
- Datenkompression, Dokumentaustauschformate
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Software Engineering
- Objektorientierte Softwareentwicklung
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines