形式的仕様に基づくGUI開発環境の試作
スポンサーリンク
概要
- 論文の詳細を見る
ウォーターフォールモデルのような一般的なソフトウェアの開発の手法はGUIの開発には適当ではない.なぜなら, GUIでは「使いやすさ」など設計段階では予想が困難な性質が重要なためである.そこで, GUI開発においては, しばしば, 設計, プロトタイプ作成, テストを繰り返し行うラピッドプロトタイピングの手法が用いられる.しかし近年のアプリケーションのようにGUIが大規模化すると, その1サイクルに要するコストや時間を無視できなくなる.本稿では, これらのコストを総合的に小さくするため, GUIの形式的仕様に基づくGUI開発環境GUISEを提案し, その試作を行った.GUISEは, 形式的仕様の作成を対話的に支援するSpec-Builder, 形式的仕様に基づいていくつかの性質を自動検証しテストに要するコストを削減できるSpec-Verifier, 形式的仕様からGUIプロトタイブを自動生成するProto-Generatorからなり, GUI開発をトータルに支援することができる.
- 2001-01-17
著者
関連論文
- 仮想鏡 : 学習者と教示者の動作の違いを明確にする動作学習支援システム
- 計算機作業環境におけるユーザのインタラクションに応じた周辺情報の提示タイミング(ヒューマンコミュニケーション)
- ユーザエクスペリエンスに基づく情報資源管理スキーム(情報管理・操作への挑戦)
- 3F-4 メインタスク実行中におけるサブタスクのインタフェースの特性がタスク実行に与える影響(ユーザビリティ・ユーザモデル,一般セッション,インターフェース)
- 周辺表示法がユーザの情報認知に与える影響の分析(「エンタテインメントとヒューマン情報処理」及び一般)
- エリアカーソルの表示領域がポインティング操作に与える影響(ヒューマンコミュニケーション)
- ヒューマンインタフェースシンポジウム2007報告
- ミラーインタフェースにおける触覚フィードバックの導入とその遅延がユーザビリティに与える影響 (触覚とその応用)
- 周辺情報提示における聴覚モーダルの認知特性の評価(マルチモーダル・感性情報処理の基礎と応用,一般)
- 周辺表示法がマウス作業時の周辺情報認知に与える影響(研究速報)
- 就職内定者SNSでの人間関係構築のための過去の興味対象の共通性を用いた会話相手推薦手法(コミュニケーション支援(2),HCGシンポジウム)
- ユーザ経験としてのタスク-資源関係に基づくファイル管理手法(情報管理・操作への挑戦)
- モバイル機器における電子メモ作成のための人差し指の一筆書き動作による文字入力手法
- ミラーインタフェースにおける触覚フィードバックの導入とその遅延がユーザビリティに与える影響
- ヒュｰマンインタフェｰスシンポジウム2004報告
- 割込み時の認知作業負荷とタスク再開遅れとの関係(ヒューマンコミュニケーション)
- THES : 逐次的手がかり提示による作業履歴探索支援システム
- 複数のダイアログウインドウから正解選択を強制する入力確認手法(セッション1,あったかいインタラクション)
- 余裕時間を用いたユーザのタスク/スケジュールの事前通知手法(セッション2,あったかいインタラクション)
- 意欲向上のための主観的競争型エンタテインメントシステムの実践による評価
- タッチ動作を用いたミラーインタフェースにおける映像・応答遅延の影響
- ミラーインタフェースによるタッチ動作を用いた遠隔地間共同作業における遅延の分析とその影響
- 逐次的手がかり提示による作業履歴探索支援システム
- ミラーインタフェースによるタッチ動作を用いた遠隔地間共同作業における遅延の分析とその影響(一般セッション,コミュニケーション・共生及び一般)
- 逐次的手がかり提示による作業履歴探索支援システム(一般セッション,コミュニケーション・共生及び一般)
- ミラーインタフェースによるタッチ動作を用いた遠隔地間共同作業における遅延の分析とその影響(一般セッション,コミュニケーション・共生及び一般)
- 逐次的手がかり提示による作業履歴探索支援システム(一般セッション,コミュニケーション・共生及び一般)
- 懐優館:作業意欲を持続的に維持向上させるEELFに基づく主観的比較型エンタテインメントシステム
- システム統合と運用管理に配慮したサーバの仮想化と統合認証系を有する計算機システム
- アクション・インタフェースを用いた複数ユーザコラボレーション
- 記入領域内点指定を用いた領域抽出による書式指定用紙への記入支援(マルチメディア,ヒューマンコミュニケーション〜人間中心の情報環境構築のための要素技術〜論文)
- ロボット教材を用いたインタラクションデザイン教育
- インタラクションデザイン教育の実践
- チャット参加者の応答期待時間の延長を目指した情報提示とそのタイミング
- 応答待ち時間によりチャット参加者に生じる不快感を軽減する手法(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 応答待ち時間によりチャット参加者に生じる不快感を軽減する手法
- 遅延時間を用いたチャット参加者の発言制御
- 快適・安心空間のための知的センシング特集号を企画して(快適・安心空間のための知的センシング)
- ケータイの効用特集号を企画して(ケータイの効用)
- ノンバーバルコミュニケーションとインタフェース : 第3回 ノンバーバルインタフェースとマルチモーダル操作
- テキストチャットにおける無応答時の不安軽減のための参加者の背景情報とPC利用履歴の活用(一般,「コミュニケーション研究の今,その先」及び一般)
- 音声チャットにおける遅延の影響の軽減手法(一般セッション(1), ユビキタスメディアの将来展望)
- 音声チャットにおける遅延の影響の軽減手法(一般セッション(1), ユビキタスメディアの将来展望)
- 携帯端末の動きによるズームとスクロールの並行実行を用いたWebページ閲覧手法 (ヒューマンインターフェース)
- 視点による情報提示インタフェースの試作と評価
- 視点による情報提示インタフェースの試作と評価
- 未知処理量タスクに対する省電力化を目指した周波数制御リアルタイムスケジューリングアルゴリズムとその評価(システムソフトウェア要素技術)
- 未知処理量タスクに対する省電力化を目指した周波数制御リアルタイムスケジューリングアルゴリズム
- 未知処理量タスクに対する省電力化を目指した周波数制御リアルタイムスケジューリングアルゴリズム
- 2次電池の最長利用のための実行順序制約を用いたスケジューリングアルゴリズムについて
- タスク集中度と認知時間を指標とした周辺表示法の評価(ヒューマンコミュニケーション)
- マウス使用環境において周辺表示法がユーザの情報認知に与える影響(一般セッション(2), ユビキタスメディアの将来展望)
- マウス使用環境において周辺表示法がユーザの情報認知に与える影響(一般セッション(2), ユビキタスメディアの将来展望)
- 3F-6 オフィス環境において周辺提示される情報の重要度(ユーザビリティ・ユーザモデル,一般セッション,インターフェース)
- 京都工芸繊維大学における 10 Gbps ネットワークインフラの導入について
- 低コストな高可用性と学務システム連携を考慮したMoodleシステムの構築(教育システム,サービス管理,ビジネス管理,料金管理,及び一般)
- 低コストな高可用性と学務システム連携を考慮したMoodleシステムの構築(教育システム,サービス管理,ビジネス管理,料金管理,及び一般)
- 高次脳機能障害者のビデオ視聴行動の観察と情報セラピーインタフェースのための映像コンテンツ切り替え法
- ネットワークコミュニケーションの動特性
- 理工系における「発想促進型」授業の試みと学生の反応
- 高等教育におけるネットワーク会議の活用と若干の会議特性
- 遠隔カメラにおけるビジュアルフィードバック操作の利用限界について
- 「発想の森」モデルを用いたネットワーク会議における発想の成長プロセスの特性分析
- 劣性音声識別実験法を用いたMPEG-1映像の品質評価
- ネットワーク会議における会議進行モデル構築の試み
- 遠隔カメラ操作における遅延時間の影響について
- 「発想の森」の成長における井戸端会議の役割について
- 「発想の森」の成長における井戸端会議の役割について
- 音声識別における顔映像の役割
- 通常映像およびISDN映像の話者映像効果の比較研究
- 複数音声識別法による話者映像効果の分析
- GUI環境でのバブルカーソルの実用的評価(ヒューマンインタフェース基礎,インタラクションの理解とデザイン)
- エリアカーソルの表示領域がポインティング操作へ与える視覚的影響
- 講義への集中を目的としたノート作成支援システム
- 空き時間とタスク間関係を利用したユーザのスケジューリング支援手法(ヒューマンインタフェース基礎,インタラクションの理解とデザイン)
- タイムラインナビ : 空き時間を利用したユーザのスケジューリング支援システム(セッション2:かえりみるインタフェース(2),かえりみるインタフェース,および一般)
- スケジュール情報に基づく忙閑度の推定(コミュニケーションと表現,表現のためのインタフェース,および一般)
- 遅延時間の影響を軽減する遠隔カメラ操作インタフェース
- ウェブログにおけるユーザの興味のあるエントリの推薦法(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- ヒストリグラフを利用したコマンドの再利用の提案と評価
- J-056 PCを用いた作業の効率化を目指したウィンドウ透明化手法(J分野:ヒューマンコミュニケーション&インタラクション,一般論文)
- J-015 ビデオ会議における遅延による影響の軽減を目指した再生状況提示(J分野:ヒューマンコミュニケーション&インタラクション,一般論文)
- 作業意欲を向上させるエンタテインメントの計算機作業環境への提供
- 形式的仕様に基づくGUI開発環境の試作
- 大学における情報ネットワークインフラの更新について
- Weekend Battle : エンタテインメント性の作業環境への提供により作業意欲を維持向上させるシステム
- 6F-4 オフィス環境における「忙しさ」と複数タスクによる時間的切迫感との関係(オフィス・教育支援,一般セッション,インターフェース)
- ユーザの視点による視野コントロールが可能な提示システム
- 京都工芸繊維大学におけるMoodleパイロットシステムについて
- ユーザの気分に基づく自動選曲法における楽曲特徴の効果
- 4F-3 ブログ検索支援のためのユーザが興味を自己認識するきっかけとなるキーワード抽出法(ネットワークとWeb,一般セッション,インターフェース)
- デュアルタスク状況における情報の周辺表示法の比較
- マルチウインドウ環境における覗き込み動作を利用した情報閲覧手法
- ユーザの意図強度に適応した音楽プレイヤシステム(セッション4 : マルチモーダルデザイン(1))
- デスクワークにおける忙しさの自動推定
- 受動型インタラクションスタイル : 密なインタラクションへの移行を促すユーザインタフェース
- インタラクションの初期における受動的情報提示手法
- ヒューマンインタフェースシンポジウム2010報告
- LMSを利用した演習室教育支援のための在席提示システムの設計と実装
- 消費電力の最小化を目指したリアルタイムスケジューリングアルゴリズムの効果