Kusumoto Laboratory: 藤田悠矢, 岡野浩三, 楠本真二, 異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法, 2013年7月.
Detail of a work
Tweet
藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, 113(159), pp. 007-012, 2013年7月.
ID 288
分類 研究会・全国大会等
タグ alloy analyzer consistency different method schemas sql statements verification
表題 (title) 異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法
表題 (英文) A Verification Method on Consistency between Different Sql Statements and Schemas Using Alloy Analyzer
著者名 (author) 藤田悠矢 and 岡野浩三 and 楠本真二
英文著者名 (author) Yuya Fujita and Kozo Okano and Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Yuya Fujita and Kozo Okano and Shinji Kusumoto
書籍・会議録表題 (booktitle) 電子情報通信学会技術研究報告
書籍・会議録表題(英文)
巻数 (volume) 113
号数 (number) 159
ページ範囲 (pages) 007-012
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 7
出版年 (year) 2013
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル sigss1307_f-yuya.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id288,
         title = {異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法},
        author = {藤田悠矢 and 岡野浩三 and 楠本真二},
     booktitle = {電子情報通信学会技術研究報告},
        volume = {113},
        number = {159},
         pages = {007-012},
         month = {7},
          year = {2013},
}
  

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.035131 seconds.