森恵弥佳, 岡野浩三, 楠本真二, "Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-," コンピュータソフトウェア, 30(3), pp. 187-193 2013年8月.
ID 314
分類 論文誌
タグ alloy analyzer annotations cations defects detecting jml method speci
表題 (title) Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-
表題 (英文) A Method with Alloy Analyzer for Detecting Defects of Speci Cations: for Jml Annotations
著者名 (author) 森恵弥佳 and 岡野浩三 and 楠本真二
英文著者名 (author) Emika Mori and Kozo Okano and Shinji Kusumoto
キー (key) Emika Mori and Kozo Okano and Shinji Kusumoto
定期刊行物名 (journal) コンピュータソフトウェア
定期刊行物名 (英文) Computer Software
巻数 (volume) 30
号数 (number) 3
ページ範囲 (pages) 187-193
刊行月 (month) 8
出版年 (year) 2013
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id314,
         title = {Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-},
        author = {森恵弥佳 and 岡野浩三 and 楠本真二},
       journal = {コンピュータソフトウェア},
        volume = {30},
        number = {3},
         pages = {187-193},
         month = {8},
          year = {2013},
}