オブジェクト/制約指向パラダイムによる設計言語Delphi
スポンサーリンク
概要
- 論文の詳細を見る
コンピュータを設計支援に用いようとするとき,対象に関する知識をコンピュータに持たせる必要がある.この知識は,たいてい汎用のプログラム言語と同レベルで書かれるため,知識を記述するためには,その言語をマスターしているか,あるいはマスターしている人に翻訳してもらう必要がある.対話的に知識を取り込むという方法もあるが,編集などの点で問題がでてくる.また,設計知識の記述に際しては,"設計のノウハウ"も記述する必要がある.これは,宣言的な知識とは種類が異なり,一緒に記述することが難しい.本稿では,上記の点を考慮し,総合設計支援環境の一環として設計した設計言語"Delphi"の概要と,これで書かれた知識を計算可能な内部表現に変換するパーザについて,紹介する.
- 一般社団法人情報処理学会の論文
- 1989-03-15
著者
-
小笠原 秀人
株式会社東芝研究開発センター S&s研究所
-
石川 孝
ぺんてる株式会社中央研究所
-
小笠原 秀人
東京理科大学工学研究科
-
菅野 文友
東京理科大学工学研究科
-
石橋 勝典
東京理科大学工学研究科
-
菅野 文友
東理大
-
菅野 文友
東京理大 工
-
菅野 文友
東京理科大学工学部経営工学科
-
菅野 文友
東京理科大学
-
石橋 勝典
(株)日立製作所システム開発研究所
関連論文
- 1C-8 STMEpjによるソフトウェア品質改善の推進(3) : 静的解析で得られたデータの分析結果
- 1C-7 STMEpjによるソフトウエア品質改善の推進(2) : プログラム静的解析センターの運用
- ソフトウェア品質保証システムESQUT : 仕様書段階における評価技術
- パーソナルな「喘息医療支援システム」の開発
- CIMにおける品質管理支援機能の検討
- 設計言語Delphiの実行方式
- オブジェクト/制約指向パラダイムによる設計言語Delphi
- 大規模組織におけるソフトウェアプロセス改善活動の適用評価-10年間の実践に基づく考察
- パネル討論会 : 明日のソフトウェア工学 (<特集>ソフトウェア工学の現状と動向)
- 品質評価に基づくソフトウェア生産性評価法の検討
- ソフトウェア更新時におけるディグレード防止のための効率的テスト方法について
- 3-6 ネットワーク犯罪に対するセキュリティの検討 : コンピュータ・ワームの実験的考察(第43回研究発表会)
- 3-5 ネットワークセキュリティに関する検討(第43回研究発表会)
- 3-4 日程計画ツールの開発(第43回研究発表会)
- 4-10 ソフトウェア製品開発における新QC七つ道具活用事例(第41回研究発表会)
- 3-5 FTA効率化のためのツール開発(第41回研究発表会)
- 3-2 ソフトウェアCAD : 設計記述技法エディタ(第41回研究発表会)
- 3-1 静止型ロボットを使用したシミュレーションツール(第41回研究発表会)
- 3-3 通信システムの保全に関する一考察(第41回研究発表会)
- 人間性の直視
- ソフトウェアの製品の品質/信頼性をめぐる諸問題 : 品質保証と要員教育について(ソフトウェアの生産をめぐって)
- ソフトウェアの信頼性をめぐる諸問題 (高信頼化技術)
- パネル討論会 : コンピュータトラブルをめぐって : 昭和56年後期第23回全国大会報告
- 多重継承を持つ抽象データ型指向ソフトウェアに対する品質評価指針の提案
- 欧州におけるソフトウェア製品品質保証の傾向について : EOQシンポジウムから
- ソフトウェア品質管理活動の現状と今後の課題(明日への品質管理 : 今後の課題)
- ソフトウエアの品質管理 : 今後の展望
- 信頼性設計
- 状態遷移に基づく設計支援システムについて
- 仕様書作成支援・計測ツールの開発
- ソフトウェア信頼度成長モデルの適用に関する一考察
- ドキュメント管理という目で見た時のSmalltalkについて
- Unixファイル変換ツールの開発
- 選択・計算ツールの試作
- ファシリティ・マネジメント
- これからの生産モデル
- ロジスティックスの改革 (ロジスティックスの改革)
- ウィルスとワ-ムとワクチンと--コンピュ-タ犯罪の立場から
- 情報システムとTQC (情報システムとTQC)
- 信頼性手法-4-デザインレビュ-
- CIMとTQC (CIMとTQCを考える)
- フェイル・セ-フの過去・現在・未来 (フェイル・セ-フ)
- ユ-ザ-からみたソフトウエア品質評価の諸問題--パソコン,ワ-プロの場合 (ソフトウエアの品質評価)
- マイクロプロセッサを活用したQC (マイクロプロセッサを活用したQC)
- デザイン・レビュ-のためのドキュメンテ-ション(文書化)をめぐって (デザイン・レビュ-の実際)
- 見直される工程管理-5-ヒュ-マン・エラ-とフ-ル・プル-フ
- テスト項目抽出に関する考察 : 仕様記述モデルに基づく原因・結果グラフ作成方法
- 文書の同期制御によるワークフロー管理方式
- 分散処理におけるサーバーへのファイルダウンロード時間間隔の最適化方式
- 地図情報を利用した経路入力方式の開発
- 並列処理を用いた大容量高速論理シミュレータ
- ソフトウェアバグの推移モデルに関する定式化の試行
- 統合設計支援環境におけるオブジェクト指向データベース
- 5ZC-2 プログラム静的解析ツールを利用したソフトウェア品質向上活動
- 表形式の仕様表現を用いたテストケース自動生成