Titlebook: Design, Specification and Verification of Interactive Systems ’95; Proceedings of the E Philippe Palanque,Rémi Bastide Conference proceedin

radionuclides

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




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




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




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




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




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




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




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




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




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

fiscal

Formal Specification Techniques for Interactive Systemst of interest in the application of these methods to the specification, design, validation and verification of interactive systems (see for instance [9, 14] and several papers in these proceedings). This leads to the following questions: are general purpose techniques applicable? Is it better to des

dura-mater

Interacting With Informationions. This is not to discount the value of a formal approach but rather to expand the range of ideas that should be considered. This paper is not so much a report of research as it is an informal challenge to the community and a sketch of a potential direction of research.

Lucubrate

A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications specification and user physical actions. To achieve this goal we pass through an intermediate level: the formal specification of the system considered. The approach entails building an interactor-based LOTOS formal specification of the system starting from task specification. Then a tool, which we

clarify

Interaction and Task Requirementsthat a system is intended to support. This paper suggests that potential conflicts between these two types of requirements can be identified early in the design process through the use of appropriate specification techniques. Here ‘appropriate’ means both that the structures used to express the spec

到婚嫁年龄

到婚嫁年龄

货物

majestic

Exploring Design Options Rationallytion Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is

osteopath

Moving Between Contexts question, it depends on the interpretation of the operation and even then may be ambiguous. This is not a purely theoretical problem, but occurs in practical computational problems. This paper examines this issue looking at three different problems: multi-user undo, distributed update and the simul