Kusumoto Laboratory: 森恵弥佳, 岡野浩三, 楠本真二, Alloy Analyzerを用いた表明に関する欠陥の検出手法 -JMLによる表明記述に対して-, 2013年8月.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
森恵弥佳, 岡野浩三, 楠本真二, "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},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.033135 seconds.