-
1
-
-
54949101609
-
-
OMG, Unified Modeling Language Specification, Version 2.0, Technical Report, Object Management Group 〈http://www.omg.org/technology/documents/formal/uml.htm〉, 2005.
-
OMG, Unified Modeling Language Specification, Version 2.0, Technical Report, Object Management Group 〈http://www.omg.org/technology/documents/formal/uml.htm〉, 2005.
-
-
-
-
3
-
-
0000525459
-
Cognitive dimensions of notations
-
Cambridge University Press, New York, NY, USA
-
Green T.R.G. Cognitive dimensions of notations. Proceedings of the Fifth Conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and Computers V (1989), Cambridge University Press, New York, NY, USA 443-460
-
(1989)
Proceedings of the Fifth Conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and Computers V
, pp. 443-460
-
-
Green, T.R.G.1
-
4
-
-
84937650551
-
-
Ablex Publishing Corporation, Norwood, NJ
-
Soloway E., and Iyengar S. Empirical Studies of Programmers, Human/Computer Interaction Series vol. 1 (1986), Ablex Publishing Corporation, Norwood, NJ
-
(1986)
Empirical Studies of Programmers, Human/Computer Interaction Series
, vol.1
-
-
Soloway, E.1
Iyengar, S.2
-
6
-
-
85025391817
-
Past, present, and future of user interface software tools
-
Myers B., Hudson S.E., and Pausch R. Past, present, and future of user interface software tools. ACM Transactions on Computer Human Interaction 7 1 (2000) 3-28
-
(2000)
ACM Transactions on Computer Human Interaction
, vol.7
, Issue.1
, pp. 3-28
-
-
Myers, B.1
Hudson, S.E.2
Pausch, R.3
-
8
-
-
0004101993
-
-
Wiley, New York
-
Buschmann F., Meunier R., Rohnert H., Sommerlad P., and Stal M. Pattern-Oriented Software Architecture, A System of Patterns vol. 1 (1996), Wiley, New York
-
(1996)
Pattern-Oriented Software Architecture, A System of Patterns
, vol.1
-
-
Buschmann, F.1
Meunier, R.2
Rohnert, H.3
Sommerlad, P.4
Stal, M.5
-
11
-
-
54949141743
-
-
J. Coutaz, Architecture models for interactive software, in: Proceedings of the 1989 European Conference on Object-Oriented Programming, ECOOP'89, 1989, pp. 383-399.
-
J. Coutaz, Architecture models for interactive software, in: Proceedings of the 1989 European Conference on Object-Oriented Programming, ECOOP'89, 1989, pp. 383-399.
-
-
-
-
12
-
-
54949085380
-
The arch model: Seeheim revisited (version 1.0), The UIMS Tool Developers Workshop, April
-
Bass L., Little R., Pellegrino R., Reed S., Seacord R., and Sheppard S. The arch model: Seeheim revisited (version 1.0), The UIMS Tool Developers Workshop, April. ACM SIGCHI Bulletin 24 1 (1991)
-
(1991)
ACM SIGCHI Bulletin
, vol.24
, Issue.1
-
-
Bass, L.1
Little, R.2
Pellegrino, R.3
Reed, S.4
Seacord, R.5
Sheppard, S.6
-
13
-
-
54949096933
-
-
J. Coutaz, Formal Methods in Human-Computer Interaction, Software Architecture Modelling: Bridging Two Worlds Using Ergonimics and Software Properties, Springer, Berlin, Germany, 1998, pp. 49-73.
-
J. Coutaz, Formal Methods in Human-Computer Interaction, Software Architecture Modelling: Bridging Two Worlds Using Ergonimics and Software Properties, Springer, Berlin, Germany, 1998, pp. 49-73.
-
-
-
-
14
-
-
33745821650
-
Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success
-
ACM Press, New York
-
McCurdy M., Connors C., Pyrzak G., Kanefsky B., and Vera A. Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '06 (2006), ACM Press, New York 1233-1242
-
(2006)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '06
, pp. 1233-1242
-
-
McCurdy, M.1
Connors, C.2
Pyrzak, G.3
Kanefsky, B.4
Vera, A.5
-
16
-
-
85088738587
-
A visual language for sketching large and complex interactive designs
-
ACM Press, NY, USA
-
Lin J., Thomsen M., and Landay J.A. A visual language for sketching large and complex interactive designs. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'02 (2002), ACM Press, NY, USA 307-314
-
(2002)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'02
, pp. 307-314
-
-
Lin, J.1
Thomsen, M.2
Landay, J.A.3
-
17
-
-
85086421095
-
A survey of user-centered design practice
-
ACM Press, NY, USA
-
Vredenburg K., Mao J.-Y., Smith P.W., and Carey T. A survey of user-centered design practice. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'02 (2002), ACM Press, NY, USA 471-478
-
(2002)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI'02
, pp. 471-478
-
-
Vredenburg, K.1
Mao, J.-Y.2
Smith, P.W.3
Carey, T.4
-
18
-
-
38049159019
-
User-centered design methods in practice: a survey of the state of the art
-
IBM Press
-
Mao J.-Y., Vredenburg K., Smith P.W., and Carey T. User-centered design methods in practice: a survey of the state of the art. Proceedings of the 2001 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON '01 (2001), IBM Press 12
-
(2001)
Proceedings of the 2001 Conference of the Centre for Advanced Studies on Collaborative Research, CASCON '01
, pp. 12
-
-
Mao, J.-Y.1
Vredenburg, K.2
Smith, P.W.3
Carey, T.4
-
20
-
-
84949497280
-
User interface declarative models and development environments: a survey
-
Springer, Berlin, Germany
-
Pinheiro da Silva P. User interface declarative models and development environments: a survey. Proceedings of the International Workshop on Interactive Systems: Design, Specification, and Verification, DSV-IS 2000, Lecture Notes in Computer Science vol. 1946 (2000), Springer, Berlin, Germany 207-226
-
(2000)
Proceedings of the International Workshop on Interactive Systems: Design, Specification, and Verification, DSV-IS 2000, Lecture Notes in Computer Science
, vol.1946
, pp. 207-226
-
-
Pinheiro da Silva, P.1
-
22
-
-
33745473408
-
The prospects for psycological science in human-computer interaction
-
Newell A., and Card S. The prospects for psycological science in human-computer interaction. Human-Computer Interaction 1 (1985) 209-242
-
(1985)
Human-Computer Interaction
, vol.1
, pp. 209-242
-
-
Newell, A.1
Card, S.2
-
23
-
-
0036704788
-
-
G. Mori, F. Paternò, C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering (2002) 797-813.
-
G. Mori, F. Paternò, C. Santoro, CTTE: support for developing and analyzing task models for interactive system design, IEEE Transactions on Software Engineering (2002) 797-813.
-
-
-
-
24
-
-
0027843382
-
Generating user interfaces from data models and dialogue net specifications
-
ACM Press, NY, USA
-
Janssen C., Weisbecker A., and Ziegler J. Generating user interfaces from data models and dialogue net specifications. Proceedings of the ACM Conference on Human Factors in Computing Systems, INTERCHI'93 (1993), ACM Press, NY, USA 418-423
-
(1993)
Proceedings of the ACM Conference on Human Factors in Computing Systems, INTERCHI'93
, pp. 418-423
-
-
Janssen, C.1
Weisbecker, A.2
Ziegler, J.3
-
25
-
-
54949098827
-
Architecture elements for highly-interactive business-oriented applications
-
Springer, Berlin, Germany
-
Bodart F., Hennebert A.-M., Leheureux J.-M., Sacré I., and Vanderdonckt J. Architecture elements for highly-interactive business-oriented applications. Selected Papers from the Third International Conference on Human-Computer Interaction, EWHCI '93 (1993), Springer, Berlin, Germany 83-104
-
(1993)
Selected Papers from the Third International Conference on Human-Computer Interaction, EWHCI '93
, pp. 83-104
-
-
Bodart, F.1
Hennebert, A.-M.2
Leheureux, J.-M.3
Sacré, I.4
Vanderdonckt, J.5
-
26
-
-
84879658323
-
Towards a dynamic strategy for computer-aided visual placement
-
ACM Press, NY, USA
-
Bodart F., Hennebert A., Leheureux J., and Vanderdonckt J. Towards a dynamic strategy for computer-aided visual placement. Proceedings of the Second ACM Workshop on Advanced Visual Interfaces, AVI'94 (1994), ACM Press, NY, USA 78-87
-
(1994)
Proceedings of the Second ACM Workshop on Advanced Visual Interfaces, AVI'94
, pp. 78-87
-
-
Bodart, F.1
Hennebert, A.2
Leheureux, J.3
Vanderdonckt, J.4
-
27
-
-
0342713118
-
On the problem of selecting interaction objects
-
Cambridge University Press, Glasgow
-
Bodart F., and Vanderdonckt J. On the problem of selecting interaction objects. Proceedings of the BCS Conference HCI'94 (1994), Cambridge University Press, Glasgow 163-178
-
(1994)
Proceedings of the BCS Conference HCI'94
, pp. 163-178
-
-
Bodart, F.1
Vanderdonckt, J.2
-
29
-
-
54949123407
-
-
N.J. Nunes, Object modeling for user-centered development and user interface design: the WISDOM approach, Ph.D. Thesis, University of Madeira, April 2001.
-
N.J. Nunes, Object modeling for user-centered development and user interface design: the WISDOM approach, Ph.D. Thesis, University of Madeira, April 2001.
-
-
-
-
30
-
-
54949120164
-
-
P. Pinheiro da Silva, Object modelling of interactive systems: the UMLi approach, Ph.D. Thesis, University of Manchester, 2002.
-
P. Pinheiro da Silva, Object modelling of interactive systems: the UMLi approach, Ph.D. Thesis, University of Manchester, 2002.
-
-
-
-
31
-
-
84949496142
-
WISDOM-a UML based architecture for interactive systems
-
Springer, Berlin, Germany
-
Nunes N.J., and Falcao e Cunha J. WISDOM-a UML based architecture for interactive systems. Proceedings of the Seventh International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, Lecture Notes in Computer Science vol. 1946 (2001), Springer, Berlin, Germany 191-205
-
(2001)
Proceedings of the Seventh International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, Lecture Notes in Computer Science
, vol.1946
, pp. 191-205
-
-
Nunes, N.J.1
Falcao e Cunha, J.2
-
32
-
-
84947230730
-
User interface prototyping based on UML scenarios and high-level Petri nets
-
Springer, Berlin, Germany
-
Elkoutbi M., and Keller R.K. User interface prototyping based on UML scenarios and high-level Petri nets. Proceedings of 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Lecture Notes in Computer Science vol. 1825 (2000), Springer, Berlin, Germany 166-186
-
(2000)
Proceedings of 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Lecture Notes in Computer Science
, vol.1825
, pp. 166-186
-
-
Elkoutbi, M.1
Keller, R.K.2
-
33
-
-
85069256007
-
User interface specification and development
-
IEEE Computer Society Press, Washington, DC, USA
-
Lozano M., Ramos I., and González P. User interface specification and development. Proceedings of the IEEE 34th International Conference on Technology of Object-Oriented Languages and Systems (2000), IEEE Computer Society Press, Washington, DC, USA 373-381
-
(2000)
Proceedings of the IEEE 34th International Conference on Technology of Object-Oriented Languages and Systems
, pp. 373-381
-
-
Lozano, M.1
Ramos, I.2
González, P.3
-
34
-
-
23944440424
-
A UML-based tool for designing user interfaces
-
Springer, Berlin, Germany
-
Campos P.F., and Nunes N.J. A UML-based tool for designing user interfaces. UML 2004-The Unified Modelling Language, Modelling Languages and Applications Seventh International Conference Satellite Activities, Lecture Notes in Computer Science vol. 3297 (2005), Springer, Berlin, Germany 273-276
-
(2005)
UML 2004-The Unified Modelling Language, Modelling Languages and Applications Seventh International Conference Satellite Activities, Lecture Notes in Computer Science
, vol.3297
, pp. 273-276
-
-
Campos, P.F.1
Nunes, N.J.2
-
35
-
-
28344457841
-
Representing user-interface patterns in UML
-
Springer, Berlin, Germany
-
Nunes N.J. Representing user-interface patterns in UML. Proceedings of the International Conference on Object Oriented Information Systems, OOIS' 2003, Lecture Notes in Computer Science vol. 2817 (2003), Springer, Berlin, Germany 142-151
-
(2003)
Proceedings of the International Conference on Object Oriented Information Systems, OOIS' 2003, Lecture Notes in Computer Science
, vol.2817
, pp. 142-151
-
-
Nunes, N.J.1
-
36
-
-
54949126317
-
-
D.J. Anderson, Extending UML for UI, Technical Report, Proceedings of the Towards a UML Profile for Interactive Systems Development, TUPIS'00, 2000. URL: 〈http://www.uidesign.net/2000/papers/TUPISproposal.html〉.
-
D.J. Anderson, Extending UML for UI, Technical Report, Proceedings of the Towards a UML Profile for Interactive Systems Development, TUPIS'00, 2000. URL: 〈http://www.uidesign.net/2000/papers/TUPISproposal.html〉.
-
-
-
-
37
-
-
0002296440
-
Modeling Web application architectures with UML
-
Conallen J. Modeling Web application architectures with UML. Communications of the ACM 42 10 (1999) 63-70
-
(1999)
Communications of the ACM
, vol.42
, Issue.10
, pp. 63-70
-
-
Conallen, J.1
-
40
-
-
54949116519
-
-
B. Lieberman, UML activity diagrams: detailing user interface navigation, Technical Report 〈http://www.ibm.com/developerworks/rational/library/content/RationalEdge/oct01/UMLActivityDiagramsOct01.pdf〉, 2001.
-
B. Lieberman, UML activity diagrams: detailing user interface navigation, Technical Report 〈http://www.ibm.com/developerworks/rational/library/content/RationalEdge/oct01/UMLActivityDiagramsOct01.pdf〉, 2001.
-
-
-
-
41
-
-
0034497073
-
Modeling Web navigation by statechart
-
IEEE Computer Society Press, Washington, DC, USA
-
Leung K., Hui L.C.K., Yiu S., and Tang R. Modeling Web navigation by statechart. Proceedings of the 24th Annual International Computer Software and Applications Conference, COMPSAC'2000 (2000), IEEE Computer Society Press, Washington, DC, USA 41-47
-
(2000)
Proceedings of the 24th Annual International Computer Software and Applications Conference, COMPSAC'2000
, pp. 41-47
-
-
Leung, K.1
Hui, L.C.K.2
Yiu, S.3
Tang, R.4
-
42
-
-
0142184065
-
StateWebCharts: a formal description technique dedicated to navigation modelling of Web applications
-
Springer, Berlin, Germany
-
Winckler M., and Palanque P. StateWebCharts: a formal description technique dedicated to navigation modelling of Web applications. Proceedings of the 10th International Workshop on Interactive Systems. Design, Specification and Verification, DSV-IS 2003, Lecture Notes in Computer Science vol. 2844 (2003), Springer, Berlin, Germany 61-76
-
(2003)
Proceedings of the 10th International Workshop on Interactive Systems. Design, Specification and Verification, DSV-IS 2003, Lecture Notes in Computer Science
, vol.2844
, pp. 61-76
-
-
Winckler, M.1
Palanque, P.2
-
43
-
-
0027885233
-
Encapsulating knowledge for intelligent automatic interaction objects selection
-
ACM Press, NY, USA
-
Vanderdonckt J., and Bodart F. Encapsulating knowledge for intelligent automatic interaction objects selection. Proceedings of the Conference on Human Factors in Computing Systems, INTERCHI'93 (1993), ACM Press, NY, USA 424-429
-
(1993)
Proceedings of the Conference on Human Factors in Computing Systems, INTERCHI'93
, pp. 424-429
-
-
Vanderdonckt, J.1
Bodart, F.2
-
44
-
-
84957596589
-
UML and user interface modeling
-
Springer, Berlin, Germany
-
Kovacevic S. UML and user interface modeling. Proceedings of the Unified Modeling Language Conference, UML'98, Lecture Notes in Computer Science vol. 1618 (1998), Springer, Berlin, Germany 253-266
-
(1998)
Proceedings of the Unified Modeling Language Conference, UML'98, Lecture Notes in Computer Science
, vol.1618
, pp. 253-266
-
-
Kovacevic, S.1
-
45
-
-
0033714667
-
Web Modeling Language (WebML): a modeling language for designing Web sites
-
North-Holland, Amsterdam, The Netherlands
-
Ceri S., Fraternali P., and Bongio A. Web Modeling Language (WebML): a modeling language for designing Web sites. Proceedings of the Ninth International World Wide Web Conference on Computer Networks (2000), North-Holland, Amsterdam, The Netherlands 137-157
-
(2000)
Proceedings of the Ninth International World Wide Web Conference on Computer Networks
, pp. 137-157
-
-
Ceri, S.1
Fraternali, P.2
Bongio, A.3
-
46
-
-
54949120163
-
-
N. Koch, Software engineering for adaptive hypermedia systems: reference model, modelling techniques and development process, Ph.D. Thesis, Ludwig-Maximilians Universität Munchen, 2001.
-
N. Koch, Software engineering for adaptive hypermedia systems: reference model, modelling techniques and development process, Ph.D. Thesis, Ludwig-Maximilians Universität Munchen, 2001.
-
-
-
-
47
-
-
54949094642
-
-
A. Puerta, Supporting user-centered design of adaptive user interfaces via interface models, in: Proceedings of the First Annual Workshop On Real-Time Intelligent User Interfaces for Decision Support and Information Visualization, San Francisco, 1998, p.11.
-
A. Puerta, Supporting user-centered design of adaptive user interfaces via interface models, in: Proceedings of the First Annual Workshop On Real-Time Intelligent User Interfaces for Decision Support and Information Visualization, San Francisco, 1998, p.11.
-
-
-
-
48
-
-
0028408797
-
Prototyping for tiny fingers
-
Rettig M. Prototyping for tiny fingers. Communications of the ACM 37 4 (1994) 21-27
-
(1994)
Communications of the ACM
, vol.37
, Issue.4
, pp. 21-27
-
-
Rettig, M.1
-
49
-
-
54949089939
-
-
SEGUIA, System Expert Generating User Interfaces Automatically 〈http://www.isys.ucl.ac.be/bchi/research/seguia.htm〉.
-
SEGUIA, System Expert Generating User Interfaces Automatically 〈http://www.isys.ucl.ac.be/bchi/research/seguia.htm〉.
-
-
-
-
50
-
-
0036385636
-
XIML: a common representation for interaction data
-
ACM Press, NY, USA
-
Puerta A., and Eisenstein J. XIML: a common representation for interaction data. Proceedings of the Seventh International Conference on Intelligent User Interfaces, IUI '02 (2002), ACM Press, NY, USA 214-215
-
(2002)
Proceedings of the Seventh International Conference on Intelligent User Interfaces, IUI '02
, pp. 214-215
-
-
Puerta, A.1
Eisenstein, J.2
-
51
-
-
0033294475
-
UIML: an appliance-independent XML user interface language
-
Abrams M., Phanouriou C., Batongbacal A.L., Williams S.M., and Shuster J.E. UIML: an appliance-independent XML user interface language. Computer Networks 31 11-16 (1999) 1695-1708
-
(1999)
Computer Networks
, vol.31
, Issue.11-16
, pp. 1695-1708
-
-
Abrams, M.1
Phanouriou, C.2
Batongbacal, A.L.3
Williams, S.M.4
Shuster, J.E.5
-
52
-
-
32444431550
-
A transformational approach for multimodal Web user interfaces based on UsiXML
-
ACM Press, NY, USA
-
Stanciulescu A., Limbourg Q., Vanderdonckt J., Michotte B., and Montero F. A transformational approach for multimodal Web user interfaces based on UsiXML. Proceedings of the Seventh International Conference on Multimodal Interfaces, ICMI '05 (2005), ACM Press, NY, USA 259-266
-
(2005)
Proceedings of the Seventh International Conference on Multimodal Interfaces, ICMI '05
, pp. 259-266
-
-
Stanciulescu, A.1
Limbourg, Q.2
Vanderdonckt, J.3
Michotte, B.4
Montero, F.5
-
53
-
-
84876753098
-
TERESA: a transformation-based environment for designing and developing multi-device interfaces
-
ACM Press, NY, USA
-
Berti S., Correani F., Mori G., Paternó F., and Santoro C. TERESA: a transformation-based environment for designing and developing multi-device interfaces. Proceedings of ACM CHI 2004 Conference on Human Factors in Computing Systems vol. II (2004), ACM Press, NY, USA 793-794
-
(2004)
Proceedings of ACM CHI 2004 Conference on Human Factors in Computing Systems
, vol.II
, pp. 793-794
-
-
Berti, S.1
Correani, F.2
Mori, G.3
Paternó, F.4
Santoro, C.5
-
55
-
-
54949108932
-
-
N.W. Paton, P. Pinheiro da Silva, ARGOi, an object-oriented design tool based on UML, Technical Report 〈http://trust.utep.edu/umli/software.html〉, 2007.
-
N.W. Paton, P. Pinheiro da Silva, ARGOi, an object-oriented design tool based on UML, Technical Report 〈http://trust.utep.edu/umli/software.html〉, 2007.
-
-
-
-
56
-
-
54949123773
-
-
J. Molina, P. González, M. Lozano, Developing 3D UIs using the IDEAS tool: a case study, Human-Computer Interaction. Theory and Practice, Lawrence Erlbaum Associates, 2003.
-
J. Molina, P. González, M. Lozano, Developing 3D UIs using the IDEAS tool: a case study, Human-Computer Interaction. Theory and Practice, Lawrence Erlbaum Associates, 2003.
-
-
-
-
57
-
-
84880225097
-
OASIS: an object-oriented specification language
-
Springer, Berlin, Germany
-
Pastor O., Hayes F., and Bear S. OASIS: an object-oriented specification language. Proceedings of Advanced Information Systems Engineering, CAiSE'92, Lecture Notes in Computer Science vol. 593 (1992), Springer, Berlin, Germany 348-363
-
(1992)
Proceedings of Advanced Information Systems Engineering, CAiSE'92, Lecture Notes in Computer Science
, vol.593
, pp. 348-363
-
-
Pastor, O.1
Hayes, F.2
Bear, S.3
-
58
-
-
54949143930
-
-
L.L. Constantine, L.A.D. Lockwood, Structure and style in use cases for user interface design, in: M. van Harmelen (Ed.), Object Modelling and User Interface Design, Addison-Wesley, 2001. Reading, MA.
-
L.L. Constantine, L.A.D. Lockwood, Structure and style in use cases for user interface design, in: M. van Harmelen (Ed.), Object Modelling and User Interface Design, Addison-Wesley, 2001. Reading, MA.
-
-
-
-
59
-
-
54949149076
-
-
UIDesign, UIRupture, Technical Report 〈http://www.uidesign.net/2000/opinion/UIRupture.html〉, 2000.
-
UIDesign, UIRupture, Technical Report 〈http://www.uidesign.net/2000/opinion/UIRupture.html〉, 2000.
-
-
-
-
60
-
-
54949087815
-
-
J. Heumann, User experience storyboards: building better UIs with RUP, UML and use cases, Technical Report, 〈http://www.ibm.com/developerworks/rational/library/content/RationalEdge/nov03/f_usability_jh.pdf〉, 2003.
-
J. Heumann, User experience storyboards: building better UIs with RUP, UML and use cases, Technical Report, 〈http://www.ibm.com/developerworks/rational/library/content/RationalEdge/nov03/f_usability_jh.pdf〉, 2003.
-
-
-
-
61
-
-
84937404603
-
Towards a UML for interactive systems
-
Springer, Berlin, Germany
-
Paternò F. Towards a UML for interactive systems. Proceedings of the Eighth IFIP Working Conference on Engineering for Human-Computer Interaction, EHCI 2001, Lecture Notes in Computer Science vol. 2254 (2001), Springer, Berlin, Germany 7-18
-
(2001)
Proceedings of the Eighth IFIP Working Conference on Engineering for Human-Computer Interaction, EHCI 2001, Lecture Notes in Computer Science
, vol.2254
, pp. 7-18
-
-
Paternò, F.1
-
62
-
-
0004572262
-
Formally verifying interactive systems: a review
-
Springer, Berlin, Germany
-
Campos J.C., and Harrison M.D. Formally verifying interactive systems: a review. Proceedings of the International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'97 (1997), Springer, Berlin, Germany 109-124
-
(1997)
Proceedings of the International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'97
, pp. 109-124
-
-
Campos, J.C.1
Harrison, M.D.2
-
65
-
-
54949136048
-
-
Springer, Berlin, Germany
-
Palanque P.A., and Bastide R. Proceedings of the International Workshop on Design Specification and Verification of Interactive Systems, DSV-IS'95 (1995), Springer, Berlin, Germany
-
(1995)
Proceedings of the International Workshop on Design Specification and Verification of Interactive Systems, DSV-IS'95
-
-
Palanque, P.A.1
Bastide, R.2
-
66
-
-
38149057026
-
Validating interactive system design through the verification of formal task and system models
-
Chapman & Hall, London
-
Palanque P.A., Bastide R., and Sengès V. Validating interactive system design through the verification of formal task and system models. Proceedings of the IFIP Working Conference on Engineering for Human-Computer Interaction, EHCI'95 (1995), Chapman & Hall, London 189-212
-
(1995)
Proceedings of the IFIP Working Conference on Engineering for Human-Computer Interaction, EHCI'95
, pp. 189-212
-
-
Palanque, P.A.1
Bastide, R.2
Sengès, V.3
|