DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop

Publisher
Springer
Website
Year
1994
Period
June 8-10
Place
Bocca di Magra, Italy
ISBN
3-540-59480-9
Series
DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems
DOI
Volume
Copyright info

Description

DSV-IS is now subsumed by the EICS conference - Engineering Interactive Computing Systems. DSV-IS provides a forum for researchers addressing the design and development of interactive systems. The workshop investigates the effective design, specification and verification of interactive systems, at all points in the software life cycle.

All years

Articles

Hurley, William D. (1994): Bridging the Gap from Conceptual Design to Software Design. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 117-127.

Luo, Ping (1994): A Human-Computer Collaboration Paradigm for Bridging Design Conceptualization and Implemen. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 129-147.

Paterno, Fabio, Leonardi, Ales, Pangoli, S. (1994): A Tool-supported Approach to the Refinement of Interactive Systems. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 149-159.

Barnard, Philip J., May, Jon (1994): Interactions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowled. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 15-49.

Schreiber, Siegfried (1994): The BOSS-System: Coupling Visual Programming with Model Based Interface Design. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 161-179.

Sukaviriya, Piyawadee Noi, Muthukumarasamy, Jeyakumar, Frank, Martin R., Foley, James D. (1994): A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarativ. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 181-197.

Harmelen, Mark van (1994): Object-Oriented Modelling and Specification for User Interface Design. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 199-231.

Bernsen, Niels Ole (1994): Why are Analogue Graphics and Natural Language both Needed in HCI?. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 235-251.

Fields, Bob, Harrison, Michael D., Wright, Peter C. (1994): Modelling Interactive Systems and Providing Task Relevant Information. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 253-266.

Harrison, Michael D., Blandford, Ann, Barnard, Philip J. (1994): Modelling Interactive Systems and Providing Task Relevant Information. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 267-277.

Hartson, H. Rex, Mayo, Kevin A. (1994): A Framework for Precise, Reusable Task Abstractions. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 279-297.

Foley, James D., Sukaviriya, Piyawadee Noi (1994): History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Ear. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 3-14.

Dearden, Andrew M., Harrison, Michael D. (1994): Modelling Interaction Properties for Interactive Case Memories. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 301-316.

Dix, Alan J. (1994): LADA - a logic for the Analysis of Distributed Actions. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 317-332.

Duke, David J., Harrison, Michael D. (1994): Folding Human Factors into Rigorous Development. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 333-347.

Faconti, Giorgio P., Fornari, Angelo, Zani, Nicola (1994): Visual Representation of Formal Specification: an Application to Hierarchical Logical Inpu. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 349-367.

Limpouch, Ales (1994): Grammar-based Formal Specification for the Object-Oriented User Interface Development. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 369-382.

Palanque, Philippe A., Bastide, Remi (1994): Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 383-400.

Roast, Chris R., Harrison, Michael D. (1994): User Centred System Modelling using the Template Model. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 401-412.

Took, Roger K. (1994): Understanding Direct Manipulation Interaction Algebraically. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 413-428.

Torres, Juan Carlos, Rodríguez, Buenaventura Clares (1994): Understanding Direct Manipulation Interaction Algebraically. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 429-444.

Duce, David A. (1994): Working Group Discussions: Users. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 51-55.

Harrison, Michael D. (1994): Working Group Discussions: Role of Formalisms. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 57-60.

Sukaviriya, Piyawadee Noi (1994): Working Group Discussions: Role of Development Environments. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 61-73.

Bodart, Francois, Hennebert, Anne-Marie, Provot, Isabelle, Leheureux, Jean-Marie, Vanderdonckt, Jean M. (1994): A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 77-94.

Bruin, Hans de, Bouwman, Peter, Bos, Jan van den (1994): Modeling and Analyzing Human-Computer Dialogues with Protocols. In: Paterno, Fabio (eds.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 95-116.