ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. ヒューマンコンピュータインタラクション(HCI)
  3. 1995
  4. 7(1994-HI-058)

GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み

https://ipsj.ixsq.nii.ac.jp/records/37426
https://ipsj.ixsq.nii.ac.jp/records/37426
7b1d0c6c-fcc7-4691-a04f-a59d35b317f0
名前 / ファイル ライセンス アクション
IPSJ-HI94058006.pdf IPSJ-HI94058006.pdf (1.2 MB)
Copyright (c) 1995 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 1995-01-19
タイトル
タイトル GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み
タイトル
言語 en
タイトル AN APPLICATION OF THE DENOTATIONAL SPECIFICATION OF HUMAN - COMPUTER DIALOGUE TO GUI - BASED SYSTEMS
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
大阪大学基礎工学部
著者所属
大阪大学基礎工学部
著者所属
大阪大学基礎工学部
著者所属(英)
en
Faculty of Engineering Science, Osaka University
著者所属(英)
en
Faculty of Engineering Science, Osaka University
著者所属(英)
en
Faculty of Engineering Science, Osaka University
著者名 松林, 弘治 辻野, 嘉宏 都倉, 信樹

× 松林, 弘治 辻野, 嘉宏 都倉, 信樹

松林, 弘治
辻野, 嘉宏
都倉, 信樹

Search repository
著者名(英) Kohji, Matsubayashi Yoshihiro, Tsujino Nobuki, Tokura

× Kohji, Matsubayashi Yoshihiro, Tsujino Nobuki, Tokura

en Kohji, Matsubayashi
Yoshihiro, Tsujino
Nobuki, Tokura

Search repository
論文抄録
内容記述タイプ Other
内容記述 HCIの分野で,インタラクションの様々な側面を形式的にモデル化して評価や設計に援用しようという要求が高まっている.本縞では,コンピュータシステムとそれを利用するユーザとの間でダイアログ(対話)が行われるというインタラクションのモデルを提案する.このモデルでは,システムとユーザはそれぞれ内部状態を持っていると考え,このとき,相手からの入力記号の意味は,入力される前の内部状態から,入力された後の内部状態及び相手への出力記号への写像として与えられる.本縞では,GUIベースのアプリケーションについて,その具体的な適用例を説明する.
論文抄録(英)
内容記述タイプ Other
内容記述 In the field of HCI, it has been a growing concern to give a formal model of interaction which is usable for the evaluation and development of computer system. In this paper, we propose the interaction model which specifies the dialogue between computer system and user. Both system and user are defined as have internal entities, and the input symbols to the opponent are strictly defined as a mapping from the current value of entities to those of the next and the output symbols from the opponent. We also present the application of this specification technique to Macintosh Finder^<TM>, a typical GUI-based application.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA1221543X
書誌情報 情報処理学会研究報告ヒューマンコンピュータインタラクション(HCI)

巻 1995, 号 7(1994-HI-058), p. 37-44, 発行日 1995-01-19
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-22 13:47:53.334999
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3