Copied Interactive Systems: Design, Specification, and Verification
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Funktionenlehre und Elemente der Differential- und Integralrechnung
$59.99
Israel: National Security and Securitization
$119.99
Transactions on Engineering Technologies
$169.00
Immobilienbewertung im Kontext der IFRS
$79.99
Otto Sterns gesammelte Briefe Band 1
$84.99
konomisierung des Privaten?
$49.99
Der Lebenszyklus kultivierter Hhnerherzzellen und die Wirkung subletaler Rntgendosen auf ihn
$54.99
Algorithms in Bioinformatics
$54.99
Transport decisions in an age of uncertainty
$54.99
Multimodal Location Estimation of Videos and Images
$109.99
System Dynamics in der strategischen Planung
$59.99
Theoretical Physics 6
$99.99
Effektiv Programmieren mit Turbo Pascal 5.0/5.5
$69.99
Elementary Particles
$129.00
Streuung und Strukturen
$24.99
Einfhrung in die Programmiersprache Modula 2
$54.99
Reviews of Physiology, Biochemistry and Pharmacology 157
$109.99
Die Theorie der Destillation und Extraktion von Flssigkeiten
$49.99
Modeling and Using Context
$54.99
British and French Colonialism in Africa, Asia and the Middle East
$159.99
Hhere Mathematik fr Naturwissenschaftler und Ingenieure
$69.99
The Diversity and Beauty of Applied Operator Theory
$199.99
Magnetic Microhydrodynamics
$59.99
Bedside Procedures for the Intensivist
$79.99
Just Discovered Fish (Learn About: Animals)
$5.24
Cardiovascular Disease in the Elderly
$219.99
Vaccine Adjuvants
$149.00
Integrated Land Use and Environmental Models
$109.99
Praxisbuch Herz-CT
$99.99
Women, Poverty and Ideology in Asia
$109.99
Prophylaxe und Therapie der Kinderkrankheiten
$59.99
Beyond Free Trade
$54.99
Technische Informatik
$29.99
Behavioral Flexibility in Primates
$169.99
Algorithmic Aspects in Information and Management
$39.99
Demonstrational Optics
$84.99
Referendums Around the World
$37.99
Compatibility Modeling
$54.99
Dynamic Provisioning for Community Services
$109.99
Quantum Information in the Nanoelectronic World
$99.00
