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網(wǎng)絡公開度




書目名稱Design, Specification and Verification of Interactive Systems ’98網(wǎng)絡公開度學科排名




書目名稱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

同來核對