类属
发表于 2025-3-21 16:23:37
书目名称Design, Specification and Verification of Interactive Systems ’98影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0268828<br><br> <br><br>书目名称Design, Specification and Verification of Interactive Systems ’98读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0268828<br><br> <br><br>
decipher
发表于 2025-3-21 22:32:02
http://reply.papertrans.cn/27/2689/268828/268828_2.png
丛林
发表于 2025-3-22 00:34:19
Inference and Information Resources: A design case studyuch approaches rely on identifying the combinations of commands a user will be expected to issue and information they will need to access, and designing an interface with appropriate temporal behaviour. Many fields of activity, however, are highly information intensive, and the way in which a human-
脆弱带来
发表于 2025-3-22 07:31:42
http://reply.papertrans.cn/27/2689/268828/268828_4.png
flammable
发表于 2025-3-22 11:33:43
http://reply.papertrans.cn/27/2689/268828/268828_5.png
文艺
发表于 2025-3-22 13:26:54
The role of formal proof in modelling interactive behaviourhe ease of performing proofs — and the real-world validity of the model. This issue is particularly important when the proof incorporates properties of user behaviour as well as the device specification. This paper discusses these trade-offs, using a simple model of a web-browsing system as an examp
文艺
发表于 2025-3-22 20:11:50
Validating semi-formal specifications of interactors as design representationshe models they propose to the concerns of user interface designers. The paper outlines a semi-formal representation of user interface software and reports a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discuss
露天历史剧
发表于 2025-3-22 23:34:32
The role of informal representations in early design small-scale studies which investigated the role of informal and semi-formal graphical representations in the early design of interactive systems. We argue that informal graphical representations may have an important role to play in early design in enabling designers to think creatively about possi
BRINK
发表于 2025-3-23 02:54:38
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle use, with poor coverage of the design life cycle. In this paper, we suggest a pragmatic approach to formal design. We rely on a range of models that can help at different stages of development. We use as a case study, the design of a multi-user, design rationale editor. In the early stages of our d
同来核对
发表于 2025-3-23 07:43:25
http://reply.papertrans.cn/27/2689/268828/268828_10.png