79-34 ジャクソン流プログラム設計法の形式化と分析

スポンサーリンク

概要

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

著者

• 真野 芳久

  電総研・ソフトウェア部

関連論文

• 81-16 VAL言語 : その特徴解析
• 79-34 ジャクソン流プログラム設計法の形式化と分析
• 2.米国標準規格 (ANS) Fortran と Cobol
• 仕様及び表明用言SPECKAL
• 78-15 構文と変換を定義する記法としてのプロダクション・システム
• 77-43 記号テストおよび記号評価システム : DISSECT
• 77-29 モジュラ・マルチプログラミング言語Modula
• 77-03 プログラミング及びプログラミング・システムのー考察
• 構造的FORTRANプログラミング--入門と実践-1-アルゴリズムとプログラム,プログラムの正しさについて

スポンサーリンク