| 講演名 | 2003/11/20 ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について 山県 仁嗣, 玉井 清寛, 山口 真悟, 田中 稔, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, 筆者らが開発してきたビジュアルプログラミングシステムを対象とした時間制約の図的記述と一貫性検査について述べる. まず, 時間制約の定義とその図的な記述法を提案する. 次に, その図的な特徴を生かして, 複数の時間制約間の関係を把握し, それらが互いに与える影響を考慮しつつ, 時間制約を満たすようにプログラミングする方法を示す. そして, 試用評価と関連研究との比較評価の結果から, 提案した手法が有効であることを示す. |
| 抄録(英) | In this paper, we discuss graphical representation and consistency check of temporal constraints in visual programming. We first prorose graphical representation of temporal constraints. Then we show how to check consistency of temporal constraints from the beginning of prograimming. Finally, we show the graphical representaition and consistency check are effective in visual programming. |
| キーワード(和) | ビジュアルプログラミング / 視覚言語 / リアルタイム / 時間制約 / 一貫性 |
| キーワード(英) | visual programming / visual language / real-time system / temporal constraint / consistency check |
| 資料番号 | SS2003-16,KBSE2003-19 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2003/11/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について |
| サブタイトル（和） | |
| タイトル（英） | Graphical Representation and Consistency Check of Temporal Constraints in Visual Programming(Knowledge-Based Software Engineering) |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ビジュアルプログラミング / visual programming |
| キーワード(2)（和/英） | 視覚言語 / visual language |
| キーワード(3)（和/英） | リアルタイム / real-time system |
| キーワード(4)（和/英） | 時間制約 / temporal constraint |
| キーワード(5)（和/英） | 一貫性 / consistency check |
| 第 1 著者 氏名（和/英） | 山県 仁嗣 / Satoshi YAMAGATA |
| 第 1 著者 所属（和/英） | 山ロ大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 玉井 清寛 / Kiyohiro TAMAI |
| 第 2 著者 所属（和/英） | 山ロ大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 3 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 3 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 第 4 著者 氏名（和/英） | 田中 稔 / Minoru TANAKA |
| 第 4 著者 所属（和/英） | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
| 発表年月日 | 2003/11/20 |
| 資料番号 | SS2003-16,KBSE2003-19 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 483 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |