図形による仕様記述の方法とその支援システム
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア開発・管理の効率化と高品質化を目指しWaterfall ModelやJackson's System Development等のプロセス・モデルが提案されてきた.更に,プログラム文書もプロセスと総合的に管理されるべきであるとの認識が広まってきた.ソフトウェアの仕様を統一的に記述する方法としてOBJ3等の仕様記述言語があり一部の分野で活用されている.我々は応用ソフトウェアやプログラミング教育の分野で視覚的方法が仕様書の教育,作成,管理,等の様々な面で優れている点があると考えHiformとして実践してきた.本稿ではHiformをプロセスとの統合化に対応する目的で,応用システムに関するISO 6592のガイドラインにある項目の全て含むものに拡張し,その表現単位である様式とその配列を規定する句構造文法をHiform94として提案する.
- 一般社団法人情報処理学会の論文
- 1995-03-15
著者
-
夜久 竹夫
日本大学文理学部応用数学科
-
杉田 公生
東海大学
-
安達 由洋
東洋大学工学部
-
杉田 公生
東海大学理学部数学科
-
夜久 竹夫
日本大学文理学部
-
久保田 美明
東海大学電子計算センター
-
杉田 公生
東海大学理学部
関連論文
- 直方体分割の24次格子グラフ表現とその応用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 24分格子グラフによる直方体分割の描画
- 24分格子グラフによる直方体分割の描画
- ユーザ思考を考慮したブックマークの視覚化 (先端メディアの教育利用と教材データの格納・再利用/一般
- 4L-4 組み込みソフト向けHichart開発環境における動作仕様検査(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 研究情報推移グラフによる情報の個人管理・共有手法(コンテンツ技術,データ工学論文)
- 文脈依存NCEグラフ文法とその構文解析可能性
- Prologプログラム図の属性グラフ文法に基づく定式化
- 制約処理機能を持つスプレッドシート
- ブロック線図文法(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- D-15-3 協調学習における動的グループ編成の可視化
- D-3-2 順位グラフ文法によるプログラム仕様書の定式化
- D-1-1 グラフ文法に基づく図形言語設計支援システム
- あるクラスの文脈依存グラフ文法とその性質 (計算モデルとアルゴリズム)
- D-1-4 埋め込み過程が隣接ノードにより制御される文脈依存グラフ文法
- あるクラスの文脈依存グラフ文法とその構文解析
- ブロック線図文法を用いたシステム構造の生成と解析
- 属性シグナルフローグラフ文法
- シグナルフローグラフのためのグラフ文法
- Prologプログラムの実行過程の可視化
- 多入力多出力ブロック線図文法
- 木構造図描画支援システム
- 属性ブロック線図文法
- 学術論文関係情報のグラフ描画問題に基づく視覚化手法(教育工学)
- Syntactic Characterization of Two-Dimensional Grid Graphs by a Context-Sensitive Graph Grammar(New Trends in Theory of Computation and Algorithm)
- グラフ文法による図と表の処理の定式化
- 形式的文書操作のための表形式用XMLビューア
- Application of Attribute edNCE Graph Grammars to Syntactic Editing of Tabular Forms (New Developments of Theory of Computation and Algorithms)
- D-3-9 edNCEグラフ文法によるカルノー図型の表の作成
- D-3-8 属性edNCEグラフ文法による表のXML表現
- D-3-7 A Syntax Directed Environment for Tabular Form Processing
- 属性edNCEグラフ文法による表の構文的編集
- NCEグラフ文法による図表の構文的処理
- 表形式のプログラム仕様書のためのグラフ文法
- 3B-7 Octgridに基づく表編集アルゴリズム(アルゴリズムとその応用,一般セッション,ソフトウェア科学・工学)
- 2B-2 最急降下モデルによる日本全域尾根線つき3次元地形図の作成(数理モデル化と問題解決,一般セッション,ソフトウェア科学・工学)
- D-12-32 Octgridに基づく効率的な3D地形図生成法(D-12.パターン認識・メディア理解A(パターンメディアの認識・理解・生成),一般セッション)
- 表の格子グラフモデルと編集アルゴリズム
- 多層型矩形分割に対する16分格子グラフ表現 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- 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-1-3 Octgridに対するパーザの開発(D-1.コンピュテーション,一般講演)
- D-1-2 スライス構造の表に対するグラフ文法(D-1.コンピュテーション,一般講演)
- 3D立体表示による地理・地学教育支援教材の応用可能性(教育におけるセキュリティ/一般)
- 6H-1 初期官報バックナンバー閲覧システムの開発(情報システムのインタフェース,一般セッション,コンピュータと人間社会)
- 文脈依存NCEグラフ文法とその構文解析可能性
- シグナルフローグラフのためのグラフ文法
- 多入力多出力ブロック線図文法
- 表編集のアルゴリズム (計算機科学基礎理論の新展開)
- J-047 多重解像度3D地形図の8分グラフ表現(J分野:グラフィクス・画像)
- A-039 あるクラスの属性グラフ文法に対する属性評価アルゴリズム(A.モデル・アルゴリズム・プログラミング)
- NCE文脈依存グラフ文法の構文解析可能条件
- 地形の特徴抽出モデルと3次元地形図への応用(セッション6)
- 属性グラフ文法によるビジネス文書の定式化(セッション3)
- グラフ文法によるビジネス文書の定式化の試み
- ブロック線図文法とグラフ書き換えによる構造認識
- グラフ書き換えによるブロック線図の構造認識とその応用
- 属性グラフ文法のブロック線図およびシグナルフロー線図への応用
- RECURSIVE ENUMERABILITY IN SET THEORY (Algorithms and Theory of Computing)
- ある種のグラフの極大マッチングを与える線形時間アルゴリズム (情報科学の数学的基礎理論と応用)
- フローグラフの分枝数について (組合せ構造とグラフ理論)
- 不確定セルオートマタによる不確定並列写像の逆写像と単射性について (オートマトン理論と数理言語の研究)
- 不確定セルオートマタに対する並列写像の全射性について (情報科学の数学的理論)
- 図形型プログラム言語のグラフ文法による定義
- VRMLによる3D地形図を利用した地理・地学のためのWBTコンテンツ(教育実践システムと学習評価/一般)
- オントロジーに基づく数学教育支援システムの提案(教育実践システムと学習評価/一般)
- D-3-9 Hichart エディタにおける属性評価による開発支援機能
- D-3-4 ソフトウェア仕様書の XML によるデータベース化
- 表インターフェースのための属性付きグラフとアルゴリズム
- D-3-1 属性edNCEグラフ文法に基づくHichartエディタ
- 構文指向図式エディタの属性グラフ文法による形式化
- 属性グラフ文法に基づく視覚的プログラミング環境の開発 : C 対応 Hichart統合システム
- 木構造図の描画手法の評価
- Prologプログラムの属性グラフ文法に基づいた可視化
- Prologプログラムの属性グラフ文法に基づいた可視化
- 制約プログラミングによる木の描画
- Hichart構文エディタにおける部分プログラム図単位の編集機能
- DXL対応Hichartの属性グラフ文法による定式化とトランスレータの実現
- 制約プログラミングによる木の美的描画
- Pascal対応Hichartの属性グラフ文法の拡張とオートフローチャータ
- 属性グラフ文法に基づくHichartからPascalへのトランスレータ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 属性グラフ文法に基づいたHichartエディタ
- 図形による仕様記述の方法とその支援システム
- Hiform仕様記述に基づくプログラム・データベース
- 属性文法を用いたPascal-Hichartトランスレータ
- プログラム図式を用いたプログラム開発教育環境
- オントロジーに基づく数学教育支援システムの提案 (教育実践システムと学習評価)
- プログラム図に対する描画を考慮したNCE属性グラム文法
- プログラム図によるプログラム言語教育のマルチメディア環境
- D-12-3 Octgridに基づく3D地形図の自動生成(D-12.パターン認識・メディア理解,一般セッション)
- 最急上昇法による尾根抽出 (計算機科学とアルゴリズムの数理的基礎とその応用)
- フレーム型知識ベースシステムINTELLIBASEとその検索機能
- 階層型知識ベ-ス管理システムの実現
- A-018 最急上昇モデルによる日本・韓国全域尾根つき3次元地形図の作成(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)