システム開発において数理論理学に基づいた仕様記述言語を用いることによる品質の確保 : 文書の記述力とチームのコミュニケーション力を鍛える - 九大コレクション

＜研究報告書＞
システム開発において数理論理学に基づいた仕様記述言語を用いることによる品質の確保 : 文書の記述力とチームのコミュニケーション力を鍛える

作成者	作成者名 Kurita, Taro 栗田, 太郎クリタ, タロウ所属機関所属機関名 Sony Corporation \| FeliCa Networks, Inc. ソニー株式会社 \| フェリカネットワークス株式会社
本文言語	英語
出版者	九州大学マス・フォア・インダストリ研究所
出版者	Institute of Mathematics for Industry, Kyushu University
発行日	2015-03-06
収録物名	MI lecture note series
巻	61
開始ページ	59
終了ページ	74
出版タイプ	Version of Record
アクセス権	open access
関連DOI	http://www.imi.kyushu-u.ac.jp/
関連DOI	https://www.math.kyushu-u.ac.jp/
関連URI	http://www.imi.kyushu-u.ac.jp/
関連URI	https://www.math.kyushu-u.ac.jp/
関連情報	http://www.imi.kyushu-u.ac.jp/
関連情報	https://www.math.kyushu-u.ac.jp/
概要	We applied the formal specification language VDM++ in the development of firmware of the “Mobile FeliCa IC chip. As an outcome, we have achieved successful results and confirmed its effectiveness. The... objectives of applying a formal method were as follows: (1) Description of rigorous specifications; (2) Development and application of a scheme and processes for specification development, firmware implementation and testing; (3) Enhancing the quality of deliverables at the upper stream of development process; (4) Testing thoroughly with formal specifications for whole software development processes; (5) Improvement of communication between engineers.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p059	pdf	1.57 MB	236