代数的仕様からのドュメント自動生成について
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの生産性と品質を向上させる手法として,実装者に提供する外部仕様を代数的記述法を用いて記述する方法が注目されている。ところが外部仕様の記述に代表的記述のみを用いる場合には,実装者が代数的記述法に精通していることが必須である。一方,代数的記述による外部仕様(以下,単に代数的仕様と呼ぶ)の補助として自然語のドキュメント(以下,単にドキュメントと呼ぶ)を用意する場合には,代数的仕様とドキュメントの間の整合性に問題が生じる。本稿ではこれらの問題を解決するため,抽象的順序機械型仕様と呼ばれる代数的記述の部分クラスからドキュメントを自動的に生成する方法について考察する。まだドキュメントの生成システムについてる述べる。
- 社団法人情報処理学会の論文
- 1993-03-01
著者
-
石原 靖哲
大阪大学大学院情報科学研究科
-
片岡 充照
神戸大学工学研究科
-
片岡 充照
松下電器産業(株)パナソニックAVCネットワークス社
-
工藤 朋之
大阪大学基礎工学部
-
石原 靖哲
大阪大学基礎工学部
-
関 浩之
大阪大学基礎工学部
-
工藤 朋之
株式会社日立製作所
-
関 浩之
奈良先端科学技術大学院大学
-
片岡 充照
パナソニック(株)AVCネットワークス社
-
関 浩之
大阪大学基礎工学情情報工学科
関連論文
- オンライン情報ボトルネックEMアルゴリズムによる正規化ガウス関数ネットワークのモデル学習
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- ペア確率多重文脈自由文法によるシュードノットつきRNA2次構造予測
- 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
- ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化
- 野球中継番組におけるテロップ情報を用いたダイジェスト映像自動生成(メディア処理とバイオメトリクス及び一般)
- H-018 野球中継番組におけるダイジェスト映像自動生成(画像認識・メディア理解,一般論文)
- H-077 クローズドキャプションを用いた野球映像インデキシング(H分野:画像認識・メディア理解)
- H-076 クローズドキャプションを用いたニュース番組におけるトピック分割手法(H分野:画像認識・メディア理解)
- 生成符号量に着目したMPEGストリーム中における重複シーンの検出
- 木オートマトンを用いたXML処理
- 実行履歴に基づくアクセス制御の形式モデルと検証(セキュリティ,フォーマルアプローチ論文)
- XML文書に対するアクセシビリティガイドライン適合性検証(ソフトウェア,フォーマルアプローチ論文)
- テキスト情報を対象としたキーワード抽出と関連情報収集システム
- 信用管理における確率モデルに基づく利用者プレゼンスの推定(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- テレビ視聴者の選局行動に基づく番組嗜好度の推定
- 3-8 サーバ型放送における蓄積管理方式
- SB-5-6 情報放送用受信端末の検討
- 番組インデックス実験システムの受信装置の開発
- 7-2 情報放送の受信機アーキテクチャ
- ファジィを用いたトピック情報抽出手法
- 操作目的入力による電子機器簡単操作のためのインタフェース
- 代数的仕様からのドュメント自動生成について
- 仮想機械デバイスドライバ検証の一考察
- 自己合成法を利用した再帰プログラムの情報流解析法について
- D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- プッシュダウンシステムの拡張およびそのモデル検査法
- 分散ポリシー制御の自動検証法について
- インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用(ソフトウェア工学の基礎)
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 抽象的順序機械型代数的仕様からのドキュメント生成システムの試作
- XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案
- XMLデｰタベｰスにおける表現能力を保存したスキｰマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLデータのスキーマ統合のための枠組の提案
- 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
- 関連性の高いアイテム集合のマイニングに要する計算量
- 検索および再帰なし無閉路スキーマに対する型検査問題の計算量
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- VAR-CCGの生成能力について
- 語彙機能文法のいくつかの部分クラスに対する一般認識問題の計算量について
- 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
- メソッドスキーマにおける型整合性の解析アルゴリズム
- メソッドスキーマの型整合性の十分条件
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 自然語仕様から代数的仕様への変換における辞書項目生成の支援
- 多重文脈自由文法の認識問題について
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法の所属問題に対する並列アルゴリズム(計算および計算量理論とその周辺)
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- XMLスキーマで定義された型とXPath式との対応の解析手法
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLスキーマで定義された型と XPath 式との対応の解析手法
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 空調機用マイコンソフトの形式的仕様記述と検証法について
- データマイニングに要する計算量に関する一考察
- 情報エントロピーに基づく野球中継番組のダイジェスト自動生成
- タプル間の依存関係を表現できる確率的データベースモデルの提案
- 無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- マルチエージェント環境における時刻の前後関係に関する推論問題
- 代数的仕様から関数型プログラムの導出とその実行 (関数型プログラミングとその応用)
- DTD存在下での否定を含まないXPathクエリの恒真性判定
- オブジェクト指向データベースにおけるインスタンスの内容に依存したアクセス権モデルの設計 (時空間データベースおよび一般)
- MPEG2セクション信号伝送実験装置と番組インデックス実験システム
- オブジェクト指向データベーススキーマにおけるセキュリティフロー検出の形式的手法
- オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
- オブジェクト指向データベースにおけるアクセス権モデルの設計
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- 2本の時間軸間の時間的推論
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- オブジェクト指向データベースにおける質問のアクセス権分析
- Type Consistency Problems for Queries in Object-Oriented Databases
- 番組インデックスによる受信機ユーザインタフェース
- オーエンス・ルイス : アンビエント環境制御を用いた知的オフィスチェアの提案(アンビエントインテリジェンス技術とその応用)
- オブジェクト指向データベースにおける質問の型検査問題
- オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
- Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (ソフトウェアサイエンス)
- 20-8 ユーザ適応型の番組推薦検索機能を搭載した民生用TVの開発(第20部門 ヒューマンインフォメーション)
- 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性