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

Part of: DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems

Conference Details

Year: 1994
Period: June 8-10
Location: Bocca di Magra, Italy
Publisher: Springer
ISBN: 3-540-59480-9

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.

Other Years in Series

Other proceedings in the DSV-IS - Interactive Systems: Design, Specification, and Verification - now subsumed by the EICS conference - Engineering Interactive Computing Systems series

1995 1996 1997 1998 1998 1999 2000 2001 2002 2003 2005 2006 2008

Articles

Publications included in this conference proceedings

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.
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Get one powerful email each week, like 326,037 others.

Learn to design a life you love.

Next email in
6
days
7
hrs
32
mins
50
secs