プログラミング方法論の展望
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1979-01-15
著者
-
真野 芳久
電子技術総合研究所 ソフトウェア部
-
二木 厚吉
Electrotechnical Labotory Computer Science Division Computer Language Section
-
鳥居 宏次
阪大
-
二木 厚吉
電子技術総合研究所 ソフトウェア部言語処理研究室
-
鳥居 宏次
電子技術総合研究所ソフトウェア部
-
二木 厚吉
電子技術総合研究所
関連論文
- パネル討論会 : 明日のソフトウェア工学 (<特集>ソフトウェア工学の現状と動向)
- 二次元言語AMBIT/Gとその試作について
- 68-36. コンテクストフリー文法の構造的等価性
- 2)万歩計と方位磁石による道順教示システム : 肓者らのために : システム有効性について(画像通信システム研究会(第78回))
- 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
- Coprossにおける並行プログラミング
- Pascal拡張の一手法とモジュール構造をもつPascalへの応用
- 属性文法に基づく言語指向型エディタ作成システム
- 複数画面をもつプログラミング環境MDPS
- グラフ処理用言語GML-56
- Westran : Fortran をベースとした構造的言語とその処理系
- グラフ処理システム GMS とその応用
- グラフ処理用2次元言語GMLとその機能
- プロセス代数モデルに基づく並行オブジェクト指向言語の意味定義
- プログラム図式を用いたプログラム開発教育環境
- ソフトウェアにおける信頼性 (高信頼化技術)
- 形式仕様記述言語LOTOSの試用経験
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- シリコンバレー流基礎研究所の作り方 : Stanford大学のCSLI
- An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)