Prática de ensino supervisionada em Educação Pré-escolar e Ensino do 1.º Ciclo do Ensino Básico

O presente relatório foi realizado no âmbito da unidade curricular da Prática de Ensino Supervisionada (PES), inserida no plano de estudos do curso de Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, da Escola Superior de Educação de Bragança, do Instituto Politécnico de Bragança. Com este relatório, pretendemos apresentar as experiências de ensino aprendizagem que consideramos relevantes e representativas do trabalho desenvolvido com as crianças ao longo da nossa PES em ambos os contextos educativos. Estas reportam-se à descrição, reflexão e investigação acerca da ação educativa. A prática pedagógica foi desenvolvida na Educação Pré-Escolar (EPE), com um grupo de 25 crianças, com idades de 3 e 4 anos e, no 1.º Ciclo do Ensino Básico (1.º CEB), com um grupo de 10 crianças pertencentes ao 1.º ano de escolaridade. O contexto na Educação Pré-Escolar caraterizava-se por ser uma Instituição Particular de Solidariedade Social (IPSS) e o contexto de 1.º Ciclo do Ensino Básico pertencia à rede pública. No decorrer da ação educativa, tivemos em conta a articulação curricular, onde mantivemos sempre presente as necessidades das crianças, os seus interesses e ritmos de aprendizagem. Para tal, apoiamo-nos nos documentos oficiais e orientadores da prática pedagógica, sendo estes as Orientações Curriculares para a Educação Pré-Escolar e o Programa Nacional do 1.º ano do 1.º Ciclo do Ensino Básico, indo ao encontro da questão problema: De que forma os diferentes suportes (papel/digital) motivam as crianças no seu processo de leitura em contexto jardim de infância e no 1.º Ciclo do Ensino Básico? Para dar resposta delineamos os seguintes objetivos: (i) Perceber se o tipo de suporte em que as crianças efetuam as suas leituras influencia a sua motivação; (ii) Perceber se a leitura em suporte digital contribui para o desenvolvimento do gosto pela leitura; (iii) Verificar se a leitura em suporte papel permite uma maior motivação na criança em relação ao suporte digital. Os dados foram recolhidos no decorrer das intervenções, através da observação, com recurso às notas de campo, ao registo fotográfico e ao questionário. A apresentação das experiências de ensino/aprendizagem presentes neste relatório traduzem-se num processo descritivo, interpretativo e reflexivo, enquadrado numa abordagem qualitativa. É de salientar que ao longo da nossa prática educativa adotamos uma atitude reflexiva e crítica face ao nosso trabalho, tornando-nos observadores ativos neste processo, assumindo ao mesmo tempo, o papel de investigadoras.

L’importance du rendement, du soutien des adultes, des attentes de réussite et de la valeur accordée aux mathématiques dans les choix de filières de formation préuniversitaire des étudiantes issues des séquences de mathématiques enrichies

La présente étude s’intéresse aux choix de filières de formation des filles comparées aux garçons. La présence des filles dans les filières de formation dans le domaine des sciences, de la technologie, du génie et de la mathématique (STGM) est moins importante que celle des garçons. Ce fait est documenté dans la plupart des pays industrialisés (OCDE, 2013). Les décideurs sont préoccupés par cette sous-représentation des filles et des femmes dans ces domaines et s’affairent à comprendre le phénomène, dans le but d’agir pour changer la situation (Drouin et al., 2008; MCCCF, 2011). Or, les facteurs d’influence pour expliquer cet écart entre les garçons et les filles sont nombreux et ne font pas l’objet d’un consensus dans la littérature (Ceci et al., 2009). Toutefois, plusieurs s’entendent pour dire que les mathématiques, importantes dans les profils de formation en STGM, et la façon dont les filles les perçoivent pourraient expliquer, en partie, leurs choix (Rowan-Kenyon et al., 2012 et Wang et al., 2013). Ces auteurs ont aussi suggéré que le contexte social et les croyances des filles au sujet des mathématiques seraient déterminants dans le processus de choix impliquant cette discipline. Un modèle théorique sociocognitif, inspiré par les travaux de Lent et al, (1994-2006), expliquant le processus de choix scolaires et professionnels a permis de conceptualiser les liens entre les déterminants socio-motivationnels spécifiques aux mathématiques. L’objectif général de la présente étude était de mieux documenter l’importance des mathématiques dans les choix de filières de formation menant aux carrières en STGM. Spécifiquement, nous avons examiné les relations entre le rendement en mathématiques, la perception des élèves quant au contexte social (soutien des parents et enseignants), leurs attentes de réussite, la valeur qu’ils accordent aux mathématiques (sentiment d’autoefficacité, anxiété, perception de l’utilité et intérêt) et les choix de filières de formation générale après leur secondaire (sciences humaines sans mathématiques, sciences humaines avec mathématiques, sciences de la santé et sciences pures). Nous avons exploré les distinctions entre les filles et les garçons. Pour ce faire, 1129 élèves finissants ont été questionnés au sujet de leurs motivations en mathématiques et de leurs intentions de formation post-secondaire. Par la suite, une comparaison entre les 583 filles et les 543 garçons a été réalisée par des analyses de régression logistiques multinomiales. Les résultats montrent que plusieurs déterminants permettent de dégager des similitudes et des différences quant aux choix de filières de formation des filles et des garçons. D’abord, il semble que pour la plupart des élèves, filles ou garçons, un rendement élevé et un important soutien des enseignants tel que perçu par les élèves à la fin du secondaire est davantage lié aux choix de filières en sciences pures et en sciences de la santé qu’en sciences humaines avec ou sans mathématiques. Toutefois, le soutien des parents perçu est plus déterminant pour les filles qui choisissent les sciences de la santé que pour les garçons. Le soutien des enseignants perçu est plus déterminant pour les garçons qui choisissent les sciences humaines que pour les filles. Aussi, un faible sentiment d’autoefficacité en mathématiques serait associé au choix de filières en sciences humaines, alors qu’une forte anxiété en mathématiques chez les filles serait associée aux filières en sciences de la santé. Pour les garçons, c’est davantage l’intérêt en mathématiques qui est déterminant pour choisir la filière des sciences pures. La perception de l’utilité des mathématiques est déterminante à la fois pour les garçons et pour les filles qui choisissent les filières de sciences les menant à des carrières en STGM. En somme, nos résultats suggèrent que le soutien en mathématiques de la part des adultes significatifs, tel que perçu par les élèves, est moins prépondérant que les attentes de réussite (sentiment d’autoefficacité et anxiété) et la valeur accordée aux mathématiques (intérêt et utilité perçue) pour comparer les garçons et les filles dans leurs choix de filières. À la lumière des résultats obtenus, il nous semble que l’implantation de mesures, dans les milieux scolaires, pour renforcer le sentiment d’autoefficacité des jeunes filles en mathématiques et surtout pour diminuer leur taux d’anxiété dans cette matière serait une voie prometteuse pour atteindre la parité entre les garçons et les filles dans les filières en STGM.

Crioterapia como tratamento de entorses de tornozelos de atletas: revisão sistemática

A crioterapia é prática comum na medicina esportiva, pela praticidade, facilidade de acesso e baixo custo, possuindo vantajoso uso na Saúde Pública. No entanto, os efeitos analgésicos do gelo tem pouca base objetiva e sistematizada em termos de técnicas, duração e frequência. O objetivo deste estudo foi sintetizar através da revisão sistemática (RS) as evidências relativas à efetividade da crioterapia para o tratamento das entorses de tornozelo de atletas. A RS é um método de pesquisa observacional e retrospectivo, pelo qual se tratam artigos, preferencialmente Ensaios Clínicos Aleatórios – ECA, como sujeitos da investigação, com rigorosos critérios de inclusão e exclusão e, quando possível, realiza-se uma macro estatística dos resultados – metaanálise. No presente RS, foram consultados cinco bancos de dados - Medline, Embase, Cochrane, Lilacs e PEDro para buscar ECA sobre crioterapia com os desfechos dor, edema, rigidez e função. Resultados: 289 estudos foram identificados inicialmente, dos quais nove com tratamentos isolados ou associados à crioterapia, porém apenas um preencheu aos critérios de inclusão, cujo N era 121 atletas, dos quais 64 receberam a crioterapia (funcional) e 57 no grupo controle (imobilização). Maior probabilidade para o evento dor foi observada no grupo controle, após 3 e 12 meses. A RS revelou uma lacuna em ECA dentro do tema, mas não encontrou efeito adverso na prática da crioterapia, sendo um princípio analgésico importante, sobretudo em lesões de tecidos moles.

L’importance du rendement, du soutien des adultes, des attentes de réussite et de la valeur accordée aux mathématiques dans les choix de filières de formation préuniversitaire des étudiantes issues des séquences de mathématiques enrichies

La présente étude s’intéresse aux choix de filières de formation des filles comparées aux garçons. La présence des filles dans les filières de formation dans le domaine des sciences, de la technologie, du génie et de la mathématique (STGM) est moins importante que celle des garçons. Ce fait est documenté dans la plupart des pays industrialisés (OCDE, 2013). Les décideurs sont préoccupés par cette sous-représentation des filles et des femmes dans ces domaines et s’affairent à comprendre le phénomène, dans le but d’agir pour changer la situation (Drouin et al., 2008; MCCCF, 2011). Or, les facteurs d’influence pour expliquer cet écart entre les garçons et les filles sont nombreux et ne font pas l’objet d’un consensus dans la littérature (Ceci et al., 2009). Toutefois, plusieurs s’entendent pour dire que les mathématiques, importantes dans les profils de formation en STGM, et la façon dont les filles les perçoivent pourraient expliquer, en partie, leurs choix (Rowan-Kenyon et al., 2012 et Wang et al., 2013). Ces auteurs ont aussi suggéré que le contexte social et les croyances des filles au sujet des mathématiques seraient déterminants dans le processus de choix impliquant cette discipline. Un modèle théorique sociocognitif, inspiré par les travaux de Lent et al, (1994-2006), expliquant le processus de choix scolaires et professionnels a permis de conceptualiser les liens entre les déterminants socio-motivationnels spécifiques aux mathématiques. L’objectif général de la présente étude était de mieux documenter l’importance des mathématiques dans les choix de filières de formation menant aux carrières en STGM. Spécifiquement, nous avons examiné les relations entre le rendement en mathématiques, la perception des élèves quant au contexte social (soutien des parents et enseignants), leurs attentes de réussite, la valeur qu’ils accordent aux mathématiques (sentiment d’autoefficacité, anxiété, perception de l’utilité et intérêt) et les choix de filières de formation générale après leur secondaire (sciences humaines sans mathématiques, sciences humaines avec mathématiques, sciences de la santé et sciences pures). Nous avons exploré les distinctions entre les filles et les garçons. Pour ce faire, 1129 élèves finissants ont été questionnés au sujet de leurs motivations en mathématiques et de leurs intentions de formation post-secondaire. Par la suite, une comparaison entre les 583 filles et les 543 garçons a été réalisée par des analyses de régression logistiques multinomiales. Les résultats montrent que plusieurs déterminants permettent de dégager des similitudes et des différences quant aux choix de filières de formation des filles et des garçons. D’abord, il semble que pour la plupart des élèves, filles ou garçons, un rendement élevé et un important soutien des enseignants tel que perçu par les élèves à la fin du secondaire est davantage lié aux choix de filières en sciences pures et en sciences de la santé qu’en sciences humaines avec ou sans mathématiques. Toutefois, le soutien des parents perçu est plus déterminant pour les filles qui choisissent les sciences de la santé que pour les garçons. Le soutien des enseignants perçu est plus déterminant pour les garçons qui choisissent les sciences humaines que pour les filles. Aussi, un faible sentiment d’autoefficacité en mathématiques serait associé au choix de filières en sciences humaines, alors qu’une forte anxiété en mathématiques chez les filles serait associée aux filières en sciences de la santé. Pour les garçons, c’est davantage l’intérêt en mathématiques qui est déterminant pour choisir la filière des sciences pures. La perception de l’utilité des mathématiques est déterminante à la fois pour les garçons et pour les filles qui choisissent les filières de sciences les menant à des carrières en STGM. En somme, nos résultats suggèrent que le soutien en mathématiques de la part des adultes significatifs, tel que perçu par les élèves, est moins prépondérant que les attentes de réussite (sentiment d’autoefficacité et anxiété) et la valeur accordée aux mathématiques (intérêt et utilité perçue) pour comparer les garçons et les filles dans leurs choix de filières. À la lumière des résultats obtenus, il nous semble que l’implantation de mesures, dans les milieux scolaires, pour renforcer le sentiment d’autoefficacité des jeunes filles en mathématiques et surtout pour diminuer leur taux d’anxiété dans cette matière serait une voie prometteuse pour atteindre la parité entre les garçons et les filles dans les filières en STGM.

Educational achievement : explanations and implications of recent trends.

Item 1005-C

Young people's socialisation into sport: A case study of an athletics club

This paper explores young people's (9 to 15 years old) early socialisation into sport. We draw on data from an 18-month-long ethnography of the junior section of an athletics club in England, using field notes, interviews and a psychometric questionnaire. We begin by noting a trend towards increasing numbers of younger children participating in adult-organised, community-based sport. Within this context, we investigate the extent to which Siedentop's [(1995) Junior Sport and the evolution of sport cultures, Keynote presentation to the Junior Sport Forum, Auckland, New Zealand] three main goals for young people's participation in sport, i.e. the educative, public health and elite development, are met in specific, local junior sport settings such as Forest Athletics Club (FAC). We report that most of the young people participating in the Introductory Groups at FAC begin their socialisation into sport by 'sampling' a range of sports and other activities that are available to them. We note the key features of the sampling phase for these young people, including their involvement in sports and other activities in addition to athletics, their reasons for participation, the place of competition and the importance of friendship. We report that FAC created a climate for the Samplers, intentionally or not, conducive to the development of Siedentop's educative goal, and to a lesser extent the public health and elite development goals. In concluding, we note the implications of the study for community-based programmes run by clubs.

Are Sri Lankan entrepreneurs motivated by the need for achievement?

The entrepreneurship models in existence in Sri Lanka are often based on the assumptions of n-Ach and personality trait theory. In this paper we describe empirical research into entrepreneurial motivations in Sri Lanka that addresses the neglect of socio-cultural factors. Our findings suggest that entrepreneurial motivation in Sri Lanka is rooted not in a need for individual achievement, but in the conscious or unconscious need to satisfy a sense of social intimacy. The emphasis on social power, social relations and collectivism create a setting for entrepreneurial motivation in Sri Lanka that drives almost directly counter to western ideologies of entrepreneurial motivation (from paper).

TRANSPARÊNCIA PÚBLICA E PARLAMENTO ELETRÔNICO: A reforma do Poder Judiciário no portal do Senado Federal 2000-2004

A Constituição de 1988 e leis subsequentes determinam que o Estado preste informações aos cidadãos e favoreça a sua participação nas questões públicas trata-se do princípio legal da Transparência Administrativa, que compreende os seguintes subprincípios: (1) Informação; (2) Motivação e, o mais importante, (3) Participação e interatividade cidadãs. O alto investimento na Comunicação Estatal e os avanços tecnológicos, por si sós, não garantem a prática da transparência pública ou da democratização da informação. Sob uma perspectiva multidisciplinar, esta pesquisa discutiu o princípio legal de Transparência Administrativa, comparativamente à Teoria da Comunicação, com o objetivo de propor um conceito de Comunicação Estatal que, de fato, corresponda aos ideais e à ética necessários à Comunicação Pública. Para o desenvolvimento deste estudo foi investigada a relação da comunicação com o grau de transparência alcançado no portal do Senado Federal. O estudo analisou a tramitação da reforma do Poder Judiciário no período de 2000 a 2004, tendo em vista os três subprincípios legais da Transparência Pública. A análise contemplou, no portal do Senado, o trabalho jornalístico e a disponibilização on-line de textos digitais referentes a documentos originais, tais como atas públicas e notas taquigráficas. A metodologia, de enfoques quantitativo e qualitativo, teve como instrumento principal a Nova Retórica, para análise de matérias jornalísticas e textos documentais. Para averiguação da interatividade conceito que fundamenta o ideal de justiça , foram estabelecidos critérios analíticos a partir da intersecção entre os conceitos de transparência e E-parliaments. Constatou-se que o portal do Senado, no referente à reforma da Justiça, alcançou graus de transparência, atendendo mais aos subprincípios da informação e da motivação em detrimento aos da participação e interatividade cidadãs.(AU)

Aspects of the design and control of manufacturing systems subject to demand uncertainty

The recent explosive growth in advanced manufacturing technology (AMT) and continued development of sophisticated information technologies (IT) is expected to have a profound effect on the way we design and operate manufacturing businesses. Furthermore, the escalating capital requirements associated with these developments have significantly increased the level of risk associated with initial design, ongoing development and operation. This dissertation has examined the integration of two key sub-elements of the Computer Integrated Manufacturing (CIM) system, namely the manufacturing facility and the production control system. This research has concentrated on the interactions between production control (MRP) and an AMT based production facility. The disappointing performance of such systems has been discussed in the context of a number of potential technological and performance incompatibilities between these two elements. It was argued that the design and selection of operating policies for both is the key to successful integration. Furthermore, policy decisions are shown to play an important role in matching the performance of the total system to the demands of the marketplace. It is demonstrated that a holistic approach to policy design must be adopted if successful integration is to be achieved. It is shown that the complexity of the issues resulting from such an approach required the formulation of a structured design methodology. Such a methodology was subsequently developed and discussed. This combined a first principles approach to the behaviour of system elements with the specification of a detailed holistic model for use in the policy design environment. The methodology aimed to make full use of the `low inertia' characteristics of AMT, whilst adopting a JIT configuration of MRP and re-coupling the total system to the market demands. This dissertation discussed the application of the methodology to an industrial case study and the subsequent design of operational policies. Consequently a novel approach to production control resulted. A central feature of which was a move toward reduced manual intervention in the MRP processing and scheduling logic with increased human involvement and motivation in the management of work-flow on the shopfloor. Experimental results indicated that significant performance advantages would result from the adoption of the recommended policy set.

Event trigger identification for biomedical events extraction using domain knowledge

Motivation: In molecular biology, molecular events describe observable alterations of biomolecules, such as binding of proteins or RNA production. These events might be responsible for drug reactions or development of certain diseases. As such, biomedical event extraction, the process of automatically detecting description of molecular interactions in research articles, attracted substantial research interest recently. Event trigger identification, detecting the words describing the event types, is a crucial and prerequisite step in the pipeline process of biomedical event extraction. Taking the event types as classes, event trigger identification can be viewed as a classification task. For each word in a sentence, a trained classifier predicts whether the word corresponds to an event type and which event type based on the context features. Therefore, a well-designed feature set with a good level of discrimination and generalization is crucial for the performance of event trigger identification. Results: In this article, we propose a novel framework for event trigger identification. In particular, we learn biomedical domain knowledge from a large text corpus built from Medline and embed it into word features using neural language modeling. The embedded features are then combined with the syntactic and semantic context features using the multiple kernel learning method. The combined feature set is used for training the event trigger classifier. Experimental results on the golden standard corpus show that >2.5% improvement on F-score is achieved by the proposed framework when compared with the state-of-the-art approach, demonstrating the effectiveness of the proposed framework. © 2014 The Author 2014. The source code for the proposed framework is freely available and can be downloaded at http://cse.seu.edu.cn/people/zhoudeyu/ETI_Sourcecode.zip.

Making Sense of Home and Homeland: Former-Soviet Greeks' Motivations and Strategies for a Transnational Migrant Circuit

Focusing on former-Soviet Greeks' experiences of cross-border movement to Greece, this paper sheds light on the impact of this migration on the social identities of Russian Greeks as a transnational community. It draws on informants’ narratives and ethnographic observations recorded among Greek migrants in their home communities in southern Russia, and shows how their motivation, in their transnational movement, is determined by the ‘push-and-pull’ forces of socio-economic and political transformations in post-Soviet space. In these conditions, Greek identity becomes a resource which facilitates the organisation of transnational migration. The cultural, social and economic differences between the former-Soviet Greek migrants and the native-born population of Greece result in the emergence of a Pontic-Greek cultural identity which emphasises migrants’ connections with the former USSR. The difficulties of economic and cultural adaptation for migrants to Greece are examined in relation to the Russian Greeks' economic strategies within their home communities and their perception of the ‘homeland’ as a constantly contested and relocated social construct.

Perspective work on optical fibre sensors

Optical fibre based sensors are transforming industry by permitting monitoring in hitherto inaccessible environments or measurement approaches that cannot be reproduced using conventional electronic sensors. A multitude of techniques have been developed to render the fibres sensitive to a wide range of parameters including: temperature, strain, pressure (static and dynamic), acceleration, rotation, gas type, and specific biochemical species. Constructed entirely of glass or polymer material, optical fibre devices like fibre gratings offer the properties: low loss, dielectric construction, small size, multiplexing, and so on [1-3]. In this paper, the authors will show the latest developing industrial applications, using polymer optical fibre (POF) devices, and comparing their performance with silica optical fibre devices. The authors address two pressing commercial requirements. The first concerns the monitoring of fuel level in civil aircraft. There is a strong motivation in the aerospace industry to move away from electrical sensors, especially in the fuel system. This is driven by the need to eliminate potential ignition hazards, the desire to reduce cabling weight and the need to mitigate the effects of lightning strikes in aircraft where the conventional metallic skin is increasingly being replaced by composite materials. In this case, the authors have developed pressure sensors based on a diaphragm in which a polymer fibre Bragg grating (POFBG) has been embedded [3]. These devices provide high pressure sensitivity enabling level measurement in the mm range. Also, it has developed an approach incorporating several such sensors which can compensate for temperature drifts and is insensitive to fluid density. Compared with silica fibre-based sensors, their performance is highly enhanced. Initial results have attracted the interest of Airbus from UK, who is keen to explore the potential of optical technology in commercial aircraft. The second concerns the monitoring of acoustic signals and vibration in the subsea environment, for applications in geophysical surveying and security (detection of unwanted craft or personnel). There is strong motivation to move away from electrical sensors due to the bulk of the sensor and associated cabling and the impossibility of monitoring over large distances without electrical amplification. Optical approaches like optical hydrophones [5] offer a means of overcoming these difficulties. In collaboration with Kongsberg from Norway, the authors will exploit the sensitivity improvements possible by using POF instead of silica fibre. These improvements will arise as a result of the much more compliant nature of POF compared to silica fibre (3 GPa vs 72 GPa, respectively). Essentially, and despite the strain sensitivity of silica and POFBGs being very similar, this renders the POF much more sensitive to the applied stress resulting from acoustic signals or vibration. An alternative way of viewing this is that the POF is better impedance-matched to the surrounding environment (water for the intended applications), because although its impedance is higher than that of water, it is nearly an order of magnitude smaller than that of silica. Finally, other future industrial applications will be presented and discussed, showing the vast range of the optical fiber devices in sensing applications.

Accurate estimation of isoelectric point of protein and peptide based on amino acid sequences

Motivation: In any macromolecular polyprotic system - for example protein, DNA or RNA - the isoelectric point - commonly referred to as the pI - can be defined as the point of singularity in a titration curve, corresponding to the solution pH value at which the net overall surface charge - and thus the electrophoretic mobility - of the ampholyte sums to zero. Different modern analytical biochemistry and proteomics methods depend on the isoelectric point as a principal feature for protein and peptide characterization. Protein separation by isoelectric point is a critical part of 2-D gel electrophoresis, a key precursor of proteomics, where discrete spots can be digested in-gel, and proteins subsequently identified by analytical mass spectrometry. Peptide fractionation according to their pI is also widely used in current proteomics sample preparation procedures previous to the LC-MS/MS analysis. Therefore accurate theoretical prediction of pI would expedite such analysis. While such pI calculation is widely used, it remains largely untested, motivating our efforts to benchmark pI prediction methods. Results: Using data from the database PIP-DB and one publically available dataset as our reference gold standard, we have undertaken the benchmarking of pI calculation methods. We find that methods vary in their accuracy and are highly sensitive to the choice of basis set. The machine-learning algorithms, especially the SVM-based algorithm, showed a superior performance when studying peptide mixtures. In general, learning-based pI prediction methods (such as Cofactor, SVM and Branca) require a large training dataset and their resulting performance will strongly depend of the quality of that data. In contrast with Iterative methods, machine-learning algorithms have the advantage of being able to add new features to improve the accuracy of prediction. Contact: yperez@ebi.ac.uk Availability and Implementation: The software and data are freely available at https://github.com/ypriverol/pIR. Supplementary information: Supplementary data are available at Bioinformatics online.

The effectiveness of workplace coaching:A meta-analysis of learning and performance outcomes; scale development; theoretical model of individual differences and longitudinal study

The extant literature on workplace coaching is characterised by a lack of theoretical and empirical understanding regarding the effectiveness of coaching as a learning and development tool; the types of outcomes one can expect from coaching; the tools that can be used to measure coaching outcomes; the underlying processes that explain why and how coaching works and the factors that may impact on coaching effectiveness. This thesis sought to address these substantial gaps in the literature with three linked studies. Firstly, a meta-analysis of workplace coaching effectiveness (k = 17), synthesizing the existing research was presented. A framework of coaching outcomes was developed and utilised to code the studies. Analysis indicated that coaching had positive effects on all outcomes. Next, the framework of outcomes was utilised as the deductive start-point to the development of the scale measuring perceived coaching effectiveness. Utilising a multi-stage approach (n = 201), the analysis indicated that perceived coaching effectiveness may be organised into a six factor structure: career clarity; team performance; work well-being; performance; planning and organizing and personal effectiveness and adaptability. The final study was a longitudinal field experiment to test a theoretical model of individual differences and coaching effectiveness developed in this thesis. An organizational sample of 84 employees each participated in a coaching intervention, completed self-report surveys, and had their job performance rated by peers, direct reports and supervisors (a total of 352 employees provided data on participant performance). The results demonstrate that compared to a control group, the coaching intervention generated a number of positive outcomes. The analysis indicated that coachees’ enthusiasm, intellect and orderliness influenced the impact of coaching on outcomes. Mediation analysis suggested that mastery goal orientation, performance goal orientation and approach motivation in the form of behavioural activation system (BAS) drive, were significant mediators between personality and outcomes. Overall, the findings of this thesis make an original contribution to the understanding of the types of outcomes that can be expected from coaching, and the magnitude of impact coaching has on outcomes. The thesis also provides a tool for reliably measuring coaching effectiveness and a theoretical model to understand the influence of coachee individual differences on coaching outcomes.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^