WEKO3
-
RootNode
アイテム
GUIを持つシステムとユーザ間のダイアログを形式的に記述する試み
https://ipsj.ixsq.nii.ac.jp/records/37426
https://ipsj.ixsq.nii.ac.jp/records/374267b1d0c6c-fcc7-4691-a04f-a59d35b317f0
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
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 | ||||||||
著者名 |
松林, 弘治
辻野, 嘉宏
都倉, 信樹
× 松林, 弘治 辻野, 嘉宏 都倉, 信樹
|
|||||||
著者名(英) |
Kohji, Matsubayashi
Yoshihiro, Tsujino
Nobuki, Tokura
× Kohji, Matsubayashi Yoshihiro, Tsujino Nobuki, Tokura
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | 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 | |||||||
出版者 | 情報処理学会 |