状態抽象 : モジュール化のもう1つの可能性
スポンサーリンク
概要
- 論文の詳細を見る
現在のプログラム言語におけるモジュール化では,モジュールの内部状態を隠蔽しているが,どの操作をどの時点で呼び出しても構わないというわけには行かないので,その意味ではすべての状態を隠蔽してしまうのは適切でない.しかし内部状態をそのまま公開することは望ましくない.本稿では内部状態とは別個にモジュール開発者が「抽象的な状態」を規定し,それに基づいて操作適用の可否を指示することを提案する.これにより内部の詳細に立ちいることなく操作適用の順序を制御でき,翻訳時や実行時の検査に役立てられる.さらに,並行プログラムにおいて抽象状態を実行主体間の同期条件として利用することも検討し,いくつかの例題を示した.
- 一般社団法人情報処理学会の論文
- 1993-10-29
著者
関連論文
- モデル検査を用いた通信プロトコル二重化の検証(プロトコル,インターネット技術とその応用論文)
- ITクラフトマンシッププロジェクト : 小中学生によるドリトルプログラミング
- モデル検査を用いた通信プロトコル二重化の設計と検証(インターネットアーキテクチャ,一般,インターネットセキュリティ,一般)
- Nuts : ホワイトボックスコンポーネントアーキテクチャ
- ベクターコンポーネント : コンポーネント結合による差分プログラミング
- Nuts-柔軟な部品間結合をサポートするコンポーネントアーキテクチャ
- 分散仮想マシンを用いたオブジェクト指向プログラミング環境
- アクションゲーム記述に特化した言語
- 1.情報科学教育の重要性と情報処理学会の活動(未来のコンピュータ好きを育てる)
- 中学校におけるCSアンプラグドの授業提案
- ペンコンピュータのUnix
- 「アイコン投げ」ユーザインタフェース ( インタラクティブソフトウェア)
- キーボードによる窓操作機構の作成と評価
- 中学校におけるコンピュータを使わない情報教育(アンプラグド)の評価
- プログラミング学習の他教科への波及効果(2) : 数学と考える力を対象とした調査と検証報告
- コンピュータサイエンスアンプラグドの状況と今後の展開
- 中学生が学会にやってきた
- 「新・試作教科書」におけるプログラミングの扱い(特別セッション 情報処理学会高校普通教科「情報」新・試作教科書)
- テレビゲーム記述プログラミング言語WOW
- K-025 視覚表現を用いたユーザー・オリエンテッドなシステム要求定義手法の提案 : ユーザー指向視覚的要求定義手法"すがた"の提案(K.ヒューマンコミュニケーション&インタラクション)
- WWWを環境を利用したビジネスゲーム開発ツール
- 「情報B」の教科書比較 : 「手順的な自動処理」の観点から
- モデル検査を用いた通信プロトコル二重化の設計と検証(インターネットアーキテクチャ,一般,インターネットセキュリティ,一般)
- スクリプト言語(1)座談会「スクリプト言語とは」
- 抽象状態同期による高機能ロックの実装と評価
- オブジェクト間の協調動作を表現する並列計算モデルと言語
- 対称型メッセージ送信とその実装
- パターン指向オブジェクト間協調計算モデルについて
- 並列オブジェクト協調記述言語Produce/1の実装
- パタ-ン指向オブジェクト間協調計算モデルについて
- オブジェクト間協調動作表現モデルの提案 : 「プロデューサモデル」とその記述言語について
- 大特集「オブジェクト指向プログラミング」の編集にあたって
- 中学校における自律型制御ロボット教材の評価と授業〜新学習指導要領の「計測・制御」授業に向けて〜
- 近傍オブジェクトモデル(コンテンツネットワーク)(インターネットアーキテクチャ技術論文)
- 分散指向言語におけるオブジェクト外部情報の利用
- 分散オブジェクト指向言語の設計と実装
- オブジェクト指向言語とその発展 (特集 新しいコンピュータ言語環境)
- 「新・試作教科書」の全体構成と水準について(特別セッション 情報処理学会高校普通教科「情報」新・試作教科書)
- 2.情報教育におけるプログラミング利用の可能性(教育用プログラミング言語と授業利用)
- Join Tokens : オブジェクト間相互作用記述のための言語機構
- 美術教育での利用に適したプログラミング言語と環境
- 「教育用プログラミング言語に関するワークショップ2006」の報告
- ITクラフトマンシッププロジェクト : 中学生によるネットワークプログラミング
- 美術・工芸教育に適したプログラミング言語
- ドリトルと「情報教育の音楽化」
- システム運用時に発生する障害の再発防止策の適用方法に関する提案
- ペンコンピュータのUnix
- 自律型ロボット教材の評価と授業
- システム開発外部委託管理のためのプロセス標準化(「ビジネスモデルからソーシャルモデルへの展開」 : 企業から公共,非営利組織まで)
- 「新・試作教科書」における情報社会/情報倫理の扱い(特別セッション 情報処理学会高校普通教科「情報」新・試作教科書)
- 5X-7 情報教育のためのソフトウェア環境への要件 : 計算機科学との連携
- スレッドライブラリへの抽象状態同期の導入
- 抽象状態に基づく並列オブジェクト指向言語p6
- NetNewsサーバにおける効率的な記事配送方式の設計と実装
- 新しい情報教育環境 (特集 初等中等教育に広がる情報教育)
- "Icon Throwing" user interface in tablet PC
- 教育用プログラミング言語におけるオブジェクト共有機能の導入
- 初中等教育におけるオブジェクト指向プログラミングの実践と評価
- オブジェクトストーム : オブジェクト指向言語による初中等プログラミング教育の提案(オブジェクト指向技術)
- 学校教育用オブジェクト指向言語「ドリトル」の設計と実装
- プロトタイプ階層を持つ教育用オブジェクト指向言語「ドリトル」
- コンピュータサイエンスアンプラグドに基づく授業方法改善の試みとその実践
- 特集「新しいアーキテクチャに基づくコンパイラ技術」の編集にあたって
- プログラミング言語(に関する用語集) (特集 新人技術者・研究者に捧ぐ) -- (第1部 技術知識編)
- 型階層をもつオブジェクト指向言語 (オブジェクト指向プログラミング)
- Eric Foxley 著, "Unix For Super-Users", Addison-Wesley, B5変形判, 210p., \7,070, 1985
- 高校情報科におけるネットワーク教育の内容と構成
- 言語研究者の「理想と現実」 (lt討論会gtさまざまなソフトウェア開発文明)
- 状態抽象 : モジュール化のもう1つの可能性
- 静的型検査を行なうオブジェクト指向言語Mistyにおける動的な型の扱い (オブジェクト指向研究会から)
- 新しいアーキテクチャとコンパイラ技術 (新しいアーキテクチャに基づくコンパイラ技術)
- 多重継承と強い型付けを持つオブジェクト指向言語Misty
- 4. 新しい技術の応用 4.1 新しいプログラマ・インタフェースの利用 (<大特集>新しいプログラミング環境)
- Alfred V.Aho, Ravi Sethi, Jeffrey D.Ullman 著, "Compilers-principles, techniques,and tools", Addison-Wesley, B5 変形判,796p., \11,730, 1986
- 85-28 生成型コミュニケーションとプログラム言語 Linda
- Grady Booch 著, "Software Engineering with Ada", Benjamin Gummings, B5 変形判, 504p., \6,630, 1983
- マクロ方式かな漢字変換の実用性評価
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- TK-7-5 高校教科「情報」におけるコミュニケーションの扱い(TK-7.楽しい学び実現?-高校生の意欲向上目指して-,大会企画シンポジウム,大会委員会企画)
- 試作教科書活動と「次期」高校情報教育の内容提案(ぺた語義)
- 自律型ロボット教材の評価と授業
- 高校教科「情報」のこれまでとこれから(前) (ぺた語義(第1回))
- 高校教科「情報」のこれまでとこれから(後) (ぺた語義(第2回))
- データ入力時の自由度を重視したPIM向け情報表現形式
- 状態遷移概念を利用した制御プログラミングの学習効果
- コンピュータサイエンスアンプラグドに基づく授業方法改善の試みとその実践
- 試作教科書活動と「次期」高校情報教育の内容提案 (ぺた語義(第24回))
- OTCデリバティブ商品定義を目的としたドメイン特化言語の開発と評価
- 初等中等教育における情報教育の過去・現在・未来
- 抽象状態同期による高機能ロックの実装と評価 (プログラミング Vol.1 No.2)
- 情報教育と情報入試:9.あなたにとって「情報」って入試科目ですか?