Titlebook: Design, Specification and Verification of Interactive Systems ’98; Proceedings of the E Panos Markopoulos,Peter Johnson Conference proceedi

类属

书目名称Design, Specification and Verification of Interactive Systems ’98影响因子(影响力)




书目名称Design, Specification and Verification of Interactive Systems ’98影响因子(影响力)学科排名




书目名称Design, Specification and Verification of Interactive Systems ’98网络公开度




书目名称Design, Specification and Verification of Interactive Systems ’98网络公开度学科排名




书目名称Design, Specification and Verification of Interactive Systems ’98被引频次




书目名称Design, Specification and Verification of Interactive Systems ’98被引频次学科排名




书目名称Design, Specification and Verification of Interactive Systems ’98年度引用




书目名称Design, Specification and Verification of Interactive Systems ’98年度引用学科排名




书目名称Design, Specification and Verification of Interactive Systems ’98读者反馈




书目名称Design, Specification and Verification of Interactive Systems ’98读者反馈学科排名

decipher

丛林

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-

脆弱带来

flammable

文艺

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

文艺

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

露天历史剧

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

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

同来核对