Higher Education Institutions face an ongoing challenge to respond to many challenges that arise from their environment. Universities are affected by internal as well as external forces. They have to comply with the legislation of the country for example the South African Employment Equity Act No. 55 of 1998 and affirmative action, at the same time they need to retain motivated employees. In response to these challenges, Universities need to implement the laws of the government in order to be responsive, effective and efficient. This study has drawn heavily on secondary data, which has been treated in the chapter of literature review. Concepts and theories covering affirmative action and motivation have been considered. Information has been obtained from various books and respondents. Concepts such as affirmative action, employment equity, preferential treatment, designated group, non-designated group, motivation, recruitment, selection, communication, promotion, compensation, disciplinary procedure have been used in this study. The data for this study was collected by means of survey questionnaire. The survey questionnaire provided data on effects of affirmative action on the motivation of employees. Survey questionnaires were pilot tested among a sample of 10 employees composed of both academic and non-academic staff. This was followed by distributing one hundred questionnaires to the employees, who were willing to participate in this study as respondents. The data collected was subjected to statistical processes to ensure reliability and validity. The research findings of this study revealed the employees thoughts about the implementation of affirmative action and the motivation of employees at Durban University of Technology. The collected data also revealed that many employees were demotivated as they don’t see affirmative action being implemented effectively. Although the study highlighted the impact of affirmative action on the motivation of employees at Durban University of Technology, this study was limited by its sample size. Recommendations have been made for greater commitment of the top management team towards any change process.

As a result of the restructuring of the South African Police Service (SAPS) in 1996 and various other factors, Police Social Work Services decided to broaden the scope of its services by developing and introducing proactive personnel capacity-building programmes. By 1999, 15 such programmes had been developed. The need subsequently arose for a comprehensive impact assessment and cost-benefit analysis of these programmes and the Evaluation of Personnel Capacity-Building Programmes (EPCaP) study was launched in 2001. The evaluation of the Anger Management, Assertiveness and Conflict Management Programmes, as well as a cost-benefit analysis of the Life Skills programmes as a whole, formed part of this research. Objectives: This study had two primary aims. The first was to determine the effect of the Assertiveness, Conflict Management and Anger Management programmes on the knowledge, attitude and behaviour of SAPS personnel. The second was to carry out a cost-benefit analysis of the Life Skills programmes as a whole. Method: In the case of the effect measurement, a comparison group pre-test and post-test design and triangulation were used. Eighteen measurement scales and a presenter's evaluation questionnaire were developed and completed by 627 experimental group respondents, 150 comparison group members and 32 presenters. In the cost-benefit analysis, a comprehensive, computerised ROI analysis programme that was developed by Meyer et al. (2003) was primarily used. It measured the interventions' return on investment (ROI), net present value (NPV), payback period, internal rate of return (IRR) and learning cost per attendee. Results: By means of the triangulation of measurements it was ascertained that the three personnel capacity-building programmes had a practical significant effect on the respondents' knowledge, attitude and behaviour. They could, therefore, be considered as effective tools in the hands of Police Social Work Services which not only empowered SAPS personnel to lead more productive professional lives, but also enhanced their personal well-being. The cost-benefit analysis indicated that the Life Skills Programmes represented a worthwhile investment of the organisation's time, money and effort. In its first year of implementation alone, it produced a return on investment (ROI) coefficient of more than 1700%. / Thesis (Ph.D. (Social Work))--North-West University, Potchefstroom Campus, 2008.

Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. Malgré ces approximations, les analyses statiques permettent des optimisations et des transformations efficaces pour améliorer les performances des programmes. Parmi les premières analyses du processus d'optimisation figure l'analyse des pointeurs. Son but est d'analyser statiquement un programme en entrée et de fournir en résultat une approximation des emplacements mémoire vers lesquels pointent ses variables pointeurs. Cette analyse est considérée comme l'une des analyses de programmes les plus délicates et l'information qu'elle apporte est très précieuse pour un grand nombre d'autres analyses clientes. En effet, son résultat est nécessaire à d'autres optimisations, comme la propagation de constante, l'élimination du code inutile, le renommage des scalaires ainsi que la parallélisation automatique des programmes. L'analyse des pointeurs est très nécessaire pour l'exploitation du parallélisme présent dans les applications scientifiques écrites en C. Ceci est dû au fait que les tableaux, très présents dans ce type d'applications, sont accédés via les pointeurs. Il devient nécessaire d'analyser les dépendances entre les éléments de tableau dans le but de paralléliser les boucles. Le langage C présente beaucoup de difficultés lors de son analyse par la liberté qu'il offre aux utilisateurs pour gérer et manipuler la mémoire par le biais des pointeurs. Ces difficultés apparaissent par exemple lors de l'accès aux tableaux par pointeurs, l'allocation dynamique (via "malloc") ainsi que les structures de données récursives. L'un des objectifs principaux de cette thèse est de déterminer les emplacements mémoire vers lesquels les pointeurs pointent. Ceci se fait en assurant plusieurs dimensions comme : - la sensibilité au flot de contrôle, c'est-à-dire la mise à jour des informations d'un point programme à un autre ; - la non-sensibilité au contexte, c'est-à-dire l'utilisation de résumés au lieu de l'analyse du corps de la fonction à chaque appel ; - la modélisation des champs pointeurs des structures de données agrégées, dans laquelle chaque champ représente un emplacement mémoire distinct. D'autres aspects sont pris en compte lors de l'analyse des programmes écrits en C comme la précision des emplacements mémoire alloués au niveau du tas, l'arithmétique sur pointeurs ou encore les pointeurs vers tableaux. Notre travail permet l'amélioration des résultats des analyses clientes et en particulier il permet la parallélisation des boucles lorsqu'on accède aux éléments de tableaux via les pointeurs, la détection de code inutile ou le calcul du graphe de dépendances. Il est implémenté dans le compilateur parallélliseur PIPS (Parallélisation Interprocédurale de Programmes Scientifiques) et permet d'analyser, en particulier, les applications scientifiques de traitement du signal tout en assurant une analyse intraprocédurale précise et une analyse interprocédurale efficace via les résumés.

Exprimer le parallélisme dans la programmation de manière simple et performante est un défi auquel l'informatique fait face, en raison de l'évolution actuelle des architectures matérielles. BSML est un langage permettant une programmation parallèle de haut niveau, structurée, qui participe à cette recherche. En s'appuyant sur le coeur du langage existant, cette thèse propose d'une part des extensions qui en font un langage plus général et plus simple (traits impératifs tels que références et exceptions, syntaxe spécifique...) tout en conservant et étendant sa sûreté (sémantiques formelles, système de types...) et d'autre part une méthodologie de développement d'applications parallèles certifiées

Discharge planning is an integral part of patient care, which involves the transfer of patients from the hospital to the community, taking into account the patient’s unique and complex needs. However, this process is often fraught with complexities. This study was designed to explore challenges of current practices in discharge planning and to establish factors and effective strategies for future management. A qualitative and descriptive study was undertaken to understand the views of health care professionals on discharge planning within a tertiary hospital setting in KwaZulu-Natal. A comprehensive, rather than a disease-specific approach was used. Systems theory and the bio-psycho-social model formed the appropriate theoretical framework for the current study, which considered a holistic approach, taking into account systemic factors, relationships, physical, psychological and social aspects of patient care. Purposive sampling was used to identify 26 members of the multidisciplinary team with the relevant knowledge and experience. Semi-structured interviews, that were audio-recorded, were undertaken as the primary method of data collection, from which transcripts were thematically analysed. The study identified the key themes in terms of major challenges that included inter-hospital transport and referrals, resource constraints, patient compliance, and caregiver preparedness. The poor socio-economic circumstances of patients and their families formed a grim background. A documentation analysis of discharge summaries, utilized as a secondary method for the purposes of triangulation, revealed inconsistencies in the discharge summary system that varied between incomplete or well written reports. Based on the study findings, recommendations are made in respect of practice, policy and further research in the designated area of study. Some of the strategies recommended include collaboration with the multidisciplinary team, improving patient and caregiver education and establishing a formalized system of discharge planning, policies and discharge summaries. / M.A. University of KwaZulu-Natal, Durban, 2014.

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et numériques et des comportements discrets et continus. Notre approche est fondée sur l'analyse statique par interprétation abstraite. Nous adressons les problèmes suivants : les méthodes d'interprétation abstraite numériques exigent l'énumération des états booléens, et par conséquent, ils souffrent du probléme d'explosion d'espace d'états. En outre, il y a une perte de précision due à l'utilisation d'un opérateur d'élargissement afin de garantir la terminaison de l'analyse. Par ailleurs, nous voulons rendre les méthodes d'interprétation abstraite accessibles à des langages de simulation hybrides. Dans cette thèse, nous généralisons d'abord l'accélération abstraite, une méthode qui améliore la précision des invariants numériques inférés. Ensuite, nous montrons comment étendre l'accélération abstraite et l'itération de max-stratégies à des programmes logico-numériques, ce qui aide à améliorer le compromis entre l'efficacité et la précision. En ce qui concerne les systèmes hybrides, nous traduisons le langage de programmation synchrone et hybride Zelus vers les automates hybrides logico-numériques, et nous étendons les méthodes d'analyse logico-numérique aux systèmes hybrides. Enfin, nous avons mis en oeuvre les méthodes proposées dans un outil nommé ReaVer et nous fournissons des résultats expérimentaux. En conclusion, cette thèse propose une approche unifiée à la vérification de systèmes logico-numériques discrets et hybrides fondée sur l'interprétation abstraite qui est capable d'intégrer des méthodes d'interprétation abstraite numériques sophistiquées tout en améliorant le compromis entre l'efficacité et la précision.

Les travaux présentés dans cette thèse sont lies aux problèmes de vérification de l'atteignabilité et de la terminaison de programmes qui manipulent des données entières non-bornées. On décrit une nouvelle méthode de vérification basée sur une technique d'accélération de boucle, qui calcule, de manière exacte, la clôture transitive d'une relation arithmétique. D'abord, on introduit un algorithme d'accélération de boucle qui peut calculer, en quelques secondes, des clôtures transitives pour des relations de l'ordre d'une centaine de variables. Ensuite, on présente une méthode d'analyse de l'atteignabilité, qui manipule des relations entre les variables entières d'un programme, et applique l'accélération pour le calcul des relations entrée-sortie des procédures, de façon modulaire. Une approche alternative pour l'analyse de l'atteignabilité, présentée également dans cette thèse, intègre l'accélération avec l'abstraction par prédicats, afin de traiter le problème de divergence de cette dernière. Ces deux méthodes ont été évaluées de manière pratique, sur un nombre important d'exemples, qui étaient, jusqu'a présent, hors de la portée des outils d'analyse existants. Dernièrement, on a étudié le problème de la terminaison pour certaines classes de boucles de programme, et on a montré la décidabilité pour les relations étudiées. Pour ces classes de relations arithmétiques, on présente un algorithme qui s'exécute en temps au plus polynomial, et qui calcule l'ensemble d'états qui peuvent générer une exécution infinie. Ensuite on a intégré cet algorithme dans une méthode d'analyse de la terminaison pour des programmes qui manipulent des données entières.

La maintenance consomme une grande partie du coût de développement des logiciels ce qui rend l'optimisation de ce coût parmi les enjeux importants dans le monde du génie logiciel. Dans cette thèse nous visons à optimiser ce coût par rendre ces maintenances modulaires. Pour atteindre cet objectif, nous définissons des transformations des architectures des programmes qui permettent de transformer le programme à maintenir vers une architecture qui facilite la tâche de maintenance voulue. Nous nous concentrons plus sur la transformation entre les architectures à propriétés de modularité duales tels que les patrons de conception Composite et Visiteur. Dans ce contexte, nous définissons une transformation automatique et réversible basée sur le refactoring entre un programme structuré selon le Composite et sa structureVisiteur correspondante. Cette transformation est validée par la génération d'une précondition qui garantit statiquement sa réussite. Elle est aussi adaptée afin qu'elle prenne en compte la transformation de quatre variations du patron Composite et est validée sur le programme JHotDraw qui comporte ces quatre variations. Nous définissons aussi une transformation réversible au sein du patron Singleton afin de pouvoir bénéficier de l'optimisation par l'introduction de ce patron et la souplesse par sa suppression selon les exigences de l'utilisateur du logiciel.

Syftet med denna studie är att undersöka hur några lärare på gymnasiesärskolans nationella program arbetar med bedömning av elevernas kunskapsutveckling samt hur dessa lärare arbetar för att eleverna ska kunna synliggöra sina kunskaper. Studien baseras på sju halvstrukturerade intervjuer med lärare som undervisar i svenska på gymnasiesärskolan.  Resultatet visar att lärarna använder sig av många olika metoder för att skaffa underlag för  kunskapsbedömning. Samtal, observationer och dokumentation är några exempel. Lärarna arbetar tätt ihop med eleverna och ger konkret, tät återkoppling för att synliggöra kunskapsutvecklingen både för eleven och sig själva. Eleverna behöver mycket stöttning och repetition för att utveckla kunskaper och självständighet i arbetet. Ett dilemma som framträder är att det är svårt att skapa förutsättningar för alla elever att kunna visa fram sina kunskaper. Det vanligaste är att man sitter bredvid och samtalar med eleven för att ta reda på vilka kunskaper eleven har tillägnat sig. Lärande som en social företeelse som sker i samspel med andra är ett synsätt som skiner igenom. Enligt min studie är det oftast eleven och läraren som samspelar med varandra. / The aim of this study is to explore how a few teachers in the upper secondary school’s national programmes for pupils with intellectual disabilities work with assessing the knowledge development in students and how these teachers work for the pupils to be able to make their own knowledge visible.   The study is based upon seven semi structured interviews with teachers teaching Swedish in upper secondary schools for pupils with intellectual disabilities.  The results show that the teachers use multiple methods to acquire ground for assessment of knowledge. Conversation, observation and documentation are some examples of methods. The teachers work closely together with the students and provide tangible, frequent feedback to make the knowledge development visible both to the student and themselves. The students need a lot of scaffolding and repetition to develop knowledge and independence in their work. An emerging dilemma is the difficulty to create opportunities for all students to communicate their knowledge. The most common strategy is to sit beside the student and have a conversation to find out what knowledge the student has acquired. Learning as a social experience which occurs in interaction with others is a line of approach that shines through. According to my study it is most commonly the student and the teacher who are interacting with each other.

The research focused on the importance of and the problem of English proficiency/literacy regarding Grade 12 learners exiting the school system and seeking entry at Institutions of Higher Learning (IHLs). Grade 12 learners’ final results have been used as a benchmark for admission into tertiary education for many years. These results have come under scrutiny over the past few years. IHLs are faced with the problem to generate ways to address the access of ill-prepared learners exiting Grade 12 and then to solve the problem of low levels of throughput and high drop-out rates among first year students, therefore the multi-faceted nature of access into South African IHLs was discussed, as well as alternative routes to enter IHLs. The researcher has experienced that the dropout rates of first year BEd English major students have been rather high. The purpose of this research was to determine what the predictive power of two measures, the English matric results of the National Senior Certificate (NSC) and the English Literacy Skills Assessment (ELSA) were on the academic success of first year BEd English major students of the North-West University on the Vaal Triangle Campus. This was primarily done to improve first year BEd English major students’ English proficiency/literacy, as well as to increase their throughput rate. The major findings of this study pointed to the lack of English language proficiency/literacy of first year BEd English major students and the low throughput rate of these students. Although the ELSA proved to be the best predictor of academic success for first year BEd English major students, the Grade 12 English results also showed a statistical significant prediction capability. The results showed that there was no significant difference between ELSA 1 (which was used as pre-test) and ELSA 2 (which was used as post-test). An improvement in the ELSA 2 results was expected, as it was written as a post-test at the end of the first year BEd English major modules, indicating that the curriculum of the first year BEd English major students had little or no positive influence on the results of the ELSA 2. This resulted in the recommendation that it would be to the advantage of first year BEd English major students to change the current first year BEd English major curriculum in order to improve students’ English proficiency/literacy, as well as their throughput rate, which will result in improved academic success. / PhD, Teaching and Learning, North-West University, Vaal Triangle Campus, 2012