フェリカネットワークス株式会社
2011 年 7 巻 1 号 p. 34-39
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
モバイルFeliCaの開発で実施した、形式手法の一つであるVDMを用いた形式仕様記述の使用経験と知見に対する質問と回答について紹介する。
すでにアカウントをお持ちの場合 サインインはこちら