16. ICSE 1994: Sorrento, Italy - Workshop on SE-HCI

Richard N. Taylor, Joëlle Coutaz (Eds.): Software Engineering and Human-Computer Interaction, ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994, Proceedings. Lecture Notes in Computer Science 896 Springer 1995, ISBN 3-540-59008-0 BibTeX

@proceedings{DBLP:conf/icse/1994sehci,
  editor    = {Richard N. Taylor and
               Jo{\"e}lle Coutaz},
  title     = {Software Engineering and Human-Computer Interaction, ICSE '94
               Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May
               16-17, 1994, Proceedings},
  booktitle = {ICSE Workshop on SE-CHI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {896},
  year      = {1995},
  isbn      = {3-540-59008-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Joëlle Coutaz, Richard N. Taylor: Introduction to the Workshop on Software Engineering and Human-Computer Interaction: Joint Research Issues. 1-3 BibTeX

Working Groups

Jonathan Grudin, Roy T. Fielding: Working Group on Desing Methods and Processes. 4-8 BibTeX
Richard Chimera: Working Group on Evaluating User Interfaces and User Interface Tools. 9-13 BibTeX
Leonard J. Bass: Working Group on Formal Methods in HCI and Software Engineering. 14-16 BibTeX

Invited Papers

Leonard J. Bass, Gregory D. Abowd, Rick Kazman: Issues in the Evaluation of User Interface Tools. 17-27 BibTeX
Richard Chimera: Platform Independent GUI Builders Advance Software Engineering to Handle HCI Issues. 28-34 BibTeX
Joëlle Coutaz: Evaluation Techniques: Exploring the Intersection of HCI and Software Engineering. 35-48 BibTeX
Michael D. Harrison, David J. Duke: A Review of Formalisms for Describing Interactive Behaviour. 49-75 BibTeX
Pedro A. Szekely: User Interface Prototyping: Tools and Techniques. 76-92 BibTeX
Jonathan Grudin, Steven E. Poltrock: Software Engineering and the CHI & CSCW Communities. 93-112 BibTeX
Richard N. Taylor: User Interface Technology and Software Engineering Environments. 113-126 BibTeX

Submitted Papers

Astrid Beck, Christian Janssen, Anette Weisbecker, Jürgen Ziegler: Integrating Object-Oriented Analysis and Graphical User Interface Design. 127-140 BibTeX
Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena, D. Smith: An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces. 141-158 BibTeX
David J. Duke, Michael D. Harrison: From Formal Models to Formal Methods. 159-173 BibTeX
Danielle Fafchamps, Pankaj K. Garg: Computing Environments for Flexible Teams. 174-184 BibTeX
Bob Fields, Peter C. Wright, Michael D. Harrison: Applying Formal Methods for Human Error Tolerant Design. 185-195 BibTeX
Hans-Werner Gellersen: Support of User Interface Design Aspects in a Framework for Distributed Cooperative Applications. 196-210 BibTeX
Michael W. Godfrey, Richard C. Holt, Spiros Mancoridis: Prototyping a Visual Formalism for System Modelling. 211-224 BibTeX
Rudolf K. Keller: User Interface Tools: a Survey and Perspective. 225-231 BibTeX
Ellen Isaacs, Trevor Morris, Thomas K. Rodriguez: Lessons Learned from a Successful Collaboration Between Software Engineers and Human Interface Engineers. 232-240 BibTeX
Jeanne M. Pickering, Rebecca E. Grinter: Software Engineering and CSCW: A Common Research Ground. 241-250 BibTeX
Michael L. Van de Vanter: Practical Language-Based Editing for Software Engineers. 251-267 BibTeX
Hadar Ziv, Leon J. Osterweil: Research Issues in the Intersection of Hypertext and Software Development Environments. 268-279 BibTeX