C++による仕様記述について

• 南摩, 英明

• 浜野, 博

• 有沢, 誠

書誌事項

タイトル別名

• C++ as Specifications Language

抄録

本稿では,オブジェクト指向言語C++により2つの例題の仕様を記述し,他の手法と比較することにより,仕様記述の可能性と限界について考える.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第40回 (ソフトウェア工学), 1107-1108, 1990-03-14

詳細情報

• CRID: 1050855522089132160
• NII論文ID: 110002884057
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00118886/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles