業績一覧

異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法

, ,

電子情報通信学会技術研究報告, vol.113, no.159, pp.007-012 (2013)

タグ: alloy, analyzer, consistency, different, method, schemas, sql, statements, verification

@inproceedings{藤田悠矢2013,
  author = {藤田 悠矢 and 岡野 浩三 and 楠本 真二},
  title = {異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {113},
  number = {159},
  pages = {007--012},
  year = {2013},
  month = {jul}
}