作者: EWE 時(shí)間: 2025-3-21 21:52
Engineering Interactive Systems978-3-540-92698-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: artifice 時(shí)間: 2025-3-22 04:04
https://doi.org/10.1007/978-3-540-92698-6HCI models; adaptation; agile modeling; cognitive architecture; corporate software development; design; de作者: 現(xiàn)任者 時(shí)間: 2025-3-22 04:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/310839.jpg作者: 砍伐 時(shí)間: 2025-3-22 12:28
Ricardo Gottschalk,Cecilia Azevedo Sodréent a system based on mobile agents that transparently adapts user interface specifications to the user device’ capabilities and monitors user interaction. Specialized agents manage GUI specification according to the specific context and user preferences. We show how the user behavior can be monitor作者: 膠水 時(shí)間: 2025-3-22 15:15 作者: 膠水 時(shí)間: 2025-3-22 17:20
Scoring Models for Retail Exposures,ly dedicated to synchronous software specified using the Lustre language. The behaviour of synchronous systems, consisting of cycles starting by reading an external input and ending by issuing an output, is to a certain extent similar to the one of interactive systems. Under this hypothesis, the pap作者: –吃 時(shí)間: 2025-3-22 21:30 作者: 1分開 時(shí)間: 2025-3-23 05:20
Principles of Frame Constructionsign. In this paper, we motivate the need for an integrated development methodology in order to narrow the conceptual gap between software engineering and user interface design. This methodology rests upon a common semantic framework for developing and handling use cases and task models. Based on th作者: 投票 時(shí)間: 2025-3-23 07:40 作者: 一回合 時(shí)間: 2025-3-23 13:21 作者: 果仁 時(shí)間: 2025-3-23 15:31 作者: Conquest 時(shí)間: 2025-3-23 19:12
Logical-and Structural-Based Calculations,onal aspect of UI adaptation, while neglecting the usability dimension. This paper investigates how the notion of mapping as promoted by Model Driven Engineering (MDE), can be exploited to control UI adaptation according to explicit usability criteria. In our approach, a run-time UI is a graph of mo作者: KEGEL 時(shí)間: 2025-3-24 01:55
The Major Processes in the Biological World,lders demands modeling methods that everybody can understand and apply. But when using traditional, paper-based methods to gather and document requirements, an IT organization often experiences frustrating communication issues between the business and development teams. We present ways of implementi作者: largesse 時(shí)間: 2025-3-24 02:22
Selection on Several Characters, activity diagrams as part of UML is proposed. By using familiar notations, software engineers might be encouraged to accept task modelling and to pay more attention to users and their tasks. Generally, different presentations of a model can help to increase its acceptance by various stakeholders. T作者: 壕溝 時(shí)間: 2025-3-24 10:31
Patrick Homan,Jeffrey S. Lantisuse of automated reasoning techniques such as model checking [5] on increasingly complex systems. In the case of interactive systems, formal methods can be particularly useful in reasoning about systems that involve complex interactions. These techniques for the analysis of interactive systems typic作者: novelty 時(shí)間: 2025-3-24 14:33 作者: Grasping 時(shí)間: 2025-3-24 16:09 作者: 矛盾心理 時(shí)間: 2025-3-24 21:28
https://doi.org/10.1057/9780230118331s that create a required experience for users. The paper explores a particular class of such systems for built environments. In particular it is concerned with the capture of experience requirements and production of prototypes that create experience. The aim is to develop methods and tools for such作者: Mortal 時(shí)間: 2025-3-25 02:39 作者: geriatrician 時(shí)間: 2025-3-25 06:08 作者: 讓你明白 時(shí)間: 2025-3-25 10:37 作者: 的是兄弟 時(shí)間: 2025-3-25 14:13 作者: 1分開 時(shí)間: 2025-3-25 16:19
Performance Analysis of an Adaptive User Interface System Based on Mobile Agents,ed at run-time in a transparent way and how learning methods are applied to anticipate future user actions and to adapt the user interface accordingly. The feasibility and performance of our approach are shown by applying our approach to a non-trivial application and by performing tests with real users.作者: Implicit 時(shí)間: 2025-3-25 21:33
Formal Testing of Multimodal Interactive Systems,er presents our method for automatically testing interactive multimodal systems using the Lutess environment. In particular, we show that automatic test data generation based on different strategies can be carried out. Furthermore, we show how multimodality-related properties can be specified in Lustre and integrated in test oracles.作者: 持久 時(shí)間: 2025-3-26 00:44 作者: 六邊形 時(shí)間: 2025-3-26 04:23 作者: 哪有黃油 時(shí)間: 2025-3-26 10:31
Model-Driven Prototyping for Corporate Software Specification,ng model-driven prototyping for corporate software development. Without harming agile principles and practice, detailed prototypes can be employed for collaborative design. Model-driven prototyping beats a new path towards visual specifications and the substitution of paper-based artifacts.作者: 出價(jià) 時(shí)間: 2025-3-26 15:47
Getting SW Engineers on Board: Task Modelling with Activity Diagrams,he presented approach allows both the visualization of task models as activity diagrams as well as task modelling with activity diagrams. Corresponding tool support is presented which includes the animation of task models. The tool itself was developed in a model-based way.作者: 褲子 時(shí)間: 2025-3-26 19:10 作者: Herbivorous 時(shí)間: 2025-3-26 22:38 作者: CROAK 時(shí)間: 2025-3-27 01:20
0302-9743 ening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human–computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process. Engineering Interactive Sy作者: Relinquish 時(shí)間: 2025-3-27 08:44
Risk Management of Loans and Guarantees,ike timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis.作者: bromide 時(shí)間: 2025-3-27 13:20
,2012: “Our Journey Is Not Complete”,rfaces for a given platform and build the corresponding logical descriptions, which can then be manipulated to obtain versions adapted to different platforms. In this paper we present a solution to this issue that is able to reverse engineer even interfaces supporting different modalities (graphical and voice).作者: 情愛 時(shí)間: 2025-3-27 14:05 作者: prolate 時(shí)間: 2025-3-27 19:20 作者: 圍裙 時(shí)間: 2025-3-28 00:25
Ricardo Gottschalk,Cecilia Azevedo Sodréed at run-time in a transparent way and how learning methods are applied to anticipate future user actions and to adapt the user interface accordingly. The feasibility and performance of our approach are shown by applying our approach to a non-trivial application and by performing tests with real users.作者: 觀察 時(shí)間: 2025-3-28 04:09
Scoring Models for Retail Exposures,er presents our method for automatically testing interactive multimodal systems using the Lutess environment. In particular, we show that automatic test data generation based on different strategies can be carried out. Furthermore, we show how multimodality-related properties can be specified in Lustre and integrated in test oracles.作者: 小木槌 時(shí)間: 2025-3-28 07:56
Principles of Frame Constructione intrinsic characteristic of both models we define a common formal semantics and provide a formal definition of consistency between task models and use cases. The semantic mapping and the application of the proposed consistency definition are supported by an illustrative example.作者: cornucopia 時(shí)間: 2025-3-28 13:27 作者: AORTA 時(shí)間: 2025-3-28 14:58
The Major Processes in the Biological World,ng model-driven prototyping for corporate software development. Without harming agile principles and practice, detailed prototypes can be employed for collaborative design. Model-driven prototyping beats a new path towards visual specifications and the substitution of paper-based artifacts.作者: intellect 時(shí)間: 2025-3-28 21:55 作者: 褪色 時(shí)間: 2025-3-29 00:11 作者: 表否定 時(shí)間: 2025-3-29 05:09 作者: GENRE 時(shí)間: 2025-3-29 08:45 作者: Obsessed 時(shí)間: 2025-3-29 12:59
Jenna Hoppenworth,Roberto A. Leon-Ferreomissions in existing usability standards. Furthermore, the model serves as a central and structured knowledge base for the entire quality assurance process, e.g. the automatic generation of guideline documents.作者: sacrum 時(shí)間: 2025-3-29 18:36 作者: 有毒 時(shí)間: 2025-3-29 19:58 作者: 基因組 時(shí)間: 2025-3-30 02:46 作者: finale 時(shí)間: 2025-3-30 06:18
Christiane Lemke,Jakob Wiedekind the application is provided. Since the system should allow the extension of existing applications, the meta-information has to be provided in a way that is transparent for the application. The following paper describes a system that realises those features.作者: 多產(chǎn)魚 時(shí)間: 2025-3-30 08:14 作者: 不朽中國 時(shí)間: 2025-3-30 14:38 作者: MOT 時(shí)間: 2025-3-30 16:45 作者: Prophylaxis 時(shí)間: 2025-3-31 00:03
,XSED – XML-Based Description of Status–Event Components and Systems,o presents a implementation to generate Status-Event Components that can run in a stand-alone test environment. They can also be wrapped into a Java Bean to interoperate with other software infrastructure, particularly the ECT platform.作者: flourish 時(shí)間: 2025-3-31 04:30
Integration of Distributed User Input to Extend Interaction Possibilities with Local Applications, the application is provided. Since the system should allow the extension of existing applications, the meta-information has to be provided in a way that is transparent for the application. The following paper describes a system that realises those features.作者: DOSE 時(shí)間: 2025-3-31 08:59
https://doi.org/10.1007/978-981-97-2807-7nd visualisation of personal communication patterns in a mobile context. This paper details the development of the . system, analyses its usefulness and investigates the lessons which can be learned from its implementation in order to guide the future development of such systems.作者: Mercurial 時(shí)間: 2025-3-31 11:47
Spitfire Summer: Museums and Heritage Sites,mple interface modifications carried out by the user. We discuss the design issues involved in the implementation of such an intelligent approach, also reporting on some experimental results obtained from a user test.作者: 反抗者 時(shí)間: 2025-3-31 13:34 作者: A保存的 時(shí)間: 2025-3-31 19:04 作者: 丑惡 時(shí)間: 2025-3-31 22:37 作者: flex336 時(shí)間: 2025-4-1 03:16
Combining Human Error Verification and Timing Analysis,ognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMS-like timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performa
