-
1
-
-
57249096285
-
Survey on user interface programming
-
Striking a Balance. Monterey, May 1992, New York: ACM Press
-
B.A. Myers, M.B. Rosson: Survey on User Interface Programming. In Striking a Balance. Proceedings CHI'92. Monterey, May 1992, New York: ACM Press, 1992, 195-202.
-
(1992)
Proceedings CHI'92
, pp. 195-202
-
-
Myers, B.A.1
Rosson, M.B.2
-
3
-
-
0022038089
-
Designing for usability - Key principles and what designers think
-
J. Gould, C. Lewis: Designing for Usability - Key Principles and What Designers Think. Commun. ACM, Vol 28, 1985, pp.300-311.
-
(1985)
Commun. ACM
, vol.28
, pp. 300-311
-
-
Gould, J.1
Lewis, C.2
-
4
-
-
0020160380
-
The inevitable intertwining of specification and implementation
-
Jul
-
W. Swartout, R. Blazaer: The Inevitable Intertwining of Specification and Implementation. Commun ACM, Vol 25, No. 7, Jul 1982, pp.438-440.
-
(1982)
Commun ACM
, vol.25
, Issue.7
, pp. 438-440
-
-
Swartout, W.1
Blazaer, R.2
-
6
-
-
0004104806
-
-
SPUPV-98.4011. Edited by the Technical University of Valencia, Spain
-
P. Letelier, I. Ramos, P. Sanchez, O. Pastor. OASIS versión 3.0: A Formal Approach for Object Oriented Conceptual Modelling. SPUPV-98.4011. Edited by the Technical University of Valencia, Spain, 1998.
-
(1998)
OASIS versión 3.0: A Formal Approach for Object Oriented Conceptual Modelling
-
-
Letelier, P.1
Ramos, I.2
Sanchez, P.3
Pastor, O.4
-
7
-
-
84897004334
-
OO-method: An OO software production environment combining conventional and formal methods
-
Barcelona, Catalonia, Spain, June 16-20
-
th. International Conference, CAiSE'97. Barcelona, Catalonia, Spain, June 16-20, 1997.
-
(1997)
th. International Conference, CAiSE'97
-
-
Pastor, O.1
Insfran, E.2
Pelechano, V.3
Romero, J.4
Meseguer, J.5
-
8
-
-
0031365290
-
Application of an object-oriented methodology for automatic software production: OO-method
-
Victoria, Canadá. 20-22 de Agosto
-
M.D. Lozano, I. Ramos, P. Cuenca. "Application of an Object-Oriented Methodology for Automatic Software Production: OO-Method". Proceedings of IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM'97). Pags. 985 - 989. Victoria, Canadá. 20-22 de Agosto, 1997.
-
(1997)
Proceedings of IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM'97)
, pp. 985-989
-
-
Lozano, M.D.1
Ramos, I.2
Cuenca, P.3
-
10
-
-
0002013572
-
History, results and bibliography of the User Interface Design Environment (UIDE), an early model-based system for user interface design and implementation
-
F. Paterno (ed.). Berlín: Springer
-
J. Foley, P. Sukaviriya: History, Results and Bibliography of the User Interface Design Environment (UIDE), an Early Model-based System for User Interface Design and Implementation. In F. Paterno (ed.): Interactive Systems: Design, Specification and Verification. Berlín: Springer, 1995, 3-14.
-
(1995)
Interactive Systems: Design, Specification and Verification
, pp. 3-14
-
-
Foley, J.1
Sukaviriya, P.2
-
11
-
-
0027867456
-
Beyond interface builders: Model-based interface tools
-
Bridges between Worlds. Amsterdam, April 1993. New York: ACM Press
-
P. Szekely et al: Beyond Interface Builders: Model-Based Interface Tools. In: Bridges between Worlds. Proceedings InterCHI'93 (Amsterdam, April 1993). New York: ACM Press, 1993, 383-390.
-
(1993)
Proceedings Inter CHI'93
, pp. 383-390
-
-
Szekely, P.1
-
12
-
-
0002888609
-
The mecano project: Comprehensive and integrated support for model-based interface development
-
Namur: Namur University Press
-
A. Puerta: The Mecano Project: Comprehensive and Integrated Support for Model-Based Interface Development. In: Computer-Aided Design of User Interfaces. Namur: Namur University Press, 1996, 19-36.
-
(1996)
Computer-Aided Design of User Interfaces
, pp. 19-36
-
-
Puerta, A.1
-
13
-
-
84976836293
-
Knowledgeable development environments using shared design models
-
Orlando, Enero 1993. New York: ACM Press
-
R. Neches et al.: Knowledgeable Development Environments Using Shared Design Models. In: Proceedings of the 1993 International Workshop on Intelligent User Interfaces (Orlando, Enero 1993). New York: ACM Press, 1993, 63-70.
-
(1993)
Proceedings of the 1993 International Workshop on Intelligent User Interfaces
, pp. 63-70
-
-
Neches, R.1
-
14
-
-
0008525462
-
Declarative interface models for user interface construction tools: The MASTERMIND approach
-
Engineering for Human-Computer Interaction. Yellowstone Park, Agosto 1995. London: Chapman & Hall
-
P. Szekely, et al.: Declarative Interface Models for User Interface Construction Tools: The MASTERMIND Approach. In: Engineering for Human-Computer Interaction. Proceedings of the IFIP Conference on Engineering for Human-Computer Interaction (Yellowstone Park, Agosto 1995). London: Chapman & Hall, 1996, 120-150.
-
(1996)
Proceedings of the IFIP Conference on Engineering for Human-Computer Interaction
, pp. 120-150
-
-
Szekely, P.1
-
15
-
-
0010569560
-
Towards a systematic building of software architectures: Teh TRIDENT methodological guide
-
Wien: Springer
-
F. Bodart et al.: Towards a Systematic Building of Software Architectures: teh TRIDENT Methodological Guide. In: Design, Specification and Verification of Interactive Systems. Wien: Springer, 1995, 262-278.
-
(1995)
Design, Specification and Verification of Interactive Systems
, pp. 262-278
-
-
Bodart, F.1
-
16
-
-
0002424255
-
The FUSE system: An integrated user interface design environment
-
Namur: Namur University Press
-
F. Lonczewski: The FUSE System: An Integrated User Interface Design Environment. In: Computer-Aided Design of User Interfaces. Namur: Namur University Press, 1996, 37-56.
-
(1996)
Computer-Aided Design of User Interfaces
, pp. 37-56
-
-
Lonczewski, F.1
-
17
-
-
0010607864
-
The JANUS application development environment generating more than the user interface
-
Namur: Namur University Press
-
H. Balzert et al.: The JANUS application Development Environment Generating More than the User Interface. In: Computer-Aided Design of User Interfaces. Namur: Namur University Press, 1996, 183-205.
-
(1996)
Computer-Aided Design of User Interfaces
, pp. 183-205
-
-
Balzert, H.1
-
18
-
-
0033327636
-
An object oriented approach for the specification of user interfaces
-
Victoria -Canadá- Agosto
-
M. Lozano, I. Ramos: An Object Oriented Approach for the Specification of User Interfaces. PACRIM'99, Victoria -Canadá- Agosto, 1999.
-
(1999)
PACRIM'99
-
-
Lozano, M.1
Ramos, I.2
-
19
-
-
85069240755
-
Integration of the user model and human factors in an object oriented software production environment
-
Lisboa -Portugal-, Junio
-
M. Lozano, I. Ramos: Integration of the User Model and Human Factors in an Object Oriented Software Production Environment. ECOOP'99, Lisboa -Portugal-, Junio, 1999.
-
(1999)
ECOOP'99
-
-
Lozano, M.1
Ramos, I.2
-
21
-
-
0010537701
-
From CASE to CARE (computer-aided requirements engineering) conceptual modeling - ER'99
-
Springer-Verlag, ISBN: 3-540-66686-9; ISSN: 0302-9743, Paris
-
Pastor,O.;Canós,J.H.; Ramos,I. From CASE to CARE (Computer-Aided Requirements Engineering) Conceptual Modeling - ER'99. Lecture Notes in Computer Science (1728), págs: 278-293, Springer-Verlag, 1999, ISBN: 3-540-66686-9; ISSN: 0302-9743, Paris.
-
(1999)
Lecture Notes in Computer Science
, vol.1728
, pp. 278-293
-
-
Pastor, O.1
Canós, J.H.2
Ramos, I.3
-
22
-
-
35248816439
-
Animating formal specifications with inheritance in a DL-based framework
-
Springer-Verlag, March
-
P. Sánchez, P. Letelier, I. Ramos. Animating formal specifications with Inheritance in a DL-based framework. Requirements Engineering Journal, Springer-Verlag, vol.4 num.4, March, 2000.
-
(2000)
Requirements Engineering Journal
, vol.4
, Issue.4
-
-
Sánchez, P.1
Letelier, P.2
Ramos, I.3
-
23
-
-
84867440958
-
Prototyping a requirements specification through an automatically generated concurrent logic program
-
Proceedings of First International Workshop on Practical Aspects of Declarative Languages (PADL'99), Gopal Gupta (Ed.), ISSN 0302-9743, ISBN 3-540-65527-1, Springer-Verlag, Texas, USA, Enero
-
P. Letelier, P. Sánchez, I. Ramos. "Prototyping a requirements specification through an automatically generated concurrent logic program". Proceedings of First International Workshop on Practical Aspects of Declarative Languages (PADL'99), Gopal Gupta (Ed.), LCNS 1551, pp.31-45, ISSN 0302-9743, ISBN 3-540-65527-1, Springer-Verlag, Texas, USA, Enero 1999.
-
(1999)
LCNS
, vol.1551
, pp. 31-45
-
-
Letelier, P.1
Sánchez, P.2
Ramos, I.3
|