No description available.

No description available.

No description available.

No description available.

Standardized methodologies for usability evaluation have been of interest to the Human-Computer Interaction(HCI) community for years due to their perceived advantages over non-standardized ones. Such methodologies include standardized questionnaires designed to measure usability, although it has been argued that such questionnaires can only measure user satisfaction and not usability in general. This study was conducted together with the editorial experience (EDX)team at Sveriges Television AB (SVT) in order to identify appropriate standardized methods for usability evaluation of the content management system they are currently developing, while at the same time exploring how questionnaire formats such as the System Usability Scale(SUS) could benefit from being complemented by objective measurement methods such as the keystroke-level model (KLM) and productive time. The project ran test sessions with participants using a benchmark version of the current content management system and a prototype of a redesigned version. SUS, KLM and productive time were then applied to both versions and compared. The results showed no significant difference in the usability of the two versions, although the study lacks reliable data to draw any strong conclusions. However, the data does raise interesting questions that may provide the groundwork for future research. This includes findings that may question the validity of SUS when used for the evaluation of prototypes and the benefits of objective measures to self-administered questionnaires.

Desde los orígenes del hardware y el software hasta la época actual, la complejidad de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros y programadores han tenido que enfrentarse. Como resultado de este esfuerzo han surgido y madurado importantes áreas de investigación. En esta disertación abordamos algunas de las líneas de investigación actuales relacionada con el análisis y la verificación de sistemas de computación complejos utilizando métodos formales y lenguajes de dominio específico. En esta tesis nos centramos en los sistemas distribuidos, con un especial interés por los sistemas Web y los sistemas biológicos. La primera parte de la tesis está dedicada a aspectos de seguridad y técnicas relacionadas, concretamente la certificación del software. En primer lugar estudiamos sistemas de control de acceso a recursos y proponemos un lenguaje para especificar políticas de control de acceso que están fuertemente asociadas a bases de conocimiento y que proporcionan una descripción sensible a la semántica de los recursos o elementos a los que se accede. También hemos desarrollado un marco novedoso de trabajo para la Code-Carrying Theory, una metodología para la certificación del software cuyo objetivo es asegurar el envío seguro de código en un entorno distribuido. Nuestro marco de trabajo está basado en un sistema de transformación de teorías de reescritura mediante operaciones de plegado/desplegado. La segunda parte de esta tesis se concentra en el análisis y la verificación de sistemas Web y sistemas biológicos. Proponemos un lenguaje para el filtrado de información que permite la recuperación de informaciones en grandes almacenes de datos. Dicho lenguaje utiliza información semántica obtenida a partir de ontologías remotas para re nar el proceso de filtrado. También estudiamos métodos de validación para comprobar la consistencia de contenidos web con respecto a propiedades sintácticas y semánticas. Otra de nuestras contribuciones es la propuesta de un lenguaje que permite definir y comprobar automáticamente restricciones semánticas y sintácticas en el contenido estático de un sistema Web. Finalmente, también consideramos los sistemas biológicos y nos centramos en un formalismo basado en lógica de reescritura para el modelado y el análisis de aspectos cuantitativos de los procesos biológicos. Para evaluar la efectividad de todas las metodologías propuestas, hemos prestado especial atención al desarrollo de prototipos que se han implementado utilizando lenguajes basados en reglas. / Baggi ., M. (2010). Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8964

No description available.

The main focus of this study is to determine if systems development methodologies are being utilised in the development of electronic learning systems in South Africa and if these methodologies are being applied effectively. Essentially this study can be viewed as exploratory research, utilising a conceptual research model to investigate the relationships between the constructs and measurements. Electronic learning, or e-learning, is being employed to educate millions of learners, students and employees around the world and it is a critical component of modern educational systems. E-learning systems, or learning management systems, as it is known in the field, sit at the heart of these educational systems and are used to systematically deliver on-line content and facilitate the learning experience around that content. There is still much confusion and misconceptions surrounding e-learning and learning management systems abound. This study will try and clarify some of these misconceptions. In e-learning systems, the effective use of information systems is especially relevant as it is used to educate the minds of the future. To ensure that e-learning systems of outstanding quality are being developed, it is therefore crucial that systems development methodologies are being used as they can have a significant impact on the development process. There is a dearth of empirical research available on the use and effectiveness of systems development methodologies in South Africa. This study aims, amongst other things to make a contribution to the availability of empirical results. By empirically evaluating the conceptual research model, utilising a survey as the main research method and statistically analysing the dataset, meaningful results were obtained. This study gave some insights into how learning management system procurement and development is being done in South Africa and revealed that the use of open-source systems currently exceeds the use of proprietary systems. The results of the research showed that systems development methodologies (e.g. Object-Oriented Analysis and Rapid Application Development) are being used effectively in the development of e-learning systems. Strong relationships exist between many of the systems development methodology factors identified (e.g. performance expectancy and the perceived support of the methodology) and the quality and productivity of the development process. This in turn has a strong influence on the impact systems development methodologies have on the quality of learning management systems. / MCom (Computer Science & Information Systems), North-West University, Potchefstroom Campus, 2014

The main focus of this study is to determine if systems development methodologies are being utilised in the development of electronic learning systems in South Africa and if these methodologies are being applied effectively. Essentially this study can be viewed as exploratory research, utilising a conceptual research model to investigate the relationships between the constructs and measurements. Electronic learning, or e-learning, is being employed to educate millions of learners, students and employees around the world and it is a critical component of modern educational systems. E-learning systems, or learning management systems, as it is known in the field, sit at the heart of these educational systems and are used to systematically deliver on-line content and facilitate the learning experience around that content. There is still much confusion and misconceptions surrounding e-learning and learning management systems abound. This study will try and clarify some of these misconceptions. In e-learning systems, the effective use of information systems is especially relevant as it is used to educate the minds of the future. To ensure that e-learning systems of outstanding quality are being developed, it is therefore crucial that systems development methodologies are being used as they can have a significant impact on the development process. There is a dearth of empirical research available on the use and effectiveness of systems development methodologies in South Africa. This study aims, amongst other things to make a contribution to the availability of empirical results. By empirically evaluating the conceptual research model, utilising a survey as the main research method and statistically analysing the dataset, meaningful results were obtained. This study gave some insights into how learning management system procurement and development is being done in South Africa and revealed that the use of open-source systems currently exceeds the use of proprietary systems. The results of the research showed that systems development methodologies (e.g. Object-Oriented Analysis and Rapid Application Development) are being used effectively in the development of e-learning systems. Strong relationships exist between many of the systems development methodology factors identified (e.g. performance expectancy and the perceived support of the methodology) and the quality and productivity of the development process. This in turn has a strong influence on the impact systems development methodologies have on the quality of learning management systems. / MCom (Computer Science & Information Systems), North-West University, Potchefstroom Campus, 2014

Midst contextual themes of new technologies and globalisation, South African organisations are challenged to attract, develop and retain suitable skills in a labour market that will continue to suffer shortages. The HR function of today is required to partner with organisations at a strategic level in response to this challenge. Successful organisations understand that transforming the HR function require regular in-depth analyses of its effectiveness. The study aimed to assess the effectiveness of an HR function operating in a public utility, against current trends in HR transition. Different evaluation methodologies are explored to develop a theoretical evaluation model for the effectiveness of a HR function. The results confirmed that the HR function is not effective in its role as strategic partner, and highlights significant differences in perception between the stakeholders and the HR function regarding its effectiveness. Recommendations were made on future transformation actions for the specific HR function. / Industrial & Organisational Psychology / M.A. (Industrial Psychology)