標(biāo)題: Titlebook: Design, Specification and Verification of Interactive Systems ’97; Proceedings of the E Michael Douglas Harrison,Juan Carlos Torres Confere [打印本頁] 作者: urinary-tract 時間: 2025-3-21 16:20
書目名稱Design, Specification and Verification of Interactive Systems ’97影響因子(影響力)
書目名稱Design, Specification and Verification of Interactive Systems ’97影響因子(影響力)學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’97網(wǎng)絡(luò)公開度
書目名稱Design, Specification and Verification of Interactive Systems ’97網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’97被引頻次
書目名稱Design, Specification and Verification of Interactive Systems ’97被引頻次學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’97年度引用
書目名稱Design, Specification and Verification of Interactive Systems ’97年度引用學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’97讀者反饋
書目名稱Design, Specification and Verification of Interactive Systems ’97讀者反饋學(xué)科排名
作者: jumble 時間: 2025-3-21 22:23 作者: Substitution 時間: 2025-3-22 01:19 作者: 收到 時間: 2025-3-22 08:31 作者: 猛擊 時間: 2025-3-22 09:49 作者: 痛恨 時間: 2025-3-22 15:41
Truncations of distribution functionsrovided allows an iterative approach to interface design. We argue that new developments in concurrent functional languages make them ideal for executing specifications. To show this, we make use of Haggis, a concurrent functional graphical toolkit. We describe the development of a highly interactiv作者: 痛恨 時間: 2025-3-22 20:21
https://doi.org/10.1007/978-3-031-27184-7 of checking how usable a particular system is must be based on experiment. However, it is also the case that changes that occur at this late stage are very expensive. The need for early design checking increases as software becomes more complex and is designed to serve volume international markets 作者: fibroblast 時間: 2025-3-22 22:07
https://doi.org/10.1007/978-3-031-27184-7on of, presentation of and interaction with all forms of information using single or multiple media. The standard (u. d.) is currently developed using an Object Oriented approach. Such a state based specification, however, does not support conveniently the analysis of the temporal relationships occu作者: 無孔 時間: 2025-3-23 04:28 作者: 斜 時間: 2025-3-23 09:34
The Nerve Structure and Functionthe use of Petri Nets to help describe accident scenarios. The issue here is that Petri Nets or some other formal notation might help eliminate ambiguities and imprecision that are characteristic of natural language descriptions in accident reports. We present a case study in which an attempt was ma作者: 執(zhí)拗 時間: 2025-3-23 13:37
The Muscle Structure and Functiondditional training before being able to effectively use another toolkit. Even though virtual toolkits have contributed positively in this context, users of virtual toolkits are not enabled: (i) to locally incorporate a new toolkit, or (ii) to extend or modify the supplied programming layer. A tool h作者: CROAK 時間: 2025-3-23 14:47
Dilara Kara,Taha Ibrahim Yildiz), and consists in the translation of a formal task description into an intermediary semantic interface (SSI), which can be linked to an actual interface. Various characteristics of the approach are described: the MAD* model and notation, the SSI model, and the different implementations (IMAD*, ISSI作者: Irritate 時間: 2025-3-23 20:57
Functional Food and Human Healthare modelled formally and the user interface is represented using a formal interactor model. A conceptual framework is introduced which relates the two representations and helps formalise their relationship as a conformance relationship. The discussion gives rise to a practical scheme for verifying 作者: 單調(diào)性 時間: 2025-3-24 00:56
Natural Therapeutics for Alzheimer’s Diseasepply this type of technique to the design and development of new applications, too. However if user interface designers want to apply task modelling on a larger scale, to industrial size case studies, the possibility of reuse is useful for saving time and effort. In this paper we present an approach作者: WAX 時間: 2025-3-24 05:19 作者: 口音在加重 時間: 2025-3-24 07:11
https://doi.org/10.1007/978-1-4615-2073-3ctory notion in the description of the structure and functionality of graphical user interfaces. The AOM model consists of a set of active agents with private rule based behaviours. Model entities involve topological information which defines the behaviour of active objects, parallel and cooperative作者: annexation 時間: 2025-3-24 11:26
Reducing the Risk of Cardiovascular Diseaseolves reasoning about the properties of an interactive system specification. Such specifications usually concentrate on interactive system state and behaviour, and pay little attention to the presentation. We show that arguments about the properties of an interactive system . be relied upon without 作者: 口音在加重 時間: 2025-3-24 17:14
https://doi.org/10.1007/978-1-4614-3480-1description of everything that the user is permitted to do, and the ‘use’ of a system, which is what the user is likely to do. A way for capturing the use requirements of a system in terms of how ‘good’ is a given use is proposed and discussed as well as a way of describing interface specifications 作者: depreciate 時間: 2025-3-24 21:12
Design, Specification and Verification of Interactive Systems ’97978-3-7091-6878-3Series ISSN 0946-2767 作者: violate 時間: 2025-3-24 23:52 作者: insecticide 時間: 2025-3-25 03:20 作者: 實施生效 時間: 2025-3-25 08:29
Evaluating Narrative in Multimedia,A need exists within multimedia for a method which evaluates a holistic design as opposed to aspects of a design such as structure or interface style.作者: fender 時間: 2025-3-25 11:53
https://doi.org/10.1007/978-3-7091-6878-3computer graphics; interactive system; interactive systems; modeling; usability; user interface; virtual r作者: 存在主義 時間: 2025-3-25 17:45
978-3-211-83055-0Springer-Verlag/Wien 1997作者: 盡責(zé) 時間: 2025-3-25 22:32
Michael Douglas Harrison,Juan Carlos Torresstate of the art in this field作者: Repetitions 時間: 2025-3-26 03:13
Eurographicshttp://image.papertrans.cn/d/image/268827.jpg作者: agglomerate 時間: 2025-3-26 07:43
Users as rational interacting agents: formalising assumptions about cognition and interaction,to reason about likely user behaviour. In this paper, we present the approach and an outline formal description of the cognitive architecture. This initial description is derived from an existing implementation. We illustrate how the description can be used in reasoning by applying it to the task of作者: 健忘癥 時間: 2025-3-26 10:30
Establishing a link between usability and utility: validation of task-based dialogue using a semantor the design and evaluation of the user interface dialogue at the semantic level provides means to assess the utility of an interactive system in advance as well as to establish the starting point for usability.作者: 骯臟 時間: 2025-3-26 16:21 作者: Wallow 時間: 2025-3-26 16:51 作者: Folklore 時間: 2025-3-26 21:15 作者: exostosis 時間: 2025-3-27 02:54 作者: hidebound 時間: 2025-3-27 08:33 作者: Incommensurate 時間: 2025-3-27 11:23 作者: TOXIC 時間: 2025-3-27 16:01
https://doi.org/10.1007/978-3-031-27184-7 let methods correspond to actions and values of control variables with processes. Each process consists of actions that are enabled for the value of the control variable that is modelled by the process. This style leads to Basic Lotos specifications that are directly suitable for computer assisted analysis such as model checking and simulation.作者: DAMP 時間: 2025-3-27 18:31 作者: 巫婆 時間: 2025-3-28 00:13 作者: 讓空氣進(jìn)入 時間: 2025-3-28 02:22 作者: 容易做 時間: 2025-3-28 09:12 作者: alliance 時間: 2025-3-28 12:17 作者: HEED 時間: 2025-3-28 15:26 作者: 敏捷 時間: 2025-3-28 19:24
Dilara Kara,Taha Ibrahim Yildizs and analyse unexpected defects in their design. We also identify properties that are meaningful to the application designer and users, and show how they can be formally checked on a transducer-based model of the application.作者: bronchodilator 時間: 2025-3-29 02:53 作者: 節(jié)省 時間: 2025-3-29 05:37
PAC-ing the Architecture of Your User Interface,specific domain of user interface software design using PAC as the running example. We present a brief evolution of the architectural models for single-user systems that motivated PAC. We then unfold PAC into PAC* for designing the conceptual architecture of multi-user systems.作者: 混沌 時間: 2025-3-29 09:26 作者: ANIM 時間: 2025-3-29 13:59 作者: 披肩 時間: 2025-3-29 18:24
Formally Verifying Interactive Systems: A Review,and also as interactions between operators and automation in safety-critical environments becomes more complex. This paper reviews progress in the area of formal verification of interactive systems and proposes a short agenda for further work.作者: Monolithic 時間: 2025-3-29 20:55
Editing MAD* task descriptions for specifying user interfaces, at both semantic and presentation le, and the links with the actual interface). The tools that support the process are then described. The conclusion identifies the limits of the approach, the relationships with similar approaches and further research work.作者: CURT 時間: 2025-3-30 02:23 作者: 煩憂 時間: 2025-3-30 05:56
A Representational Approach to the Specification of Presentations,placing requirements on the presentation mapping. We consider in detail these requirements, and the manner in which we can verify their satisfaction. Taking this approach, we can prove that a presentation is valid with respect to a given property, and thus extend our reasoning into the perceptual domain of the presentation.作者: scoliosis 時間: 2025-3-30 10:30 作者: Debrief 時間: 2025-3-30 16:06 作者: Hippocampus 時間: 2025-3-30 20:06
Functional Equations — Results and Advances for formal methods are more likely to employ a range of diverse, lightweight modelling techniques. We explore this view by showing how, on one example, several quite different kinds of analysis can be performed using different models.作者: FRET 時間: 2025-3-30 20:47
Functional Food and Human Healtho representations and helps formalise their relationship as a conformance relationship. The discussion gives rise to a practical scheme for verifying and testing user interfaces and their specifications with respect to task models.作者: CHAFE 時間: 2025-3-31 03:03
Natural Therapeutics for Alzheimer’s Diseasen a larger scale, to industrial size case studies, the possibility of reuse is useful for saving time and effort. In this paper we present an approach for designing reusable structures in task models that allows designers to focus more clearly on the needs of the user and that speeds up the application design.作者: 輪流 時間: 2025-3-31 08:29 作者: 地牢 時間: 2025-3-31 11:08
Formal aspects of task based design,o representations and helps formalise their relationship as a conformance relationship. The discussion gives rise to a practical scheme for verifying and testing user interfaces and their specifications with respect to task models.作者: 花爭吵 時間: 2025-3-31 15:16
Reusable Structures in Task Models,n a larger scale, to industrial size case studies, the possibility of reuse is useful for saving time and effort. In this paper we present an approach for designing reusable structures in task models that allows designers to focus more clearly on the needs of the user and that speeds up the application design.作者: 退潮 時間: 2025-3-31 20:05 作者: 使尷尬 時間: 2025-3-31 23:27
https://doi.org/10.1007/978-3-031-27184-7and also as interactions between operators and automation in safety-critical environments becomes more complex. This paper reviews progress in the area of formal verification of interactive systems and proposes a short agenda for further work.作者: Infiltrate 時間: 2025-4-1 05:06
Dilara Kara,Taha Ibrahim Yildiz, and the links with the actual interface). The tools that support the process are then described. The conclusion identifies the limits of the approach, the relationships with similar approaches and further research work.作者: 復(fù)習(xí) 時間: 2025-4-1 06:03
https://doi.org/10.1007/978-1-4615-2073-3 evolution of agents, time controlling, event oriented or supervised behaviour, interactive techniques, visual programming constructs, rapid prototyping, and intelligent user interfaces. All model entities may be defined by direct manipulation techniques.作者: 眉毛 時間: 2025-4-1 10:19
Reducing the Risk of Cardiovascular Diseaseplacing requirements on the presentation mapping. We consider in detail these requirements, and the manner in which we can verify their satisfaction. Taking this approach, we can prove that a presentation is valid with respect to a given property, and thus extend our reasoning into the perceptual domain of the presentation.作者: Essential 時間: 2025-4-1 17:59
https://doi.org/10.1007/978-1-4614-3480-1and terms of . user interfaces do rather than . they do it. The two aspects are related so that an analyst can judge whether changes in the interface model cause required improvements in the use of the system. Some of the implications of this approach are discussed and a comparison is made to other formal approaches in HCI.作者: Sarcoma 時間: 2025-4-1 19:16 作者: 鴿子 時間: 2025-4-2 02:03
PAC-ing the Architecture of Your User Interface,ot always clearly articulated nor do they explicitly exploit the foundational concepts developed recently in main-stream software architecture engineering. Similarly, technical solutions from main-stream software engineering may improve portability and reusability at the code level while hindering t作者: Morbid 時間: 2025-4-2 04:25 作者: 外星人 時間: 2025-4-2 08:54
