首页>外文会议>Interactive Systems: Design, Specification, and Verification

Interactive Systems: Design, Specification, and Verification

召开年：2003
召开地：Funchal(PT);Funchal(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Navigation and Registration System for Mobile and Augmented Environments

机译：用于移动和增强环境的导航和注册系统
- 作者：Carlos Santos;Nuno Correia
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
2.A Review of XML-compliant User Interface Description Languages

机译：符合XML的用户界面描述语言回顾
- 作者：Nathalie Souchon;Jean Vanderdonckt
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
3.Addressing Marketing Requirements in User-Interface Design for Multiple Platforms

机译：满足多个平台用户界面设计中的营销需求
- 作者：Lia Patricio;J. Falcao e Cunha;Raymond P. Fisk;Nuno J. Nunes
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
4.An Approach to Develop User Interfaces with Plasticity

机译：一种具有可塑性的开发用户界面的方法
- 作者：Francisco Montero;Victor Lopez-Jaquero;Jose P. Molina;Pascual Gonzalez
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
5.An Empirical Study of Personal Document Spaces

机译：个人文件空间的实证研究
- 作者：Daniel J. Goncalves;Joaquim A. Jorge
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
6.Applying Extended Finite State Machines in Software Testing of Interactive Systems

机译：在交互式系统的软件测试中应用扩展有限状态机
- 作者：Marcelo Fantinato;Mario Jino
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- model based testing;
- functional testing;
- finite state machines;
- testing criteria;
7.Architectures for Widget-Level Plasticity

机译：小部件级可塑性的体系结构
- 作者：Baha Jabarin;T.C. Nicholas Graham
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
8.Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology

机译：缩小差距：使用IDEAS方法开发2D和3D用户界面
- 作者：Jose Pascual Molina;Pascual Gonzalez;M. Dolores Lozano;Francisco Montero;Victor Lopez-Jaquero
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
9.Calligraphic Interfaces: Mixed Metaphors for Design

机译：书法界面：设计的混合隐喻
- 作者：Joao P. Pereira;Joaquim A. Jorge;Vasco A. Branco;F. Nunes Ferreira
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
10.Canonical Abstract Prototypes for Abstract Visual and Interaction Design

机译：用于抽象视觉和交互设计的规范抽象原型
- 作者：Larry L. Constantine
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
11.Contextual Design of a Computer-Supported Film Set: A Case Study

机译：计算机支持电影的情境设计：一个案例研究
- 作者：Christian Maertin;Bernhard Prell
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
12.Derivation of a Dialog Model from a Task Model by Activity Chain Extraction

机译：通过活动链提取从任务模型派生对话模型
- 作者：Kris Luyten;Tim Clerckx;Karin Coninx;Jean Vanderdonckt
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- model-based user interface design;
- task model;
- dialog model;
- ConcurTaskTree;
- state transition networks;
13.Describing Just-UI Concepts Using a Task Notation

机译：使用任务符号描述Just-UI概念
- 作者：Pedro J. Molina;Jorge Belenguer;Oscar Pastor
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
14.Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering

机译：会话交互设计与评估：一种基于符号学工程的建模语言
- 作者：Simone Diniz Junqueira Barbosa;Maira Greco de Paula
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- interaction modeling;
- interaction-as-conversation;
- HCI design models;
- semiotic engineering;
15.Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach

机译：具有交互器和UML状态图的对话框建模-一种混合方法
- 作者：Hallvard Traetteberg
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- user interface model;
- dialog model;
- UML;
- statecharts;
16.Evaluating and Comparing Interaction Styles

机译：评估和比较交互样式
- 作者：Georgios Christou;Robert J.K. Jacob
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
17.Functionally Modeled User Interfaces

机译：功能建模的用户界面
- 作者：Antony Courtney
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- formal methods;
- executable specifications;
- user interface toolkits;
- functional programming;
- data flow;
- constraints;
18.Higher-Order Task Models

机译：高阶任务模型
- 作者：Anke Dittmar;Peter Forbrig
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
19.Identification of Web Usability Problems and Interaction Patterns with the RealE YES-iAnalyzer

机译：使用RealE YES-iAnalyzer识别Web可用性问题和交互模式
- 作者：Karina Oertel;Oliver Hein
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- eye tracking;
- usability test;
- user interface evaluation;
- performance data;
- patterns of interaction;
20.Improving User Interface Usability Using Mobile Agents

机译：使用移动代理提高用户界面可用性
- 作者：Nikola Mitrovic;Eduardo Mena
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
21.ISML: An Interface Specification Meta-language

机译：ISML：接口规范元语言
- 作者：Simon Crowle;Linda Hole
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
22.MIKE: A Multimodal Cinematographic Editor for Virtual Worlds

机译：MIKE：虚拟世界的多模式摄影编辑器
- 作者：Bruno de Araujo;Andre Campos;Joaquim A. Jorge
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
- graphical user interfaces;
- multimodal interaction;
- animation;
- cinematographic camera movement;
23.Model-Based Design of Adaptive User Interfaces through Connectors

机译：通过连接器的基于模型的自适应用户界面设计
- 作者：Victor Lopez-Jaquero;Francisco Montero;Jose P. Molina;Antonio Fernandez-Caballero;Pascual Gonzalez
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
24.Model-Based Design of Speech Interfaces

机译：基于模型的语音接口设计
- 作者：Silvia Berti;Fabio Patemo
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
25.Model-Based Electronic Performance Support

机译：基于模型的电子性能支持
- 作者：Chris Stary;Simone Stoiber
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
26.Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets

机译：多媒体环境和基于工业的数据集的交互式科学表示
- 作者：I. Deliyannis;J. Harvey;M.F. Webster
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
27.Reasoning about Dynamic Information Displays

机译：关于动态信息显示的推理
- 作者：J.C. Campos;G.J. Doherty
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
28.Specification-Based Testing of User Interfaces

机译：基于规范的用户界面测试
- 作者：Ana C.R. Paiva;Joao C.P. Faria;Raul F.A.M. Vidal
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
29.StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications

机译：StateWebCharts：一种专用于Web应用程序导航建模的形式描述技术
- 作者：Marco Winckler;Philippe Palanque
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
30.Usability Design - Extending Rational Unified Process with a New Discipline

机译：可用性设计-用新的学科扩展Rational Unified Process
- 作者：Bengt Goeransson;Magnus Lif;Jan Gulliksen
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
31.Using Task Knowledge to Guide Interactor Specifications Analysis

机译：使用任务知识指导交互器规格分析
- 作者：Jose Creissac Campos
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年
32.Workspaces: A Multi-level Architectural Style for Synchronous Groupware

机译：工作区：同步组件的多级体系结构样式
- 作者：W. Greg Phillips;T.C. Nicholas Graham
- 会议名称：《Interactive Systems: Design, Specification, and Verification》 | 2003年