C++による仕様記述について
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,オブジェクト指向言語C++により2つの例題の仕様を記述し,他の手法と比較することにより,仕様記述の可能性と限界について考える.
- 一般社団法人情報処理学会の論文
- 1990-03-14
著者
関連論文
- 直交盤ゲイムのプログラム生成
- ソフトウェア科学会第4回大会
- パネル討論会 : コンピュータトラブルをめぐって : 昭和56年後期第23回全国大会報告
- 自動改札機収集データによる旅客行動パターンの解明
- GUIを用いたL-systemエディタの開発
- GUIを用いたL-systemエディタの開発
- 翻訳検証テストのためのストリングリソースID(機械翻訳)
- いろいろな変種Quicksortアルゴリズムの比較について
- 構造的な抽象化機能を持つオブジェクト指向言語 : Ondineの概要
- ディジタル・ドキュメント作成支援環境の提案 : Collaborative Framing for Digital Journalism
- チュ-リング機械による計算の極限収束について(技術談話室)
- マイクロ言語GPMのIF構文に関するノ-ト(技術談話室)
- 構造化プログラム文法について(技術談話室)
- 情報処理専門教育について コンピュータリテラシー教育の一事例
- 実時間システム仕様記述法について
- パズルなどの組合せ問題を解く効率のよいプログラムを書くには
- Pascalプログラムに対する呼出数最小のモジュール宣言方法について
- 実時間並行プロセス仕様記述の一考察
- 特性多項式によるプログラム複雑度の特徴づけ
- 形式文法によるプログラム複雑度の特徴づけ
- ソフトウェア生産過程の評価実験に関する考察
- ARMの報告 (実験整数論)
- プログラミング言語とソフトウェア工学
- Joseph F.Traub 編, "Cohabiting with Computers", William Kaufmann, Inc., B5変形判, 186p., 1985
- 長時間連続移動環境下でのバリアフリー施策の社会経済性評価と評価性能向上に資する新しいコミュニケイション手法の研究
- 全国規模の社会調査に基づく各種障碍者の長時間移動特性の研究
- 大都市圏在住の障碍者全般を対象にした長時間移動特性の研究
- 都市政府水準での対知的障碍者社会調査の展開状況と今後の方向性にかんする研究
- 東京圏在住下肢障碍者の地域内移動特性の研究
- HyperCampus: 物理的環境と連動した情報システムの個人化とその応用
- インホォスケープの世界-"知の風景"をめぐって-
- 三次元動画をもちいた電子新聞 (情報メディアの構造とサーチ)
- 20. 再帰呼出しの索表計算法 (アルゴリズムの最近の動向)
- 構造化プログラムにおける非決定性構文と新しいループ構造
- A.V. Aho編『Currents in the Theory of Computing』
- ALGOL 60の形式的な文法構造について
- データベースを利用した列車情報案内システムの作成
- 自律分散型鉄道制御シミュレータの設計
- 四次元空間の可視化を支援するシステム : Julia-Mandelbrot空間の可視化
- パズルゲイム
- C++による仕様記述について
- オブジェクト指向言語Smalltalkによる仕様記述
- オブジェクト指向言語でのデ-タを共有する多重継承方式の提案
- 京都賞受賞で来日されたD. E. Knuth先生について
- 輪送情報(乗車人員)の視覚化について
- マルチメディアを応用した経営情報システムのユーザ・インターフェースの改善について
- D.E.クヌース先生のコンピュータライフ
- PHUTBALLゲイム思考アルゴリズムについて
- HyperCardによるプログラミング学習コースウェアの試作
- 都市間交通における交通機関選択要因の研究
- 日本の叙情歌
- 慶應義塾大学湘南藤沢キャンパスの授業評価
- リアルタイム制御の記述