-
1
-
-
0023544236
-
Introduction to the ISO specification language LOTOS
-
T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS," Computer Network ISDN Systems, vol. 14, no. 1, pp. 25-59, 1987.
-
(1987)
Computer Network ISDN Systems
, vol.14
, Issue.1
, pp. 25-59
-
-
Bolognesi, T.1
Brinksma, E.2
-
2
-
-
84869456700
-
Specification and simulation of task models with VTMB
-
M. Biere, B. Bomsdorf, and G. Szwillus, "Specification and Simulation of Task Models with VTMB," Proc. Computer-Human Interaction Conf. (CHI '99), pp. 1-2, 1999.
-
(1999)
Proc. Computer-Human Interaction Conf. (CHI '99)
, pp. 1-2
-
-
Biere, M.1
Bomsdorf, B.2
Szwillus, G.3
-
3
-
-
0033723589
-
A comparison of tools for building GOMS models
-
L. Baumeister, B. John, and M. Byrne, "A Comparison of Tools for Building GOMS Models," Proc. Computer-Human interaction Conf. (CHI '00), pp. 502-509, 2000.
-
(2000)
Proc. Computer-Human interaction Conf. (CHI '00)
, pp. 502-509
-
-
Baumeister, L.1
John, B.2
Byrne, M.3
-
4
-
-
0012066029
-
The teallach tool: Using models for flexible user interface design
-
P. Barclay, T. Griffiths, J. McKirfy, N. Paton, R. Cooper, and J. Kennedy, "The Teallach Tool: Using Models for Flexible User Interface Design," Proc. Int'l Conf. Computer-Aided Design of User Interfaces (CADUI '99), pp. 139-158, 1999.
-
(1999)
Proc. Int'l Conf. Computer-Aided Design of User Interfaces (CADUI '99)
, pp. 139-158
-
-
Barclay, P.1
Griffiths, T.2
McKirfy, J.3
Paton, N.4
Cooper, R.5
Kennedy, J.6
-
5
-
-
0012033937
-
A model-based approach to presentation: A continuum from task analysis to prototype
-
F. Bodart, A. Hennerbert, J. Leheureux, and J. Vanderdonckt, "A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype," Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '94), pp. 77-94, 1994.
-
(1994)
Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '94)
, pp. 77-94
-
-
Bodart, F.1
Hennerbert, A.2
Leheureux, J.3
Vanderdonckt, J.4
-
6
-
-
0001661306
-
A visual and formal glue between application and interaction
-
R. Bastide and P. Palanque, "A Visual and Formal Glue between Application and Interaction," Int'l J. Visual Language and Computing, vol. 10, no. 6, pp. 481-507, 1999.
-
(1999)
Int'l J. Visual Language and Computing
, vol.10
, Issue.6
, pp. 481-507
-
-
Bastide, R.1
Palanque, P.2
-
10
-
-
0030677590
-
From single-user architectural design to PAC*: A generic software architectural model for CSCW
-
G. Calvary, J. Coutaz, and L. Nigay, "From Single-User Architectural Design to PAC*: A Generic Software Architectural Model for CSCW," Proc. Computer-Human Interaction Conf. (CHI '97), pp. 242-249, 1997.
-
(1997)
Proc. Computer-Human Interaction Conf. (CHI '97)
, pp. 242-249
-
-
Calvary, G.1
Coutaz, J.2
Nigay, L.3
-
11
-
-
1942506175
-
A unifying reference framework for the development of plastic user interfaces
-
G. Calvary, J. Coutaz, and D. Thevenin, "A Unifying Reference Framework for the Development of Plastic User Interfaces," Proc. Eng. Human-Computer Interaction Conf. (HCI '01), pp. 218-238, 2001.
-
(2001)
Proc. Eng. Human-Computer Interaction Conf. (HCI '01)
, pp. 218-238
-
-
Calvary, G.1
Coutaz, J.2
Thevenin, D.3
-
12
-
-
85016958713
-
A conceptual model of groupware
-
R. Furuta and C. Neuwirth, eds.
-
C. Ellis and J. Wainer, "A Conceptual Model of Groupware," Proc. ACM Conf. Computer Supported Cooperative Work (CSCW'94), R. Furuta and C. Neuwirth, eds., pp. 79-88, 1994.
-
(1994)
Proc. ACM Conf. Computer Supported Cooperative Work (CSCW'94)
, pp. 79-88
-
-
Ellis, C.1
Wainer, J.2
-
13
-
-
0002013572
-
History, results, and bibliography of the user interface design environment (UIDE), an early model-based system for user interface design and development
-
F. Paterno ed.
-
J. Foley and N. Sukaviriya, "History, Results, and Bibliography of the User Interface Design Environment (UIDE), an Early Model-Based System for User Interface Design and Development," Interactive Systems: Design, Specification, Verification, F. Paterno ed., pp. 3-14, 1994.
-
(1994)
Interactive Systems: Design, Specification, Verification
, pp. 3-14
-
-
Foley, J.1
Sukaviriya, N.2
-
14
-
-
84957379824
-
CADP (CAESAR/ALDEBARAN development package): A protocol validation and verification toolbox
-
J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu, "CADP (CAESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox," Proc. Eighth Conf. Computer-Aided Verification, pp. 437-440, 1996.
-
(1996)
Proc. Eighth Conf. Computer-Aided Verification
, pp. 437-440
-
-
Fernandez, J.1
Garavel, H.2
Kerbrat, A.3
Mateescu, R.4
Mounier, L.5
Sighireanu, M.6
-
16
-
-
0030167097
-
Usability analysis of visual programming environments: A 'cognitive dimensions' framework
-
June
-
T. Green and M. Petre, "Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework," J. Visual Languages and Computing, vol. 7, no. 2, pp. 131-174, June 1996.
-
(1996)
J. Visual Languages and Computing
, vol.7
, Issue.2
, pp. 131-174
-
-
Green, T.1
Petre, M.2
-
17
-
-
0026711795
-
Temporal aspects of tasks in the user action notation
-
R. Hartson and P. Gray, "Temporal Aspects of Tasks in the User Action Notation," Human Computer Interaction, vol. 7, pp. 1-45, 1992.
-
(1992)
Human Computer Interaction
, vol.7
, pp. 1-45
-
-
Hartson, R.1
Gray, P.2
-
18
-
-
0033892694
-
Intent specifications: An approach to building human-centered specification
-
Jan.
-
N. Leveson, "Intent Specifications: An Approach to Building Human-Centered Specification," IEEE Trans. Software Eng., vol. 28, no. 1, pp. 15-35, Jan. 2000.
-
(2000)
IEEE Trans. Software Eng.
, vol.28
, Issue.1
, pp. 15-35
-
-
Leveson, N.1
-
19
-
-
0012033939
-
Towards derivation of presentation and dialogue from models: Preliminary results
-
Q. Limbourg, B. Ait El Hadj, J. Vanderdonckt, G. Keymolen, and E. Mbaki, "Towards Derivation of Presentation and Dialogue from Models: Preliminary Results," Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '00), pp. 227-248, 2000.
-
(2000)
Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '00)
, pp. 227-248
-
-
Limbourg, Q.1
El Hadj, B.A.2
Vanderdonckt, J.3
Keymolen, G.4
Mbaki, E.5
-
20
-
-
0032178696
-
Automatic support for usability evaluation
-
Oct.
-
A. Lecerof and F. Paternò, "Automatic Support for Usability Evaluation," IEEE Trans. Software Eng., vol. 26, no. 10, pp. 863-888, Oct. 1998.
-
(1998)
IEEE Trans. Software Eng.
, vol.26
, Issue.10
, pp. 863-888
-
-
Lecerof, A.1
Paternò, F.2
-
21
-
-
33646816724
-
Towards a UML profile for user interface development: The wisdom approach
-
N. Numes and J. Falcao, "Towards a UML Profile for User Interface Development: The Wisdom Approach," Proc. Unified Modeling Language Conf. (UML '00), pp. 50-58, 2000.
-
(2000)
Proc. Unified Modeling Language Conf. (UML '00)
, pp. 50-58
-
-
Numes, N.1
Falcao, J.2
-
24
-
-
0344541714
-
Designing usable hypermedia
-
F. Paternò and C. Mancini, "Designing Usable Hypermedia," Empirical Software Eng., vol. 4, no. 1, pp. 11-42, 1999.
-
(1999)
Empirical Software Eng.
, vol.4
, Issue.1
, pp. 11-42
-
-
Paternò, F.1
Mancini, C.2
-
25
-
-
0032683019
-
MOBILE: User-centred interface building
-
A. Puerta, E. Cheng, T. Ou, and J. Min, "MOBILE: User-Centred Interface Building," Proc. Computer-Human Interaction (CHI '99), pp. 426-433, 1999.
-
(1999)
Proc. Computer-Human Interaction (CHI '99)
, pp. 426-433
-
-
Puerta, A.1
Cheng, E.2
Ou, T.3
Min, J.4
-
26
-
-
0033656189
-
Using information in task models to support design of interactive safety-critical applications
-
May
-
F. Paternò, C. Santoro, and V. Sabbatino, "Using Information in Task Models to Support Design of Interactive Safety-Critical Applications," Proc. Advanced Visual Interfaces Int'l Working Conf. (AVI '00), pp. 120-127, May 2000.
-
(2000)
Proc. Advanced Visual Interfaces Int'l Working Conf. (AVI '00)
, pp. 120-127
-
-
Paternò, F.1
Santoro, C.2
Sabbatino, V.3
-
27
-
-
0002593662
-
Building real-time groupware with groupkit, A gropware toolkit
-
Mar.
-
M. Roseman and S. Greenberg, "Building Real-Time Groupware with GroupKit, A Gropware Toolkit," ACM Trans. Computer-Human Interaction, vol. 3, no. 1, pp. 66-106, Mar. 1996.
-
(1996)
ACM Trans. Computer-Human Interaction
, vol.3
, Issue.1
, pp. 66-106
-
-
Roseman, M.1
Greenberg, S.2
-
29
-
-
0031212107
-
Task-related information analysis
-
A. Sutcliffe, "Task-Related Information Analysis," Int'l J. Human-Computer Studies, vol. 47, pp. 223-257, 1997.
-
(1997)
Int'l J. Human-Computer Studies
, vol.47
, pp. 223-257
-
-
Sutcliffe, A.1
-
30
-
-
0027867456
-
Beyond interface builders: Model-based interface tools
-
P. Szekely, P. Luo, and R. Neches, "Beyond Interface Builders: Model-Based Interface Tools," Proc. Conf. Human Factors and Computing Systems (INTERCHI '93), pp. 383-390, 1993.
-
(1993)
Proc. Conf. Human Factors and Computing Systems (INTERCHI '93)
, pp. 383-390
-
-
Szekely, P.1
Luo, P.2
Neches, R.3
-
31
-
-
0000726835
-
GTA: Groupware task analysis-modeling complexity
-
G. van der Veer, B. Lenting, and B. Bergevoet, "GTA: Groupware Task Analysis-Modeling Complexity," Acta Psychologica, vol. 91, pp. 297-322, 1996.
-
(1996)
Acta Psychologica
, vol.91
, pp. 297-322
-
-
Van der Veer, G.1
Lenting, B.2
Bergevoet, B.3
-
32
-
-
29144513857
-
An ontology for task world models
-
M. van Welie, G.C. van der Veer, and A. Eliëns, "An Ontology for Task World Models," Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '98), pp. 57-70, 1998.
-
(1998)
Proc. Int'l Eurographics Workshop Design, Specification, and Verification of Interactive Systems (DSV-IS '98)
, pp. 57-70
-
-
Van Welie, M.1
Van der Veer, G.C.2
Eliëns, A.3
-
33
-
-
1542553388
-
Beyond hacking: A model-based approach to user interface design
-
S. Wilson, P. Johnson, C. Kelly, J. Cunningham, and P. Markopoulos, "Beyond Hacking: A Model-Based Approach to User Interface Design," Proc. Eng. Human-Computer Interaction Conf. (HCI '93), pp. 40-48, 1993.
-
(1993)
Proc. Eng. Human-Computer Interaction Conf. (HCI '93)
, pp. 40-48
-
-
Wilson, S.1
Johnson, P.2
Kelly, C.3
Cunningham, J.4
Markopoulos, P.5
|