標(biāo)題: Titlebook: Design, Specification and Verification of Interactive Systems ’95; Proceedings of the E Philippe Palanque,Rémi Bastide Conference proceedin [打印本頁] 作者: radionuclides 時(shí)間: 2025-3-21 18:49
書目名稱Design, Specification and Verification of Interactive Systems ’95影響因子(影響力)
書目名稱Design, Specification and Verification of Interactive Systems ’95影響因子(影響力)學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’95網(wǎng)絡(luò)公開度
書目名稱Design, Specification and Verification of Interactive Systems ’95網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’95被引頻次
書目名稱Design, Specification and Verification of Interactive Systems ’95被引頻次學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’95年度引用
書目名稱Design, Specification and Verification of Interactive Systems ’95年度引用學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’95讀者反饋
書目名稱Design, Specification and Verification of Interactive Systems ’95讀者反饋學(xué)科排名
作者: fiscal 時(shí)間: 2025-3-21 22:51
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 時(shí)間: 2025-3-22 04:25
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 時(shí)間: 2025-3-22 08:31
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 時(shí)間: 2025-3-22 09:23
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 ‘a(chǎn)ppropriate’ means both that the structures used to express the spec作者: 到婚嫁年齡 時(shí)間: 2025-3-22 13:58 作者: 到婚嫁年齡 時(shí)間: 2025-3-22 19:45 作者: 貨物 時(shí)間: 2025-3-22 23:58 作者: majestic 時(shí)間: 2025-3-23 04:56
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 時(shí)間: 2025-3-23 07:47
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作者: Asperity 時(shí)間: 2025-3-23 11:50
Combining Formal Techniques and Prototyping in User Interface Construction and Verificationle specification is used for constructing both implementations (prototypes) for experimentation and models for formal reasoning. Using a component-based approach not only allows us to construct realistic prototypes, but also allows us to generate a variety of formal models. Rapid prototyping allows 作者: Delirium 時(shí)間: 2025-3-23 14:30 作者: Gerontology 時(shí)間: 2025-3-23 21:27
Four different measures to quantify three usability attributes: ‘feedback’, ‘interactive directness’ product features. We present a new approach to measure user-interface quality in a quantitative way. First, we developed a concept to describe user-interfaces on a granularity level, that is detailed enough to preserve important interface characteristics, and is general enough to cover most of know作者: aristocracy 時(shí)間: 2025-3-24 01:43 作者: 最有利 時(shí)間: 2025-3-24 04:27
Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide coming from different perspectives: decomposition criteria in architecture design, dialog independence in user interface (UI) design, methodology to follow in a development team. These factors are not easy to conciliate, forcing designers to make trade offs or unbalanced choices. In this paper, we 作者: kidney 時(shí)間: 2025-3-24 10:10
The Design of Narrative Virtual Environmentseen developed for this new technology. Existing software tools are very low level, forcing the application developer to use programming to produce most of the application code. Many VE applications will be developed by non-programmers, who don’t have the skill or time to use today’s low level tools.作者: cringe 時(shí)間: 2025-3-24 13:05 作者: 無法解釋 時(shí)間: 2025-3-24 17:13 作者: obeisance 時(shí)間: 2025-3-24 21:30 作者: 談判 時(shí)間: 2025-3-24 23:15
The Application Of Petri Nets To Represent And Reason About Human Factors Problems During Accident And their systems. Tool support can be recruited to validate the resulting nets. The sequences of events leading to an accident can be simulated and shown to human factors and systems engineers. This, in turn, may elicit further observations about the causes of an accident. A near collision analysed 作者: ORE 時(shí)間: 2025-3-25 03:54 作者: CARE 時(shí)間: 2025-3-25 09:22 作者: 分解 時(shí)間: 2025-3-25 13:55 作者: 沖突 時(shí)間: 2025-3-25 17:33 作者: Homocystinuria 時(shí)間: 2025-3-25 20:20
Observing Behaviors in Functional Assessmentnd their systems. Tool support can be recruited to validate the resulting nets. The sequences of events leading to an accident can be simulated and shown to human factors and systems engineers. This, in turn, may elicit further observations about the causes of an accident. A near collision analysed 作者: 館長 時(shí)間: 2025-3-26 01:33
Vincenzo Catrambone,Gaetano Valenzapproach is exemplified by a complete architecture case throughout the paper. Software Architecture Analysis Method (SAAM) is finally applied to prove the benefits of this architecture and to evaluate it with respect to relevant criteria. This paper suggest first steps towards a systematic building o作者: 慢跑 時(shí)間: 2025-3-26 04:36
Psychiatric and Neurological Disordersing a formal model for narrative virtual environments, and the specification techniques that go along with this model. The model and specification techniques that we have developed form the basis for a set of software tools that can be used by non-programmers to produce narrative virtual environment作者: 脫落 時(shí)間: 2025-3-26 09:09
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.作者: 不能和解 時(shí)間: 2025-3-26 16:14
Modelling and Generation of Graphical User Interfaces in the TADEUS Approachnterfaces (GUI). For this reason TADEUS is a methodology as well as a supporting environment for GUI development. An overview about the TADEUS approach is given in this paper. The TADEUS Dialogue graph, a new specification technique for GUI, and the generation of GUI based on Dialogue graphs are described.作者: FEAT 時(shí)間: 2025-3-26 18:50 作者: debacle 時(shí)間: 2025-3-26 22:17 作者: 無可非議 時(shí)間: 2025-3-27 02:30 作者: 生氣地 時(shí)間: 2025-3-27 07:58
Specific problems in infiltrations “... forming a mental picture of something not visible or present, or of an abstract thing ...”..This paper gives the background to the recent upsurge of interest in scientific visualization and describes some of the work to develop a framework for understanding visualization. Some consideration i作者: Frequency 時(shí)間: 2025-3-27 13:17
J. T. Stull,J. R. Miller,P. J. Silvert 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作者: ODIUM 時(shí)間: 2025-3-27 15:46
W. H. Newman,M. B. Frankis,J. G. Webbions. 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.作者: 商品 時(shí)間: 2025-3-27 18:02
Developments in Cardiovascular Medicine 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 作者: intrude 時(shí)間: 2025-3-27 23:04
Autism and Child Psychopathology Seriesthat 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 ‘a(chǎn)ppropriate’ means both that the structures used to express the spec作者: Conducive 時(shí)間: 2025-3-28 05:36
https://doi.org/10.1007/978-3-030-66270-7alism for representing users and devices, and employs this formalism to describe a two-phase process of . and . in response to expectation failure. During weakening, selected components of the mental model are tagged as “uncertain.” The task plan is re-executed on the weakened mental model, and the 作者: decode 時(shí)間: 2025-3-28 06:26
Observing Behaviors in Functional Assessmentystems engineers. The insights of these investigators are often separated into chapters that reflect the particular concerns and expertise of their authors. Such a separation often makes it difficult for readers to trace the ways in which human and system ‘failures’ combine to create the necessary c作者: 燕麥 時(shí)間: 2025-3-28 12:50 作者: 過份艷麗 時(shí)間: 2025-3-28 16:04 作者: 稀釋前 時(shí)間: 2025-3-28 20:34 作者: 舊病復(fù)發(fā) 時(shí)間: 2025-3-29 02:36
Functional Brain Mapping: Methods and Aimsle specification is used for constructing both implementations (prototypes) for experimentation and models for formal reasoning. Using a component-based approach not only allows us to construct realistic prototypes, but also allows us to generate a variety of formal models. Rapid prototyping allows 作者: 顯微鏡 時(shí)間: 2025-3-29 05:33 作者: 步兵 時(shí)間: 2025-3-29 08:26 作者: COMA 時(shí)間: 2025-3-29 15:02 作者: CYT 時(shí)間: 2025-3-29 18:26 作者: 小木槌 時(shí)間: 2025-3-29 21:03 作者: 含鐵 時(shí)間: 2025-3-30 03:48 作者: mortgage 時(shí)間: 2025-3-30 05:17 作者: 畫布 時(shí)間: 2025-3-30 08:35 作者: Macronutrients 時(shí)間: 2025-3-30 12:44 作者: liposuction 時(shí)間: 2025-3-30 17:07
Design, Specification and Verification of Interactive Systems ’95978-3-7091-9437-9Series ISSN 0946-2767 作者: Intrepid 時(shí)間: 2025-3-31 00:31 作者: gospel 時(shí)間: 2025-3-31 01:25
https://doi.org/10.1007/978-981-15-6883-1nterfaces (GUI). For this reason TADEUS is a methodology as well as a supporting environment for GUI development. An overview about the TADEUS approach is given in this paper. The TADEUS Dialogue graph, a new specification technique for GUI, and the generation of GUI based on Dialogue graphs are described.作者: ARENA 時(shí)間: 2025-3-31 08:36 作者: Ptsd429 時(shí)間: 2025-3-31 09:42 作者: habile 時(shí)間: 2025-3-31 16:23 作者: bizarre 時(shí)間: 2025-3-31 20:11
Nicolangelo Iannella,Michel Condeminemeans of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.作者: Stress 時(shí)間: 2025-3-31 23:11 作者: FLEET 時(shí)間: 2025-4-1 04:32
A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specificationshave developed, gathers information from both low and high abstraction levels and evaluates the user interactions. The behaviour and results of this tool are shown. We also present how the tool has been applied to Map, a real application used for presenting maps.作者: 激怒某人 時(shí)間: 2025-4-1 09:05
