Self-determination theory and student motivation in social studies in an urban Broward County public high school

This study investigated how students perceived their motivation in high school social studies classes in school and to determine if a correlation exists between students’ grade level, race, gender, and their motivation. The sample included 337 high school students in Broward County, Florida. To assess students’ perceptions on their motivation the academic self-regulation questionnaire was utilized. Results indicate that social studies students show high levels of external regulation, with a mean score at 22.31 on a scale of 36 points. The results show a mean score of 24 on a scale of 28 points for identified regulation among social studies students. Findings revealed that student motivation could be gauged. No statistical significance was found between high school students’ grade level, race, gender, and their motivation in social studies classes. The findings of this study have shown that students at Boyd H. Anderson High School want to learn social studies.

Public Service Motivation in Public and Nonprofit Service Providers: The Cases of Belarus and Poland

The work motivation construct is central to the theory and practice of many social science disciplines. Yet, due to the novelty of validated measures appropriate for a deep cross-national comparison, studies that contrast different administrative regimes remain scarce. This study represents an initial empirical effort to validate the Public Service Motivation (PSM) instrument proposed by Kim and colleagues (2013) in a previously unstudied context. The two former communist countries analyzed in this dissertation—Belarus and Poland— followed diametrically opposite development strategies: a fully decentralized administrative regime in Poland and a highly centralized regime in Belarus. The employees (n = 677) of public and nonprofit organizations in the border regions of Podlaskie Wojewodstwo (Poland) and Hrodna Voblasc (Belarus) are the subjects of study. Confirmatory factor analysis revealed three dimensions of public service motivation in the two regions: compassion, self-sacrifice, and attraction to public service. The statistical models tested in this dissertation suggest that nonprofit sector employees exhibit higher levels of PSM than their public sector counterparts. Nonprofit sector employees also reveal a similar set of values and work attitudes across the countries. Thus, the study concludes that in terms of PSM, employees of nonprofit organizations constitute a homogenous group that exists atop the administrative regimes. However, the findings propose significant differences between public sector agencies across the two countries. Contrary to expectations, data suggest that organization centralization in Poland is equal to—or for some items even higher than—that of Belarus. We can conclude that the absence of administrative decentralization of service provision in a country does not necessarily undermine decentralized practices within organizations. Further analysis reveals strong correlations between organization centralization and PSM for the Polish sample. Meanwhile, in Belarus, correlations between organization centralization items and PSM are weak and mostly insignificant. The analysis indicates other factors beyond organization centralization that significantly impact PSM in both sectors. PSM of the employees in the studied region is highly correlated with their participation in religious practices, political parties, or labor unions as well as location of their organization in a capital and type of social service provided.

Public service motivation in public and nonprofit service providers: The cases of Belarus and Poland

The work motivation construct is central to the theory and practice of many social science disciplines. Yet, due to the novelty of validated measures appropriate for a deep cross-national comparison, studies that contrast different administrative regimes remain scarce. This study represents an initial empirical effort to validate the Public Service Motivation (PSM) instrument proposed by Kim and colleagues (2013) in a previously unstudied context. The two former communist countries analyzed in this dissertation—Belarus and Poland—followed diametrically opposite development strategies: a fully decentralized administrative regime in Poland and a highly centralized regime in Belarus. The employees (n = 677) of public and nonprofit organizations in the border regions of Podlaskie Wojewodstwo (Poland) and Hrodna Voblasc (Belarus) are the subjects of study. ^ Confirmatory factor analysis revealed three dimensions of public service motivation in the two regions: compassion, self-sacrifice, and attraction to public service. The statistical models tested in this dissertation suggest that nonprofit sector employees exhibit higher levels of PSM than their public sector counterparts. Nonprofit sector employees also reveal a similar set of values and work attitudes across the countries. Thus, the study concludes that in terms of PSM, employees of nonprofit organizations constitute a homogenous group that exists atop the administrative regimes. ^ However, the findings propose significant differences between public sector agencies across the two countries. Contrary to expectations, data suggest that organization centralization in Poland is equal to—or for some items even higher than—that of Belarus. We can conclude that the absence of administrative decentralization of service provision in a country does not necessarily undermine decentralized practices within organizations. Further analysis reveals strong correlations between organization centralization and PSM for the Polish sample. Meanwhile, in Belarus, correlations between organization centralization items and PSM are weak and mostly insignificant. ^ The analysis indicates other factors beyond organization centralization that significantly impact PSM in both sectors. PSM of the employees in the studied region is highly correlated with their participation in religious practices, political parties, or labor unions as well as location of their organization in a capital and type of social service provided.^

The political economy of poverty alleviation strategies. The initiative for heavily indebted poor countries in Bolivia: More of the same

In the year 2000, approximately 1.1 billion people lived in extreme poverty while developed countries spent US$600 billion a year on defense. The Heavily Indebted Poor Countries (HIPC) Initiative is a recent component of a larger poverty reduction strategy supported by the International Financial Institutions, as well as many developed and developing countries. By implementing lessons of the past fifty years, this program attempts to diminish misery around the globe. As such, it provides debt relief while seeking to enable the poorest countries to simultaneously attain sustainable debt and promote human development. Interest in poverty reduction around the globe reemerged in the 1990s. This study contributes directly to this recent effort by presenting a nuanced approach that builds on the stepping-stones generated by other poverty scholars. To fulfill its goal, this investigation applies a political economy framework. Within this framework, the author conducts an actor-specific analysis. This dissertation addresses the following question: How do domestic and international actors respond to the implementation of poverty alleviation strategies? The author assumes actors desire to maximize their utility calculation and suggests these calculations are based on the player's motivations and external influences. Based on their motivations, the external influences, and the initiative's guidelines, each actor develops a set of expectations. To fulfill those expectations, stake holders utilize one or several strategies. Finally, the actors' ability to achieve their expectations determines each player's assessment of the initiative. The framework described is applied in an in-depth, actor-specific analysis of the HIPC in Bolivia. Bolivia's National Revolution represents the country's first attempt at reducing poverty. Since then, all governments have taken specific steps to combat poverty at the local and national levels. The Initiative for Heavily Indebted Poor Countries (HIPC) is one of the most recent macro strategies of this kind. The case study demonstrated that three factors (national ownership, effective sponsorship and the local context) determine the success levels of poverty reduction strategies from abroad. In addition, the investigation clearly shows that poverty reduction is not the sole motivation in the implementation of poverty alleviation strategies. All actors, however, share the dream of poverty reduction.

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.^

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.