Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

Interactive computer systems --- Computer science. --- Software engineering. --- Computer logic. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Computer Science. --- User Interfaces and Human Computer Interaction. --- Computer Science, general. --- Software Engineering. --- Logics and Meanings of Programs. --- Information Storage and Retrieval. --- Logic design. --- Information storage and retrieva. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Computer science logic --- Logic, Symbolic and mathematical --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Interactive computer systems - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. This special issue consists of two parts: the first one features original research papers on interactive digital storytelling in the applied context of edutainment; the second part contains a selection of revised and expanded best papers from the 4th eLearning Baltics (eLBa 2011) conference. The papers on digital storytelling have been split into sections on theory, technology, and case studies; the eLBA 2011 conference papers deal with technology and applications, case studies and mobile applications, and game-based learning and social media.

Computer science. --- Education. --- Computer Science. --- Computers and Education. --- User Interfaces and Human Computer Interaction. --- Personal Computing. --- Children --- Education, Primitive --- Education of children --- Human resource development --- Instruction --- Pedagogy --- Schooling --- Students --- Youth --- Informatics --- Education --- User interfaces (Computer systems). --- Personal computers. --- Data processing. --- Science --- Civilization --- Learning and scholarship --- Mental discipline --- Schools --- Teaching --- Training --- Education—Data processing. --- Home computers --- Micro computers --- Micros (Microcomputers) --- PCs (Microcomputers) --- Personal computers --- Small computers --- Minicomputers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences