A decision-making specification language for verifiable user-interface adaptation logic

International Journal of Software Engineering and Knowledge Engineering

Volumn 15, Issue 6, 2005, Pages 1063-1094

  Savidis, Anthony ^a   Antona, Margherita ^a   Stephanidis, Constantine ^a,b  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

Author keywords

Automatic user interface adaptation; Decision making specification and verification; Dynamic software assembly

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; CONTEXT FREE LANGUAGES; DATA STORAGE EQUIPMENT; DECISION THEORY; MACHINE ORIENTED LANGUAGES; USER INTERFACES;

AUTOMATIC USER INTERFACE ADAPTATION; AUTOMATIC VERIFICATION METHOD; DECISION-MAKING SPECIFICATION AND VERIFICATION; DYNAMIC SOFTWARE ASSEMBLY;

PROBABILISTIC LOGICS;

EID: 30544449672     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194005002646     Document Type: Review

References (18)

1. A. Savidis and C. Stephanidis, The unified user interface software architecture, in C. Stephanidis (ed.), User Interfaces for All - Concepts, Methods, and Tools, Lawrence Erlbaum Associates, Mahwah, NJ, 2001.
2. A. Savidis and C. Stephanidis, Unified user interface design: Designing universally accessible interactions, Int. J. Interacting with Computers, Issue 16 (2004), pp. 243-270. Available electronically from: http://authors.elsevier. com/sd/article/S0953543804000025.
3. A. Savidis and S. Stephanidis, Unified user interface development: Software engineering of universally accessible interactions. To appear in the Universal Access in the Information Society 3(3-4) (2004) 165-193.
4. C. Stephanidis, A. Paramythis, M. Sfyrakis, and A. Savidis, A case study in unified user interface development: The AVANTI web browser, in User Interfaces for All, C. Stephanidis (ed.), Lawrence Erlbaum, NJ, 2001, pp. 525-568.
5. C. Stephanidis, A. Savidis, and D. Akoumianakis, Tutorial on Engineering Universal Access: Unified User Interfaces. Tutorial in the 1st Universal Access in Human-Computer Interaction Conference (UAHCI 2001), jointly with the 9th International Conference on Human-Computer Interaction (HCI Internar tional 2001), New Orleans, Louisiana, USA, 5-10 August. [On-line]. Available at: http://www.ics.forth.gr/proj/at-hci/files/uahci.2001.pdf.
6. C. Stephanidis, A. Paramythis, V. Zarikas, and A. Savidis, The PALIO Framework for Adaptive Information Services, in A. Seffah and H. Javahery (eds.), Multiple User Interfaces: Cross-Platform Applications and Context-Aware Interfaces, John Wiley & Sons, Chichester, UK (2004), pp. 69-92.
7. C. Stephanidis, M. Antona, and A. Savidis, Design for All: Computer assisted design of user interface adaptation, in G. Salvendy (ed.), Handbook of Human Factors and Ergonomics, 3rd edition, John Wiley & Sons, 2005, pp. 1459-1485.
8. D. Benyon, MONITOR.: A self-adaptive user-interface, in Proc. IFIP Conf. on Human-Computer Interaction: INTERACT '84 (vol. 1), North-Holland, Elsevier Science, Amsterdam, 1984, pp. 335-341.
9. J. Cote Munoz, AIDA - An adaptive system for interactive drafting and CAD applications, in M. Schneider-Hufschmidt, T. Köhme, and U. Malinowski (eds.), Adaptive User Interfaces - Principles and Practice, North-Holland, Elsevier Science, Amsterdam, 1993, pp. 225-240.
10. A. Kobsa and M. Pohl, The user modeling shell system BGP-MS, User Modeling and User-adapted Interaction 4(2) (1995) 59-106. http://www.ics.uci. edu/~kobsa/papers/1995-UMUAI-kobsa.pdf. Program code:ftp://ftp.gmd.de/gmd/bgp- ms.
11. M. Fayad and M. Cline, Aspects of software adaptability, in CACM Journal 39(10) (1996) 58-59.
12. P. Netinant, C. A. Constantinides, T. Elrad, and M. E. Fayad, Supporting aspectual decomposition in the design of adaptable operating systems using aspect-oriented frameworks, in Proc. 3rd Workshop on Object-Orientation and Operating Systems, Sophia Antipolis, France, June 2000, pp. 36-46.
13. G. Cockton, Spaces and distances - Software architecture and abstraction and their relation to adaptation, in M. Schneider-Hufschmidt, T. Köhme, and U. Malinowski (eds.), Adaptive User Interfaces - Principles and Practice, North-Holland, Elsevier Science, Amsterdam, 1993, pp. 79-108.
14. P. F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. L. McGuinness, B. Nebel, A. Schmiedel, and J. Yen, Term subsumption languages in knowledge representation, AI Magazine, 11(2) (1990) 16-23.
15. A. Borgida and P. F. Patel-Schneider, A semantics and complete algorithm for subsumption in the classic description logic, J. Artificial Intelligence Research 1 (1994) 277-308.
16. G. Smolka, Feature-constrained logics for unification grammars, J. Logic Programming 12 (1992) 51-87.
17. C. Stephanidis, A. Savidis, and D. Akoumianakis, Tutorial on Universally accessible UIs: The Unified User Interface development. Tutorial in the ACM Conference on Human Factors in Computing Systems (CHI 2001), Seatle, Washington, 31 March-5 April. [On-line]. Available at: http://www.ics.forth.gr/proj/at-hci/ files/CHI.tutorial.pdf.
18. A. Zeller and G. Snelting, Unified versioning through feature logic, ACM Transactions on Software Engineering and Methodology (TOSEM) 6(4) (October 1997).