ISOにおける形式記述技法の標準化動向 (<特集>通信システムの形式記述技法の標準化)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1990-01-15
著者
関連論文
- ソフトウェア科学会第3回大会
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 動作等価性によるプログラム形の能力比較について
- ISOにおける形式記述技法の標準化動向 (通信システムの形式記述技法の標準化)
- 実行可能仕様に基づく変換プログラミング (<特集>ソフトウェア工学の現状と動向)
- 項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル)
- プログラミング方法論の展望
- 再帰サブルティンにおけるパラメタの数について (計算機科学の数学的基礎)
- A.V.Aho, J.E. Hopcroft, J.D.Ullman 著, "The Design and Analysis of Computer Algorithms", Addison-Wesley 社, Reading, Mass., B5 変形判, 470p, \6,310, 1974
- 代数型言語によるプロトコルの形式仕様記述 (電子計算機相互運用デ-タベ-スシステム)