PCTEを用いたUNIXコマンドデータベースの作成
スポンサーリンク
概要
- 論文の詳細を見る
真のソフトウェアデータベースの実現への第一歩として、本研究では対象をUNIXファイルシステムに絞り、PCTEを用いてコマンドやファイル間の制約・関係の記述を試みる。制約には意図に関する制約や動的情報に関する制約など、計算機上での記述が困難なものが多数存在する。そういった制約のいくつかの例題に対して計算機の支援方法を提案し、完全に実現できない制約をどこまで記述が出来るかを、実際にその実現を試みたうえで検討する。UNIXコマンドにおける制約の実現をいくつか試みることにより、制約は同じような手段で実現できるものに分類出来ることが確認できた。
- 一般社団法人情報処理学会の論文
- 2000-01-14
著者
関連論文
- x86版DRACULAのバグ修復と予備評価
- 開発ツールを他言語へ適用するためのAST変換の定式化
- 歩行者ITSのためのパノラマ画像を用いた3次元地図表示方式(位置情報サービス,ユビキタス時代を支えるモバイル通信と高度交通システム)
- インタラクティブデジタルサイネージシステムと携帯電話による歩行者誘導(セッション4)
- 自律測位結果に応じたスポットセンサからの補正情報提供による屋内測位システム(セッション3)
- A-17-3 位置を検索キーとしたリアルタイム映像検索表示技術の開発(A-17.ITS,一般講演)
- 屋内ナビゲーションシステムに関する一考察(セッション5)
- デバイス非依存な屋内測位方式の検討(セッション5)
- 表示サイズに適応したポリゴン選択に基づく都市景観再現手法
- 表示サイズに適応したポリゴン選択に基づく都市景観再現手法(画像技術・視覚・その他一般)
- 位置座標の流通におけるプレゼンス・システムの適用検討(位置情報とセンサ応用)
- GPS情報を利用した歩行者向け実写道案内システムの検討(セッション3)
- 3次元都市地図の携帯情報端末向け配信を目的としたデータ削減のための基礎的評価(サイバースペース)
- A-17-21 街並み映像を利用した携帯電話向け道案内システム(A-17. ITS)
- D-11-129 表示上の重要度に基づくウォークスルーのための都市景観再現手法(D-11.画像工学D)
- 物体の配置に考慮した建物内部の簡易三次元モデリング
- A-17-1 最新の道路情報を収集して配信する道路情報提供サーバの実験
- 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール(ソフトウェア開発支援,システム開発論文)
- 業績責任会計における時制マスタ管理システムの重要性
- なぜソフトウェア論文を書くのは難しい(と感じる)のか
- プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法(ソフトウェア工学)
- 物体を配置した広範囲屋内空間の簡易構築
- ものづくり作業行動支援システムにおける対比表示・検索方式
- 色情報を用いた映像検索インタフェース
- インターネットを利用した動画遠隔共同編集
- シーン検出による動画情報の自動要約・閲覧技術の開発
- 特集「ソフトウェア論文」の編集にあたって
- 特集「ソフトウェア論文」の編集にあたって(ソフトウェア論文)
- 特集「ソフトウェア工学」の編集にあたって
- レター論文の新設, 小論文の廃止
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- 動的な環境に適応するシームレスなサービス連続技術(モバイルコンピューティング)
- 計算モデルとしての属性文法の制限とその対処法
- 色情報を用いた映像検索インタフェース
- 色情報を用いた映像検索インタフェース
- 色情報を用いた映像検索インタフェース
- シーン検出による動画情報の自動要約・閲覧技術の開発
- シーン検出による動画情報の自動要約・閲覧技術の開発
- Cプログラムの割込み競合の動的検出法
- 表示サイズに適応したポリゴン選択に基づく都市景観再現手法
- 位置座標の流通におけるプレゼンス・システムの適用検討(位置情報とセンサ応用)
- メモリ間自律コピー機構を活用したネットワークワイド予備切換え方式
- 公衆通信網における分散処理
- 用途別統合検索のWEB情報への適用
- 業績責任会計における時制マスタ管理システムの重要性
- ネットワーク分散処理ノードアーキテクチャMESCARのメモリ間複製機構の設計と評価
- メモリ結合型分散処理ノードアーキテクチャMESCARのインプリメンテーションと性能評価
- D-10-14 メモリ間コピー機構を活用したネットワークワイド予備方式のハードウェア構成
- ネットワーク分解処理ノードアーキテクチャMESCARの改良ハードウェア
- ネットワーク分散処理ノードアーキテクチャMESCARの改良ハードウェア
- ネットワーク分散処理ノードアーキテクチャMESCARの改良ハードウェア
- ソフトウェア論文座談会
- Cプログラムのデータ競合の動的検出法
- 教育用コンパイラXCCとその可視化ツールMieruCompiler
- バージョン管理システムの利用コストと,その軽減手法
- 複合要因によるリソース誤解放を回避するための新しいCキーワードの提案と予備評価
- DRACULA : シグナルによるデータ競合の検出ツール(ソフトウェア工学)
- プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案(テスト技法・保守技術,ソフトウェア工学の理論と実践)
- 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装(ソフトウェア工学)
- デバッグ情報を用いたC++用コールグラフ生成系 : 軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- デバッグ情報を用いたC++用コールグラフ生成系軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- シグナルにおけるデータ競合の検出
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- ACMLに基づくプログラム情報抽出システムの設計
- コンパクトなANSI CインタプリタXCIの設計と実装
- XMLを用いたANSICのためのCASEツールプラットフォーム(ソフトウェアシステム)
- ウィンターワークショップ・イン・石垣島参加報告(会議報告)
- SB-11-5 EcAgent : 緩やかなコミュニティに基づくエージェントの実行環境
- 2N-7 CORBA準拠ORBのリアルタイム化における緊急要求処理への適用可能性の評価
- 2N-5 CORBA準拠ORBのリアルタイム化におけるアプリケーション記述支援機構
- 分散オブジェクト実行環境の軽量化
- マルチスレッドを用いた分散オブジェクトの実現方式
- 通信網分散処理用ノードシステムアーキテクチャMESCARの構成法
- 並行オブジェクト指向に基づく分散実時間システムのためのメッセージ通信機構
- メッセージパッシング超並列システムアーキテクチャMESCAR
- 並行動作するオブジェクトのスタック管理
- 通信網ソフトウェア分散処理プラットフォームのカーネル
- 分散処理交換システムのシミュレーション環境の実現
- C言語用CASEツールへのDWARF2デバッグ情報の応用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 構造指向型システムのための実行可能な仕様記述言語
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化
- 特集「ソフトウェア論文」の編集にあたって
- 気管支喘息患児におけるFE[NO]と呼吸機能の季節変動に関する検討
- 競合回避機構を備えた高互換かつ高精度な境界検査手法
- O39-5 2歳未満の鶏卵アレルギー患児へのたまごボーロ経口負荷試験のROC曲線による後方視的検討(O39 食物アレルギー食物アレルギー4 食物負荷試験,口演,第61回日本アレルギー学会秋季学術大会)
- O23-3 気管支喘息管理患児におけるMostGraph-01と呼吸機能,FENOの変化の検討(O23 小児気管支喘息1 呼気一酸化窒素,口演,第61回日本アレルギー学会秋季学術大会)
- PCTEを用いたUNIXコマンドデータベースの作成
- 症例 カシューナッツ摂取によるアナフィラキシーの1歳男児例
- 2歳未満の鶏卵アレルギー患児への卵ボーロ負荷試験の後方視的検討
- 症例 3-Dグラフィック呼吸抵抗検査を用いた気道可逆性試験による気管支喘息の診断
- P127 ブデソニド吸入により過敏症状をきたした1例(薬物アレルギー,ポスターセッション,第24回日本アレルギー学会春季臨床大会)
- MS10-10 成人の気管支喘息・咳喘息と鼻炎の合併に関する調査(MS10 成人気管支喘息3 臨床,ミニシンポジウム,第24回日本アレルギー学会春季臨床大会)
- MS3-5 成人気管支喘息と咳喘息における呼吸抵抗測定の意義 : モストグラフによる検討(第2報)(MS3 成人気管支喘息2 基礎,ミニシンポジウム,第24回日本アレルギー学会春季臨床大会)
- P193 Webを用いた小児気管支喘息吸入指導の病薬連携(チーム医療,ポスターセッション,第24回日本アレルギー学会春季臨床大会)
- MS5-2 小児気管支喘息患児における呼気位と吸気位でのMostGraph-01測定と呼吸機能検査の基礎検討(MS5 小児気管支喘息1,ミニシンポジウム,第24回日本アレルギー学会春季臨床大会)
- 新生児・乳児期早期に発症したヒトパレコウイルス3型の4例
- 特集「ソフトウェア工学」の編集にあたって
- へテロジニアスマルチホップロボット群制御無線通信の研究-身近な素材によるマルチホップ通信の応用-