標(biāo)題: Titlebook: Design, Specification and Verification of Interactive Systems ’98; Proceedings of the E Panos Markopoulos,Peter Johnson Conference proceedi [打印本頁] 作者: 類屬 時間: 2025-3-21 16:23
書目名稱Design, Specification and Verification of Interactive Systems ’98影響因子(影響力)
書目名稱Design, Specification and Verification of Interactive Systems ’98影響因子(影響力)學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’98網(wǎng)絡(luò)公開度
書目名稱Design, Specification and Verification of Interactive Systems ’98網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’98被引頻次
書目名稱Design, Specification and Verification of Interactive Systems ’98被引頻次學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’98年度引用
書目名稱Design, Specification and Verification of Interactive Systems ’98年度引用學(xué)科排名
書目名稱Design, Specification and Verification of Interactive Systems ’98讀者反饋
書目名稱Design, Specification and Verification of Interactive Systems ’98讀者反饋學(xué)科排名
作者: decipher 時間: 2025-3-21 22:32 作者: 叢林 時間: 2025-3-22 00:34
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-作者: 脆弱帶來 時間: 2025-3-22 07:31 作者: flammable 時間: 2025-3-22 11:33 作者: 文藝 時間: 2025-3-22 13:26
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作者: 文藝 時間: 2025-3-22 20:11
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作者: 露天歷史劇 時間: 2025-3-22 23:34
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 時間: 2025-3-23 02:54
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作者: 同來核對 時間: 2025-3-23 07:43 作者: 側(cè)面左右 時間: 2025-3-23 13:16
Integrating rendering specifications into a formalism for the design of interactive systemsls with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the basics of the ICO formalism, which is used for the for作者: 平項山 時間: 2025-3-23 14:18
Practical Dialogue Refinementl[1, 17]. Inherent in this view is a shift in the nature of the behavior being modeled. We explore the manifestations of such a shift by critically analyzing properties of the forms used to represent task and interaction models. The analysis enabled us to uncover four obstacles to dialogue refinemen作者: RADE 時間: 2025-3-23 21:28
Which widgets? Deriving implementations from formal user-interface specificationsrms of “widgets” (common interactors). A set of patterns is provided for transforming user-interface specifications. By defining a user-interface design using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks 作者: 極微小 時間: 2025-3-23 22:11
A framework for generating spatial configurations in user interfacestations are often complex and their construction requires in-depth design knowledge. A framework is proposed that includes declarative models and inference mechanisms, aimed to significantly reduce the demands on the interface developer. Models of application characteristics form the input for a gen作者: 冒號 時間: 2025-3-24 04:15
Using Model Checking for the Automatic Validation of User Interfaces Systems an approach to include such formal operations in the design process. It explains why the UIS can be modelled properly by a dataflow system, how this model can be expressed by using equations of flows in the language Lustre and how techniques of model checking can be used to check properties on it a作者: 紡織品 時間: 2025-3-24 09:29 作者: 信徒 時間: 2025-3-24 12:13
Integrating Joint Behaviour and Dialogue Descriptionms. The manner in which interaction between these agents is specified is of fundamental importance, and must pay heed to expressivity and reuse concerns. There are also concerns specific to interactive systems, and in particular the need to specify and reason about user-system dialogue. We have show作者: 漂浮 時間: 2025-3-24 18:38
Design, Specification and Verification of Interactive Systems ’98Proceedings of the E作者: chemical-peel 時間: 2025-3-24 22:34
Panos Markopoulos,Peter JohnsonState of the art in this field作者: 別名 時間: 2025-3-25 01:19
Eurographicshttp://image.papertrans.cn/d/image/268828.jpg作者: 冬眠 時間: 2025-3-25 05:38
Miscellaneous Foods and Food Componentsof interpersonal communication and the management, analysis and synthesis of massive amounts of information. When one considers the Macintosh and the impact it has had on computing it is important to understand that it was fundamentally not a computing engine but a communications device. The medium 作者: insurrection 時間: 2025-3-25 10:07
Bioactive Polyphenols and Carotenoidsce of social context as a salient factor in the design and use of information technology poses problems for the activity of modelling in design. By highlighting the informal, tacit, contingent, and relational aspects of technology use, it raises issues which test the technical scope and practical va作者: 抗原 時間: 2025-3-25 14:21 作者: 生命 時間: 2025-3-25 17:56
Aging and Neurodegeneration: A Prefaceesign of user interfaces, and 3) our proposed ontology for task analysis. We then show our task analysis tool that is based on the ontology. It is our belief that task models should be based on an ontology that describes the relevant concepts and the relationships between them, independently of any 作者: Anguish 時間: 2025-3-25 22:26 作者: Anticonvulsants 時間: 2025-3-26 01:19 作者: 松果 時間: 2025-3-26 06:29 作者: 范圍廣 時間: 2025-3-26 12:05 作者: 情感脆弱 時間: 2025-3-26 14:18 作者: 膽大 時間: 2025-3-26 20:49 作者: 節(jié)約 時間: 2025-3-26 22:20 作者: cluster 時間: 2025-3-27 01:35 作者: 占卜者 時間: 2025-3-27 08:16
Functional Histoanatomy of the Human Larynxrms of “widgets” (common interactors). A set of patterns is provided for transforming user-interface specifications. By defining a user-interface design using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks 作者: 妨礙 時間: 2025-3-27 12:45 作者: 確認 時間: 2025-3-27 15:25
The Strong Degree and the FI-Degree an approach to include such formal operations in the design process. It explains why the UIS can be modelled properly by a dataflow system, how this model can be expressed by using equations of flows in the language Lustre and how techniques of model checking can be used to check properties on it a作者: 煉油廠 時間: 2025-3-27 18:08 作者: Petechiae 時間: 2025-3-27 23:22
Amel Karoui,Mostafa Bendahmane,Nejib Zemzemims. The manner in which interaction between these agents is specified is of fundamental importance, and must pay heed to expressivity and reuse concerns. There are also concerns specific to interactive systems, and in particular the need to specify and reason about user-system dialogue. We have show作者: 銀版照相 時間: 2025-3-28 06:03
Design, Specification and Verification of Interactive Systems ’98978-3-7091-3693-5Series ISSN 0946-2767 作者: 萬神殿 時間: 2025-3-28 09:52
https://doi.org/10.1007/978-3-7091-3693-5Computergrafik; Design; Interaktive Systeme; Modelierung; computer graphics; design; interactive systems; m作者: GLEAN 時間: 2025-3-28 14:17 作者: Debility 時間: 2025-3-28 18:09 作者: 廣口瓶 時間: 2025-3-28 19:13
Further Applications to Lie AlgebrasWe present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL.作者: esoteric 時間: 2025-3-29 02:22
Deriving Business Object Definitions from User Work Process ModelsWhen software is developed to support user work processes (WPs) it’s purpose is to improve their quality by making them faster, cheaper, more accurate, reducing variance, etc. But across industry this purpose has not yet been met in any conspicuous manner for information workers [4].作者: limber 時間: 2025-3-29 03:18 作者: predict 時間: 2025-3-29 07:21
The viability of modelling socially organised activityghlighting the informal, tacit, contingent, and relational aspects of technology use, it raises issues which test the technical scope and practical value of model making. In this paper, attempts to use activity-based insights in design are reviewed and their implications for the relationship between model and activity are considered.作者: 無法治愈 時間: 2025-3-29 13:49
An Ontology for Task World Models belief that task models should be based on an ontology that describes the relevant concepts and the relationships between them, independently of any used graphical representations. Such an ontology helps to understand the different task modeling methods and it can also be operationalized for use in tools.作者: enfeeble 時間: 2025-3-29 18:49
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Controluseful for describing complex cooperative applications can be clearly specified. An example of application to describe En-Route Air Traffic Control (ATC) is given to illustrate and clarify our approach.作者: 規(guī)范要多 時間: 2025-3-29 20:08
Validating semi-formal specifications of interactors as design representationsorts a case study which assesses the relevance of the representation to the designer who is interested in the usability of a system. The paper discusses this case study and its findings, and discusses some methodological concerns about the validation of design representations of interactive systems.作者: FAST 時間: 2025-3-30 00:37 作者: 溫和女孩 時間: 2025-3-30 06:02
Which widgets? Deriving implementations from formal user-interface specificationsgn using widgets, determining the user-interface’s presentation is simplified. Such transformation corresponds to redefinition of abstract user tasks at a more concrete level. We illustrate the process by reference to a simple file browser user-interface.作者: generic 時間: 2025-3-30 11:05 作者: 專心 時間: 2025-3-30 12:34
Conference proceedings 1998ing approaches used for the design of interactive systems.The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.作者: Inelasticity 時間: 2025-3-30 17:12 作者: 繁榮中國 時間: 2025-3-31 00:05
Michael Kaufmann,Claudia Klingermal specification of the application. We then present a case study illustrating how various categories of rendering are taken into account in the ICO formalism. Lastly, we show how mathematical analysis can be performed on the ICO models to verify predictability properties of the interactive system.作者: Catheter 時間: 2025-3-31 03:47 作者: 嬉耍 時間: 2025-3-31 07:16
Histoanatomy of the Human Glottiseration system which is parameterised by the interface developer. The inferred layout is produced both as a declarative model and executable code, which, integrated with the rest of the application, produces the presentation at application runtime.作者: 軟弱 時間: 2025-3-31 11:05
Functional Identities in (Semi)prime Ringsations established and changed during recognition. We discuss how reasoning about these models can support the design of composite gesture recognisers and provide consistency checking and design critique.作者: 放逐 時間: 2025-3-31 17:11
Conference proceedings 1998an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems.The papers in this volume discuss a range of modelling approaches, the representations they 作者: 最高點 時間: 2025-3-31 21:34 作者: Ibd810 時間: 2025-3-31 22:42 作者: cauda-equina 時間: 2025-4-1 02:21 作者: 受人支配 時間: 2025-4-1 07:15
Bioactive Polyphenols and Carotenoidsghlighting the informal, tacit, contingent, and relational aspects of technology use, it raises issues which test the technical scope and practical value of model making. In this paper, attempts to use activity-based insights in design are reviewed and their implications for the relationship between model and activity are considered.
