標(biāo)題: Titlebook: Design, Specification and Verification of Interactive Systems ’96; Proceedings of the E Francois Bodart,Jean Vanderdonckt Conference procee [打印本頁] 作者: 極大 時間: 2025-3-21 17:46
書目名稱Design, Specification and Verification of Interactive Systems ’96影響因子(影響力)
書目名稱Design, Specification and Verification of Interactive Systems ’96影響因子(影響力)學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’96網(wǎng)絡(luò)公開度
書目名稱Design, Specification and Verification of Interactive Systems ’96網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’96被引頻次
書目名稱Design, Specification and Verification of Interactive Systems ’96被引頻次學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’96年度引用
書目名稱Design, Specification and Verification of Interactive Systems ’96年度引用學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’96讀者反饋
書目名稱Design, Specification and Verification of Interactive Systems ’96讀者反饋學(xué)科排名
作者: 機密 時間: 2025-3-21 23:03 作者: hermetic 時間: 2025-3-22 00:31 作者: 解決 時間: 2025-3-22 06:05 作者: enfeeble 時間: 2025-3-22 10:59 作者: Freeze 時間: 2025-3-22 13:16 作者: Freeze 時間: 2025-3-22 20:09
Conference proceedings 1996 of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to implementation. Selected revised papers from the Eu作者: 離開真充足 時間: 2025-3-23 00:41 作者: catagen 時間: 2025-3-23 03:18 作者: 卵石 時間: 2025-3-23 06:02
https://doi.org/10.1007/978-1-4842-3144-9understand its processes, as well as the phenomena of judgment and causal attribution by which it is marked. We will also analyze the question of how error is corrected within the framework of established technical systems. Finally, the predictability and, therefore, the certification of such technical systems will be questioned.作者: 令人作嘔 時間: 2025-3-23 10:56
Finding Bugs and Repairing Circuitsgy of abstract interpretation is presented; secondly, some favourite formalisms and notations from the interactive system verification area axe reviewed at light of abstract interpretation. We argue that systematic use of abstract interpretation in interactive system verification could help improving and unifying current techniques.作者: 發(fā)起 時間: 2025-3-23 15:15
Kazunari Tominaga,Hiroaki Kusunokistems. Formal methods of software specification are known to provide this abstractive power in many contexts. This paper shows that an established specification technique can be used profitably to model, assess and improve the design of a generic kernel for multimodal systems.作者: Pessary 時間: 2025-3-23 19:01
Functional Electrical Rehabilitationhanisms for efficient interactive proof: planning, reuse, reflection and articulation. Common themes are observed, as are strengths and weaknesses of the interfaces and we discuss the general issues, attempting to abstract away from the particular artifacts studied.作者: BORE 時間: 2025-3-24 00:02
Ambulatory Exercise Procedures and Effectsrmal reasoning. The formal models allow the designer to verify mechanically specific requirements imposed on the user interface such as those found in safetyor security-critical applications. We illustrate our approach with an example that shows how the proof process works for behavioral properties that have been expressed in a rule-based fashion.作者: poliosis 時間: 2025-3-24 02:33 作者: 商品 時間: 2025-3-24 08:01
Retrospective and Challenges for Model-Based Interface Developmentht of this architecture, and discusses their progress towards the goals of increasing the quality and reducing the cost of developing interfaces. The paper closes with a discussion of challenges for future model-based development tools.作者: BROTH 時間: 2025-3-24 11:27
Human Factors in Aeronauticsunderstand its processes, as well as the phenomena of judgment and causal attribution by which it is marked. We will also analyze the question of how error is corrected within the framework of established technical systems. Finally, the predictability and, therefore, the certification of such technical systems will be questioned.作者: critic 時間: 2025-3-24 17:34
Abstract Interpretation and Application to Interactive System Verificationgy of abstract interpretation is presented; secondly, some favourite formalisms and notations from the interactive system verification area axe reviewed at light of abstract interpretation. We argue that systematic use of abstract interpretation in interactive system verification could help improving and unifying current techniques.作者: Concerto 時間: 2025-3-24 20:07
Fusion Engines and Melting Potsstems. Formal methods of software specification are known to provide this abstractive power in many contexts. This paper shows that an established specification technique can be used profitably to model, assess and improve the design of a generic kernel for multimodal systems.作者: 連接 時間: 2025-3-25 01:00
Evaluating the Interfaces of Three Theorem Proving Assistantshanisms for efficient interactive proof: planning, reuse, reflection and articulation. Common themes are observed, as are strengths and weaknesses of the interfaces and we discuss the general issues, attempting to abstract away from the particular artifacts studied.作者: 改革運動 時間: 2025-3-25 05:19 作者: BRIEF 時間: 2025-3-25 09:38
Specifying and Reasoning About CSCWsystem and the people, i.e. we do not follow a simple action and agent analysis. Since people bring knowledge to a system we treat them differently. We also propose the use of situation theory as a way of capturing requirements.作者: pacific 時間: 2025-3-25 13:52
https://doi.org/10.1007/978-1-4020-9365-4cription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.作者: 充氣球 時間: 2025-3-25 19:43 作者: exclusice 時間: 2025-3-25 20:42 作者: 斜谷 時間: 2025-3-26 00:47
Mathematics and Its Applicationsave different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.作者: cyanosis 時間: 2025-3-26 05:09
Efficacy of Acid Suppression Therapynd device models. The devices and tasks are modeled by colored Petri nets partitioned to cleanly distinguish submodel component visibility and interface affordances. The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.作者: 神化怪物 時間: 2025-3-26 09:16
Device Modelscription of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.作者: creatine-kinase 時間: 2025-3-26 15:32
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systemssuch interactions. We then show how multimodal interactions can be built from monomodal ones by combining those models. This is exemplified by an experimental two-handed graphical editor that has been built using the proposed model.作者: Impugn 時間: 2025-3-26 19:40
Deriving a formal model of an interactive system from its UIL description in order to verify and to eems very hard to produce by common designers. A more realistic attitude consists in deriving a formal model from the description of the intended interface as it was informally designed. Practically, a tool generates models in the language Lustre from a user’s UIL description and these models are used for verification or test purposes.作者: 警告 時間: 2025-3-26 20:59
Towards an integrated proposal for Interactive Systems design based on TLIM and ICOave different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.作者: Myelin 時間: 2025-3-27 03:56 作者: 反復(fù)無常 時間: 2025-3-27 08:22 作者: BLA 時間: 2025-3-27 12:58
0946-2767 rom the Eurographics workshop in Namur review the state of the art in this area, comparing the different existing approaches to this field in order to identify the principle requirements and the most suitable notations, and indicate the meaningful results which can be obtained from them.978-3-211-82900-4978-3-7091-7491-3Series ISSN 0946-2767 作者: patella 時間: 2025-3-27 17:02
https://doi.org/10.1007/978-981-13-1074-4ol is part of a novel user interface development platform which integrates design assistance and development support to provide a unifying basis for constructing high quality user interfaces that are accessible by different user groups, including disabled and elderly people.作者: PHIL 時間: 2025-3-27 18:54
Design assistance for user-adapted interactionol is part of a novel user interface development platform which integrates design assistance and development support to provide a unifying basis for constructing high quality user interfaces that are accessible by different user groups, including disabled and elderly people.作者: 短程旅游 時間: 2025-3-27 23:53 作者: faculty 時間: 2025-3-28 02:36 作者: Ascendancy 時間: 2025-3-28 08:35
Denys Khusainov,Oleksii Bychkovs. To demonstrate the feasibility of this approach, we consider a simple, gas-fired, electricity generating plant as a case study. Our proposed approach is intended to complement, rather than compete with, existing design and analysis methods for the HMI. The method achieves this by making risk anal作者: Goblet-Cells 時間: 2025-3-28 12:14
Design, Specification and Verification of Interactive Systems ’96Proceedings of the E作者: 無能性 時間: 2025-3-28 14:49
Toward more understandable user interface specificationsehensibility of specifications is described. The results of this study suggest that user interface specifications are difficult to interpret manually. A possible solution to this problem, specification animation, is also described.作者: 招待 時間: 2025-3-28 22:26
The Evaluation Of User Interface Notationse use of natural language descriptions. More surprisingly, our results also suggest a link between the frequency of comprehension errors and positive attitude statements towards particular notations. In other words, our subjects made most errors with the notations that they liked the best. This sugg作者: 壯麗的去 時間: 2025-3-29 00:16 作者: CLAY 時間: 2025-3-29 05:53
Retrospective and Challenges for Model-Based Interface Developmentsities and research laboratories around the world. This paper proposes a generic architecture for these tools, reviews the different approaches in light of this architecture, and discusses their progress towards the goals of increasing the quality and reducing the cost of developing interfaces. The 作者: 多產(chǎn)子 時間: 2025-3-29 10:51 作者: grotto 時間: 2025-3-29 14:55
Abstract Interpretation and Application to Interactive System Verificationsed for verification and is thus of interest for interactive system verification. The aim of this paper is twofold: Firstly, a survey of the methodology of abstract interpretation is presented; secondly, some favourite formalisms and notations from the interactive system verification area axe review作者: 策略 時間: 2025-3-29 17:51
Device Models that they can invoke. This work sets out a new approach to evaluating the usability of devices, one that accounts for the cognitive resources needed to use the device to perform particular tasks. The framework draws its expressive power from a technique called syndetic modelling that allows the des作者: 防御 時間: 2025-3-29 21:34 作者: Eclampsia 時間: 2025-3-30 01:05
Deriving a formal model of an interactive system from its UIL description in order to verify and to l systems. In order to verify that the interface of a system behaves as intended by the user, we based our ongoing research on a compromise by allowing the use of informal (but practical) and formal methods. In fact, a formal description of the user’s interests and activities through the Interface s作者: Osteoarthritis 時間: 2025-3-30 05:10 作者: conduct 時間: 2025-3-30 09:43 作者: Lucubrate 時間: 2025-3-30 15:48
Towards an integrated proposal for Interactive Systems design based on TLIM and ICO an open issue the identification of systematic methods able to support designers and developers in specifying and demonstrating properties of user interfaces. TLIM and ICO are two formal methods which have been used for this purpose with interesting results. They address similar concepts but also h作者: Ligneous 時間: 2025-3-30 16:46
The Evaluation Of User Interface Notationshese notations are intended to strip away the clutter of implementation details that frequently obscure interaction properties. Unfortunately, relatively little work has been done to evaluate the usability of these notations for ‘real-world’ interfaces. We have, therefore, conducted an empirical eva作者: Hemiparesis 時間: 2025-3-30 23:50 作者: Sputum 時間: 2025-3-31 04:55
Risk Analysis, Impact and Interaction Modellingrs are aware of the relationships between their design decisions, operator errors, and the hazards associated with a system. In this paper, we demonstrate how information from risk analysis can be combined with formal specification of the HMI, to support designers in exploring these relationships. W作者: abolish 時間: 2025-3-31 08:41
Design assistance for user-adapted interactionticulation of user interface adaptation constituents during the early phases of design and development of a user interface. It is claimed that this type of adaptation support is required to ensure accessibility of a user interface by different user groups with varying abilities, requirements and pre作者: Gnrh670 時間: 2025-3-31 13:10 作者: FLOUR 時間: 2025-3-31 13:54 作者: 乞討 時間: 2025-3-31 20:27 作者: 6Applepolish 時間: 2025-3-31 22:56
Evaluating the Interfaces of Three Theorem Proving Assistantsdomain. We examine three TPAs employing quite different styles of interaction. We consider the support provided by the interfaces for each of four mechanisms for efficient interactive proof: planning, reuse, reflection and articulation. Common themes are observed, as are strengths and weaknesses of 作者: 單挑 時間: 2025-4-1 05:45
Validating Properties of Component-based Graphical User InterfacesL system. The underlying approach uses a single specification for constructing both implementations (prototypes) for experimentation and models for formal reasoning. The formal models allow the designer to verify mechanically specific requirements imposed on the user interface such as those found in作者: 是比賽 時間: 2025-4-1 07:02 作者: 狗窩 時間: 2025-4-1 13:40
Design, Specification and Verification of Interactive Systems ’96978-3-7091-7491-3Series ISSN 0946-2767 作者: LIKEN 時間: 2025-4-1 18:23 作者: 幼稚 時間: 2025-4-1 22:19
https://doi.org/10.1007/978-3-7091-7491-3CSCW; implementation; interactive system; modeling; user interface
