3 0 0 0 OA 形式手法の実践に対してよく尋ねられる質問とその回答
- 著者
- 栗田 太郎
- 出版者
- 独立行政法人 情報処理推進機構 ソフトウェア高信頼化センター
- 雑誌
- SEC journal (ISSN:13498622)
- 巻号頁・発行日
- vol.7, no.1, pp.34-39, 2011 (Released:2012-07-03)
モバイルFeliCaの開発で実施した、形式手法の一つであるVDMを用いた形式仕様記述の使用経験と知見に対する質問と回答について紹介する。
言及状況
外部データベース (DOI)
Twitter (3 users, 3 posts, 0 favorites)
https://t.co/y7IvtYQcE5
う〜ん神文章
ユーモアあふれる、良い読み物だ。本当に。https://t.co/3Ge9nJNjsn
@y_taka_23 https://t.co/m8q2BesxCe
これを見てました