新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

shimomura read [9 articles]

最近 shimomura さんのライブラリに追加された論文の中から タグ read. You can also see everyone's read.
  • notes Dependently Typed Programming in Agda
    by Ulf Norell
    posted to type read dependenttype agda by shimomura on 2008-06-27 01:57:46 as read along with 2 people msakai yoriyuki
  • Automatically validating temporal safety properties of interfaces
    Model Checking Software (2001), pp. 102-122.
    by Thomas Ball, Sriram Rajamani
    posted to verification slam read modelchecking 2001 by shimomura on 2008-06-06 08:12:13 as read
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to read modelchecking 2002 by shimomura on 2008-05-16 04:51:17 as read along with 2 people and 1 group srccheck rdyer Laboratory for Software Design
  • Model checking one million lines of C code
    (2004)
    by H Chen, D Dean, D Wagner
    posted to read modelchecking blast 2004 by shimomura on 2008-05-14 06:49:02 as read along with 1 person msakai
  • Automatic predicate abstraction of C programs
    SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213.
    by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K Rajamani
    posted to read modelchecking c 2001 by shimomura on 2008-05-13 10:17:11 as read along with 3 people msakai yuichi0619 emerson
  • 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
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/shimomura/tag/read

    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.