Hiform仕様記述に基づくプログラム・データベース
スポンサーリンク
概要
- 論文の詳細を見る
プログラムの開発から運用,保守に至るライフサイクルで仕様書の重要性は広く認識されている.我々は,プログラム開発を総合的に支援する環境Hitool94をワークステーション上で開発しつつあるが,このシステムにおいても仕様書とプログラムから成るソフトウェア設計事例を統一的に管理するデータベースシステムが核となる.本研究では,視覚的・統一的なソフトウェア仕様記述法Hiform94に基づいて仕様書作成を支援し,また作成されたソフトウェア設計事例を統一的かつ階層的に管理するシステム(HiformDBMSと呼ぶ)を実現した.Hiform94は,応用システムの文書化に関するISO6592のガイドラインにある項目をグループ化し,その表現単位である様式とその配列を規定する句構造文法を定めている.なお,HiformDBMSはSUN SPARC上でPrologを用いて開発されており,X WindowとOSF/Motifを利用した扱いやすいGUIを持っている.
- 一般社団法人情報処理学会の論文
- 1995-03-15
著者
関連論文
- 直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 24分格子グラフによる直方体分割の描画
- 24分格子グラフによる直方体分割の描画
- 4L-4 組み込みソフト向けHichart開発環境における動作仕様検査(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- D-3-2 順位グラフ文法によるプログラム仕様書の定式化
- D-1-4 埋め込み過程が隣接ノードにより制御される文脈依存グラフ文法
- あるクラスの文脈依存グラフ文法とその構文解析
- 木構造図描画支援システム
- Webカウンセリングシステムにおける描画検査 (特集 心理情報,メンタルヘルス,理系教育の可視化)
- ミクロモデルによる道路交通シミュレーションの検証
- ネットワークフロー型システムを対象とする並列シミュレーションの同期方式とその評価
- MITRAM実験システムによる道路モデル評価のためのシミュレーション
- ネットワークフロー型並列シミュレーションの同期方法
- 道路交通ネットワークを対象とする並列シミュレーションのための同期アルゴリズム
- MITRAMの道路ネットワークモデル、トラックモデルの検証とその評価
- 道路交通シミュレーションモデルの検証 : 道路ネットワークモデル・トラックモデル
- 汎用型道路情報入力システム
- 微視的な自動車モデルによる道路交通シミュレーションのヒューマンインタフェース
- 並列シミュレーションの同期アルゴリズム : 道路交通システムを対象とする評価
- MITRAMのヒューマンインターフェース : 2・3次元アニメーション機能
- コンピュータグラフィックスのシミュレーションへの応用
- 負荷分散による並列シミュレーション : 単純な道路交通を事例とする実験
- Web カウンセリングシステムにおける描画検査
- オンラインカウンセリングシステムにおけるGUI
- D-7-6 オンラインカウンセリングシステムの構築(D-7. MEとバイオサイバネティックス,一般セッション)
- グラフ文法による図と表の処理の定式化
- D-3-9 edNCEグラフ文法によるカルノー図型の表の作成
- D-3-8 属性edNCEグラフ文法による表のXML表現
- D-3-7 A Syntax Directed Environment for Tabular Form Processing
- NCEグラフ文法による図表の構文的処理
- 表形式のプログラム仕様書のためのグラフ文法
- 3B-7 Octgridに基づく表編集アルゴリズム(アルゴリズムとその応用,一般セッション,ソフトウェア科学・工学)
- 2B-2 最急降下モデルによる日本全域尾根線つき3次元地形図の作成(数理モデル化と問題解決,一般セッション,ソフトウェア科学・工学)
- D-12-32 Octgridに基づく効率的な3D地形図生成法(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- 表の格子グラフモデルと編集アルゴリズム
- 多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- D-9-9 作業管理システムにおける携帯電話入力のコード化(D-9. オフィスインフォメーションシステム,一般セッション)
- D-3-3 組み込みソフトウェア向けHichart処理系の開発(D-3. ソフトウェアサイエンス,一般セッション)
- D-1-4 Octgridに対する属性グラフ文法による矩形数え上げ(D-1. コンピュテーション,一般セッション)
- A-6-13 24-ary Grid Graph Representation for the Rectangular Solid Dissections
- K-019 3D偏光立体視システムを利用した地理情報教材(K分野:教育工学・福祉工学・マルチメディア応用)
- A-003 8分格子モデルを用いた地形的特徴の認識システム(A分野:モデル・アルゴリズム・プログラミング)
- D-12-12 H7CODEに基づくVRML地形図エディタの開発(D-12.パターン認識・メディア理解,一般講演)
- D-9-3 携帯電話を用いた建設現場向け作業管理システム(D-9.オフィスインフォメーションシステム,一般講演)
- D-1-3 Octgridに対するパーザの開発(D-1.コンピュテーション,一般講演)
- D-1-2 スライス構造の表に対するグラフ文法(D-1.コンピュテーション,一般講演)
- ネットニュースの自動編集システム
- ネットニュースの自動編集システム
- ネットニュースの自動編集システム
- 情報設計のための解析システム
- A-8-7 オンラインカウンセリングシステムの改善(A-8. 技術と社会・倫理,一般セッション)
- A-8-6 オンラインカウンセリングシステムのための効果的映像の調査・分析(A-8. 技術と社会・倫理,一般セッション)
- A-8-5 オンラインカウンセリングシステムのニーズ解析(A-8. 技術と社会・倫理,一般セッション)
- J-047 多重解像度3D地形図の8分グラフ表現(J分野:グラフィクス・画像)
- 地形の特徴抽出モデルと3次元地形図への応用(セッション6)
- 4J-3 描画検査システムの開発(医療のインフォマティクス,一般セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- あいまいさを含む質問文章による過去の類似(質問-回答)文書検索法(一般講演B2,数理3(評価))
- ブロック線図文法とグラフ書き換えによる構造認識
- 属性グラフ文法のブロック線図およびシグナルフロー線図への応用
- オントロジーに基づく数学教育支援システムの提案(教育実践システムと学習評価/一般)
- D-3-9 Hichart エディタにおける属性評価による開発支援機能
- D-3-4 ソフトウェア仕様書の XML によるデータベース化
- 表インターフェースのための属性付きグラフとアルゴリズム
- D-3-1 属性edNCEグラフ文法に基づくHichartエディタ
- 構文指向図式エディタの属性グラフ文法による形式化
- 属性グラフ文法に基づく視覚的プログラミング環境の開発 : C 対応 Hichart統合システム
- 木構造図の描画手法の評価
- 制約プログラミングによる木の美的描画
- Pascal対応Hichartの属性グラフ文法の拡張とオートフローチャータ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 図形による仕様記述の方法とその支援システム
- Hiform仕様記述に基づくプログラム・データベース
- 属性文法を用いたPascal-Hichartトランスレータ
- D-3-2 属性edNCEグラフ文法に基づくプログラム図のSVG表現
- プログラム図式を用いたプログラム開発教育環境
- オントロジーに基づく数学教育支援システムの提案 (教育実践システムと学習評価)
- ファジィグラフの特性解析システムII
- ファジィグラフの特性解析システム I
- D-4-15 曖昧な情報に基づいた情報検索方式の研究
- ファジィグラフの特性解析システムII
- D-12-3 Octgridに基づく3D地形図の自動生成(D-12.パターン認識・メディア理解,一般セッション)
- 最急上昇法による尾根抽出 (計算機科学とアルゴリズムの数理的基礎とその応用)
- A-8-3 Webカウンセリングシステムのデザインのニーズ分析の国際比較(A-8.技術と社会・倫理,一般セッション)
- A-8-2 Webカウンセリングのニーズに対する国際比較(A-8.技術と社会・倫理,一般セッション)
- UMLパッケージ図に対するグラフ文法とその応用
- D-5-7 ファジィクラスタ分析による文学作品の把握(D-5.言語理解とコミュニケーション,一般セッション)
- ファジィクラスタ分析による「海辺のカフカ」の作品把握
- ファジィグラフの特性解析
- ファジィグラフの特性解析システム III
- データベースを利用した故障診断とその修理方法(診断・評価システム,医療情報システムにおけるソフトコンピューティグ)
- 工業技術研究所プロジェクト研究報告 描画検査の異文化間比較
- 8次格子モデルによる表の行/列操作 (アルゴリズムと計算理論の新展開)
- A-19-12 Webカウンセリングのデザイン配色に関するニーズ分析(A-19.福祉情報工学,一般セッション)
- A-19-11 コンピュータを用いたSCTテキスト分析の試み(A-19.福祉情報工学,一般セッション)
- A-19-10 防災意識・行動と心理的特性の関連 : 気仙沼市における調査より(A-19.福祉情報工学,一般セッション)
- A-19-9 箱庭療法の制作過程に関する行動分析(A-19.福祉情報工学,一般セッション)
- 工業技術研究所プロジェクト研究報告 : 描画検査の異文化間比較
- A-018 最急上昇モデルによる日本・韓国全域尾根つき3次元地形図の作成(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)