ニュース

  • ICPC 2014に論文が採択されました.
    March 24, 2014

    修士1年の鈴木くんの研究が,ソフトウェア工学系の国際会議ICPC'14に採択されました.

     

    • An Approach for Evaluating and Suggesting Method Names using N-gram Models
    • Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
    • 22nd International Conference on Program Comprehension (ICPC 2014), June 2014 (to appear)
  • ABZ 2014に論文が採択されました.
    March 24, 2014

    博士1年の小林くんの研究が,形式手法系の国際会議ABZ'14に採択されました.

     

    • Understanding and Planning Event-B Refinement through Primitive Rationales
    • Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • 4th International ABZ 2014 Conference, June 2014 (to appear)
  • ICST 2014に論文が採択されました.
    February 17, 2014

    修士1年の矢藤くんの研究が,ソフトウェア工学(テスト・検証)系の国際会議ICST'14に採択されました.
     

    • ArbitCheck: a highly automated property-based testing tool for Java
    • Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
    • IEEE International Conference on Software Testing, Verification and Validation (ICST 2014) (Testing Tools Track), March 2014 (to appear)
Syndicate content