Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

shimomura gui [10 articles]

Recent papers added to shimomura library classified by the tag gui. You can also see everyone's gui.
  • Formal Modelling of Java GUI Event Handling
    (2002), pp. 359-370.
    by Jessica Chen
    posted to modelchecking gui 2002 by shimomura on 2008-04-07 22:36:33 as ** 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 modelchecking gui 2002 by shimomura on 2008-04-07 22:36:11 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 modelchecking gui 2004 by shimomura on 2008-04-07 22:35:56 as ** along with 1 person keigoi
  • 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 modelchecking gui 2005 by shimomura on 2008-04-07 22:35:17 as *** along with 1 person keigoi
  • 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 modelchecking gui 2005 by shimomura on 2008-04-07 22:34:38 as ** along with 1 person keigoi
  • 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 modelchecking gui 1998 by shimomura on 2008-04-07 09:26:17 as ** along with 1 person leonardo
  • 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 read modelchecking gui 1995 by shimomura on 2008-04-07 09:23:53 as read
  • 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 testing read java gui 2002 by shimomura on 2008-02-16 13:21:32 as read 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 read modelchecking gui 1997 by shimomura on 2008-02-16 12:28:21 as read along with 1 person keigoi
  • BibSonomy::bibtex::Name-passing style GUI programming in the pi-calculus-based language Nepi.
    Electr. Notes Theor. Comput. Sci., Vol. 139, No. 1. (2005), pp. 145-168.
    by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
    posted to read pi nepi gui 2005 by shimomura on 2008-01-07 15:28:55 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/shimomura/tag/gui

    RIS BibTeX RSS
    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.