Register | Log in | FAQ      [?] 

Tag gui [122 articles]

Recent papers classified by the tag gui.
  • wxHaskell: a portable and concise GUI library for haskell
    (2004), pp. 57-68.
    by Daan Leijen
    posted to gui haskell by zednenem on 2006-01-04 02:51:17 as *** along with 2 people jrw kowey
  • Escaping the event loop: an alternative control structure for multi-threaded GUIs
    (1995), pp. 69-87.
    by M Fuchs
  • A Functional Programming Technique for Forms in Graphical User Interfaces
    Implementation and Application of Functional Languages (2005), pp. 35-51.
    by Sander Evers, Peter Achten, Jan Kuper
    posted to composable-references fp gui haskell by zednenem on 2007-06-05 02:56:45 as read
  • Evaluating an intelligent graphical user interface by comparison with human experts
    Knowledge-Based Systems, Vol. 17, No. 1. (January 2004), pp. 31-37.
    by M Virvou, K Kabassi
  • Comparing response time, errors, and satisfaction between text-based and graphical user interfaces during nursing order tasks.
    J Am Med Inform Assoc, Vol. 7, No. 2. (r 2000), pp. 164-176.
    by N Staggers, D Kobus
  • Designing Visual Interfaces: Communication Oriented Techniques
    (05 December 1994)
    by Kevin Mullet, Darrell Sano
  • A rich OPAC user interface with AJAX
    (2007), pp. 329-330.
    by Jesse P Gozali, Min-Yen Kan
  • An Insight-Based Longitudinal Study of Visual Analytics
    Transactions on Visualization and Computer Graphics, Vol. 12, No. 6. (2006), pp. 1511-1522.
    by P Saraiya, C North, Vy Lam, KA Duca
  • Hubble: an advanced dynamic folder system for XML
    (2005), pp. 1064-1065.
    by Ning Li, Joshua Hui, Hui-I Hsiao, Kevin Beyer
    posted to gui xml by takeha-e on 2005-12-13 04:52:11 as read
  • Hubble: an advanced dynamic folder technology for XML
    (2005), pp. 541-552.
    by Ning Li, Joshua Hui, Hui-I Hsiao, Kevin S Beyer
    posted to gui xml by takeha-e on 2005-12-13 04:54:25 as **
  • Rooms: the use of multiple virtual workspaces to reduce space contention in a window-based graphical user interface
    ACM Trans. Graph., Vol. 5, No. 3. (July 1986), pp. 211-243.
    by Austin D Henderson, Stuart Card
  • Animation: from cartoons to the user interface
    (1993), pp. 45-55.
    by Bay-Wei Chang, David Ungar
  • Dynamo: a public interactive surface supporting the cooperative sharing and exchange of media
    (2003), pp. 159-168.
    by Shahram Izadi, Harry Brignull, Tom Rodden, Yvonne Rogers, Mia Underwood
  • Name-passing style GUI programming in the [pi]-calculus-based language Nepi
    Electronic Notes in Theoretical Computer Science, Vol. 139, No. 1. (4 November 2005), pp. 145-168.
    by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
    posted to 2005 gui modelchecking by shimomura on 2008-04-07 22:34:38 as ** along with 1 person keigoi
  • notes Specification-driven automated testing of GUI-based Java programs
    (2004), pp. 140-145.
    by Yanhong Sun, Edward L Jones
    posted to testing specification java gui 2004 by shimomura on 2008-09-09 10:58:05 as read
  • Model Checking Large Software Specifications
    IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520.
    by William Chan, Richard J Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon D Reese
    posted to 1998 gui modelchecking by shimomura on 2008-04-07 09:26:17 as ** along with 1 person leonardo
  • Automating regression testing for evolving GUI software
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
    by Atif Memon, Adithya Nagarajan, Qing Xie
    posted to testing gui 2005 by shimomura on 2008-09-09 11:29:26 as **
  • A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
    Formal Methods and Software Engineering (2005), pp. 450-464.
    by Ana Paiva, João Faria, Nikolai Tillmann, Raul Vidal
    posted to testing gui 2005 by shimomura on 2008-09-09 11:48:23 as **
  • Formal Modelling of Java GUI Event Handling
    (2002), pp. 359-370.
    by Jessica Chen
    posted to 2002 gui modelchecking by shimomura on 2008-04-07 22:36:33 as ** along with 1 person keigoi
  • Model checking graphical user interfaces using abstractions
    SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261.
    by Matthew B Dwyer, Vicki Carr, Laura Hines
    posted to 1997 gui modelchecking read by shimomura on 2008-02-16 12:28:21 as read along with 1 person keigoi
  • Model checking software systems: a case study
    SIGSOFT Softw. Eng. Notes, Vol. 20, No. 4. (October 1995), pp. 128-139.
    by Jeannette M Wing, Mandana Vaziri-Farahani
    posted to 1995 gui modelchecking read by shimomura on 2008-04-07 09:23:53 as read
  • Smoke and mirrors: setting the stage for a successful usability test
    Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
    by Marilyn C Salzman, David S Rivers
    posted to usability testing gui 1994 by shimomura on 2008-09-29 07:11:04 as **
  • notes A visual test development environment for GUI systems
    SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
    by Thomas Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia
    posted to testing read gui 1998 by shimomura on 2008-09-09 11:24:13 as read
  • Firewall regression testing of GUI sequences and their interactions
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
    by L White, H Almezen, S Sastry
    posted to testing gui 2003 by shimomura on 2008-09-09 11:45:22 as **
  • GUI testing: pitfalls and process
    Computer, Vol. 35, No. 8. (2002), pp. 87-88.
    by AM Memon
    posted to testing read gui 2002 by shimomura on 2008-09-09 11:15:37 as read
  • Helping users avoid bugs in GUI applications
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
    by A Michail, Tao Xie
    posted to read gui 2005 by shimomura on 2008-09-09 10:47:25 as read
  • notes Automation of GUI testing using a model-driven approach
    (2006), pp. 9-14.
    by Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, Juergen Kazmeier
  • DART: a framework for regression testing "nightly/daily builds" of GUI applications
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
    posted to testing gui 2003 by shimomura on 2008-09-09 11:25:22 as **
  • Specification-based Testing for Gui-based Applications
    Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
    by Jessica Chen, Suganthan Subramaniam
    posted to 2002 gui java read testing by shimomura on 2008-02-16 13:21:32 as read along with 1 person keigoi
  • Formal Modelling of Java GUI Event Handling
    Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370.
    by Jessica Chen
    posted to 2002 gui modelchecking by shimomura on 2008-04-07 22:36:11 as ** along with 1 person keigoi
  • Model-Based Testing Through a GUI
    Formal Approaches to Software Testing (2006), pp. 16-31.
    by Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
    posted to testing gui 2006 by shimomura on 2008-09-09 11:48:37 as **
  • An automated oracle for verifying GUI objects
    SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
    posted to verification testing gui 2001 by shimomura on 2008-09-23 09:22:34 as **
  • notes A verification method for some GUI dialogue properties
    Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
    by Yoshihiro Tsujino
    posted to verification read gui 2000 by shimomura on 2008-09-09 11:06:30 as read
  • A scalable formal method for design and automatic checking of user interfaces
    ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
    by Jean Berstel, Stefano C Reghizzi, Gilles Roussel, Pierluigi San Pietro
    posted to 2005 gui modelchecking by shimomura on 2008-04-07 22:35:17 as *** along with 1 person keigoi
  • Analyzing Interaction Orderings with Model Checking
    (2004), pp. 154-163.
    by Matthew B Dwyer, Robby, Oksana Tkachuk, Willem Visser
    posted to 2004 gui modelchecking by shimomura on 2008-04-07 22:35:56 as ** along with 1 person keigoi
  • Regression testing of GUIs
    (2003), pp. 118-127.
    by Atif M Memon, Mary L Soffa
    posted to testing gui 2003 by shimomura on 2008-09-09 11:30:34 as ** along with 1 person kevin3stone
  • Finite state testing and analysis of graphical user interfaces
    Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
    by F Belli
    posted to testing gui 2001 by shimomura on 2008-09-09 11:36:17 as **
  • notes What Test Oracle Should I Use for Effective GUI Testing?
    ase, Vol. 0 (2003)
    by Atif Memon, Ishan Banerjee, Adithya Nagarajan
    posted to testing read gui 2003 by shimomura on 2008-09-09 11:17:57 as read
  • Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design
    by Zinovy Diskin
  • A Generic Approach to Building User Interfaces for Theorem Provers
    Journal of Symbolic Computation, Vol. 25, No. 2. (1998), pp. 161-194.
    by Yves Bertot, Laurent Thery
    posted to atp gui sketches theorem-provers ui by Scis0000002 on 2007-08-07 22:35:46 as **
  • Designing a graphical user interface for healthcare workers in rural India
    (1997), pp. 471-478.
    by Sally Grisedale, Mike Graves, Alexander Gr&\#252;nsteidl
  • MeV+R: using MeV as a graphical user interface for Bioconductor applications in microarray analysis
    Genome Biology, Vol. 9 (24 July 2008), R118.
    by Vu T Chu, Raphael Gottardo, Adrian E Raftery, Roger E Bumgarner, Ka Y Yeung
  • Implementing interactive configuration management for distributed systems
    Configurable Distributed Systems, 1996. Proceedings., Third International Conference on (1996), pp. 44-51.
    by H Fossa, M Sloman
    posted to configuration distributed gui software by pongle on 2006-02-06 11:03:35 as **
  • The Intelligent Zoom as metaphor and navigation tool in a multiscreen interface for network control systems
    Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on, Vol. 4 (1995), pp. 3122-3127 vol.4.
    by L Bartram, F Henigman, J Dill
    posted to gui automatic_zoom by nicolasfournier on 2006-08-31 10:19:18 as ****
  • Improving the visualization of hierarchies with treemaps: design issues and experimentation
    (1992), pp. 124-131.
    by David Turo, Brian Johnson
    posted to distortion graphs gui hierarchical_data treemaps zoom by nicolasfournier on 2006-08-25 21:22:05 as ****
  • SuperBook: an automatic tool for information exploration—hypertext?
    (1987), pp. 175-188.
    by Joel R Remde, Louis M Gomez, Thomas K Landauer
    posted to fisheye gui hierarchical_data tree zoom by nicolasfournier on 2006-08-25 21:38:27 as ***
  • Stretching the rubber sheet: a metaphor for viewing large layouts on small screens
    (1993), pp. 81-91.
    by Manojit Sarkar, Scott S Snibbe, Oren J Tversky, Steven P Reiss
  • A fisheye presentation strategy: Aircraft maintenance data
    (1990), pp. 875-880.
    by Deborah A Mitta
  • Graphical fisheye views of graphs
    (1992), pp. 83-91.
    by Manojit Sarkar, Marc H Brown
    posted to distortion fisheye gui zoom by nicolasfournier on 2006-08-08 12:21:56 as read along with 2 people njyo flobr
  • Presenting a graphical network: a comparison of performance using fisheye and scrolling views
    (1989), pp. 313-320.
    by JG Hollands, TT Carey, ML Matthews, CA Mccann
    posted to distortion fisheye gui zoom by nicolasfournier on 2006-08-10 22:37:26 as ***
  • Note: You may cite this page as: http://www.citeulike.org/tag/gui

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.