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

類(lèi)屬

書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98影響因子(影響力)




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98被引頻次




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98被引頻次學(xué)科排名




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98年度引用




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98年度引用學(xué)科排名




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98讀者反饋




書(shū)目名稱(chēng)Design, Specification and Verification of Interactive Systems ’98讀者反饋學(xué)科排名

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-

脆弱帶來(lái)

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

同來(lái)核對(duì)