プログラムの検査 (<大特集>高信頼化技術)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1982-04-15

著者

• 岸田 孝一

  (株)ソフトウェア・リサーチ・アソシェイツ

関連論文

• プログラミング環境としてのUNIX (UNIX)
• ソフトウェアワ-クベンチ (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産設備)
• プログラムの検査 (高信頼化技術)
• テストの新技術 (実践的ソフトウェア・エンジニアリングへのアプロ-チ)

スポンサーリンク