Kusumoto Laboratory

@article{id42,
         title = {在庫管理プログラムに対するJML記述とESC/Java2を用いた検証の事例報告},
        author = {尾鷲方志 and 岡野浩三 and 楠本真二},
       journal = {電子情報通信学会論文誌 VOL.J91-D NO.11},
        volume = {91-D},
        number = {11},
         pages = {2719-2720},
         month = {11},
          year = {2008},
}

@inproceedings{id139,
         title = {アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出},
        author = {小林和貴 and 宮本敬三 and 岡野浩三 and 楠本真二},
        editor = {高田 眞吾,　福田 浩章},
     booktitle = {ソフトウェア工学の基礎XVII},
        number = {36},
         pages = {35-44},
     publisher = {近代科学社},
       address = {東京都新宿区市谷田町2-7-15},
         month = {11},
          year = {2010},
}

@article{id26,
         title = {JMLを用いた在庫管理プログラムの設計とESC/Java2 を用いた検証},
        author = {尾鷲方志 and 岡野浩三 and 楠本真二},
       journal = {電子情報通信学会技術報告},
        volume = {107},
        number = {176},
         pages = {37-42},
         month = {8},
          year = {2007},
}

@misc{id87,
         title = {クラス間関係を利用した単体テストおよび静的検査の網羅率可視化ツールの試作と評価},
        author = {武藤 祐子},
         month = {2},
          year = {2010},
}

Search

Tags