An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

The influence of the cross -race effect on lineup construction and fairness

Lineup procedures have recently garnered extensive empirical attention, in an effort to reduce the number of mistaken identifications that plague the criminal justice system. Relatively little attention, however, has been paid to the influence of the lineup constructor or the lineup construction technique on the quality of the lineup. This study examined whether the cross-race effect has an influence on the quality of lineups constructed using a match-to-suspect or match-to-description technique in a series of three phases. Participants generated descriptions of same- and other-race targets in Phase 1, which were used in Phase 2. In Phase 2, participants were asked to create lineups for own-race targets and other-race targets using one of two techniques. The lineups created in this phase were examined for lineup quality in Phase 3 by calculating lineup fairness assessments through the use of a mock witness paradigm. ^ Overall, the results of these experiment phases suggest that the race of those involved in the lineup construction process influences lineups. There was no difference in witness description accuracy in Phase 1, which ran counter to predictions based on the cross-race effect. The cross-race effect was observed, however, in Phases 2 and 3. The lineup construction technique used also influenced several of the process measures, selection estimates, and fairness judgments in Phase 2. Interestingly, the presence of the cross-race effect was in the opposite direction as predicted for some measures in both phases. In Phase 2, the cross-race effect was as predicted for number of foils viewed, but in the opposite direction for average time spent viewing each foil. In Phase 3, the cross-race effect was in the opposite direction than predicted, with higher levels of lineup fairness in other-race lineups. The practical implications of these findings are discussed in relation to lineup fairness within the legal system. ^

Quality of student involvement and college contribution toward development of traditional and nontraditional undergraduate students

Nontraditional students differ from traditional students on characteristics such as age, employment status, marital status, and parental status. The quality of a student's experience is important as it relates to his or her transformation and is a reflection of the quality of the college. ^ Using theory of involvement as a framework, the purpose of this study was to test if there were differences between traditional and nontraditional undergraduate students in their ratings of quality of college involvement (academic, co-curricular, student interactions, and faculty interactions) and perceptions of college contribution toward development (intellectual, personal, social, and career). A two part survey was distributed to a random cluster sample of sophomore and higher level undergraduate classes equaling 400 undergraduate students. ^ Results of a 2 x 4 repeated measures ANOVA indicated that traditional students rated quality for co-curricular involvement and student involvement significantly higher than nontraditional students. Both traditional and nontraditional students had similar ratings of college contribution toward development. There were different patterns of correlations between involvement and development. Traditional students' ratings of academic and student involvement were more highly correlated with development than were the ratings of nontraditional students. However, nontraditional students' ratings of academic and faculty involvement were more highly correlated with development. When testing for differences in correlations between quality of involvement and college contribution toward development, the largest observed differences were quality of student involvement and college contribution toward personal and social development. Although not significantly different, traditional students had stronger correlations between those factors than did the nontraditional students. ^ This research demonstrates the importance of using social role when defining student type. It contributes to involvement theory by explaining how traditional and nontraditional students differ in their ratings of quality of involvement. Further, it identifies different patterns of correlations between ratings of quality of involvement and college contribution toward development for the two types of students. While traditional students may need a more rounded college experience that includes more social and co-curricular experiences, nontraditional students use the classroom as their stage for learning. ^

A study of the implementation of junior college *evaluation system in Taiwan

Since the establishment of the evaluation system in 1975, the junior colleges in the Republic of China (Taiwan), have gone through six formal evaluations. We know that evaluation in schooling, like quality control in businesses, should be a systematic, formal, and a continual process. It can doubtless serve as a strategy to refine the quality of education. The purpose of this research is to explore the current practice of junior college evaluation in Taiwan. This provides insight into the development of and quality of the current evaluation system. Moreover, this study also identified the source of problems with the current evaluation system and provided suggestion for improvements.^ In order to attain the above purposes, this research was undertaken in both theoretical and practical ways. First, theoretically, on the basis of a literature review, the theories of educational evaluation and, according to the course and principles of development, a view of the current practice in Taiwan. Secondly, in practice, by means of questionnaires, an analysis of the views of evaluation committeemen, junior college presidents, and administrators were obtained on evaluation models, methods, contents, organization, functions, criteria, grades reports, and others with suggestions for improvement. The summary of findings concludes that most evaluators and evaluatees think the purpose of evaluation can help the colleges explore their difficulties and problems. In addition, it was found that there is significant difference between the two groups regarding the evaluation methods, contents, organization, functions, criteria, grades reports and others, while analyzing these objective data forms the basis for an improved method of evaluation for Junior Colleges in Taiwan. ^

A Modeling Approach to Determine the Impacts of Land Use and Climate Change Scenarios on the Water Flux of the Upper Mara River

With the flow of the Mara River becoming increasingly erratic especially in the upper reaches, attention has been directed to land use change as the major cause of this problem. The semi-distributed hydrological model Soil and Water Assessment Tool 5 (SWAT) and Landsat imagery were utilized in the upper Mara River Basin in order to 1) map existing field scale land use practices in order to determine their impact 2) determine the impacts of land use change on water flux; and 3) determine the impacts of rainfall (0%, ±10% and ±20%) and air temperature variations (0% and +5%) based on the Intergovernmental Panel on Climate Change projections on the water flux of the 10 upper Mara River. This study found that the different scenarios impacted on the water balance components differently. Land use changes resulted in a slightly more erratic discharge while rainfall and air temperature changes had a more predictable impact on the discharge and water balance components. These findings demonstrate that the model results 15 show the flow was more sensitive to the rainfall changes than land use changes. It was also shown that land use changes can reduce dry season flow which is the most important problem in the basin. The model shows also deforestation in the Mau Forest increased the peak flows which can also lead to high sediment loading in the Mara River. The effect of the land use and climate change scenarios on the sediment and 20 water quality of the river needs a thorough understanding of the sediment transport processes in addition to observed sediment and water quality data for validation of modeling results.

Quality of student involvement and college contribution toward development of traditional and nontraditional undergraduate students

Nontraditional students differ from traditional students on characteristics such as age, employment status, marital status, and parental status. The quality of a student's experience is important as it relates to his or her transformation and is a reflection of the quality of the college. Using theory of involvement as a framework, the purpose of this study was to test if there were differences between traditional and nontraditional undergraduate students in their ratings of quality of college involvement (academic, co-curricular, student interactions, and faculty interactions) and perceptions of college contribution toward development (intellectual, personal, social, and career). A two part survey was distributed to a random cluster sample of sophomore and higher level undergraduate classes equaling 400 undergraduate students. Results of a 2 X 4 repeated measures ANOVA indicated that traditional students rated quality for co-curricular involvement and student involvement significantly higher than nontraditional students. Both traditional and nontraditional students had similar ratings of college contribution toward development. There were different patterns of correlations between involvement and development. Traditional students' ratings of academic and student involvement were more highly correlated with development than were the ratings of nontraditional students. However, nontraditional students' ratings of academic and faculty involvement were more highly correlated with development. When testing for differences in correlations between quality of involvement and college contribution toward development, the largest observed differences were quality of student involvement and college contribution toward personal and social development. Although not significantly different, traditional students had stronger correlations between those factors than did the nontraditional students. This research demonstrates the importance of using social role when defining student type. It contributes to involvement theory by explaining how traditional and nontraditional students differ in their ratings of quality of involvement. Further, it identifies different patterns of correlations between ratings of quality of involvement and college contribution toward development for the two types of students. While traditional students may need a more rounded college experience that includes more social and co-curricular experiences, nontraditional students use the classroom as their stage for learning.

Trading democracy for security? The effects of the international drug war on the quality of democracy in the Dominican Republic, 1996–2008

The purpose of the research is to study the relationship between international drug interdiction policies and domestic politics in fragile democracies, and to demonstrate how international drug control policies and the use of force fit the rhetoric of war, are legitimized by the principles of a just war, but may also cause collateral damage and negative unintended consequences. The method used is a case study of the Dominican Republic. The research has found that international drug control regimes, primarily led by the U.S. and narrowly focused on interdiction, have influenced an increasingly militarized approach to domestic law enforcement in the Dominican Republic. The collateral damage caused by militarized enforcement comes in the form of negative perceptions of citizen security, loss of respect for the rule of law and due process, and low levels of civil society development. The drug war has exposed the need for significant reform of the institutions charged with carrying out enforcement, the police force and the judicial system in particular. The dissertation concludes that the extent of drug trafficking in the Dominican Republic is beyond the scope of domestic reform efforts alone, but that the programs implemented do show some potential for future success. The dissertation also concludes that the framework of warfare is not the most appropriate for the international problems of drug traffic and abuse. A broader, multipronged approach should be considered by world policy makers in order to address all conditions that allow drugs to flourish without infringing upon democratic and civil rights in the process.

Trading Democracy for Security? The Effects of the International Drug War on the Quality of Democracy in the Dominican Republic, 1996 -2008

The purpose of the research is to study the relationship between international drug interdiction policies and domestic politics in fragile democracies, and to demonstrate how international drug control policies and the use of force fit the rhetoric of war, are legitimized by the principles of a just war, but may also cause collateral damage and negative unintended consequences. The method used is a case study of the Dominican Republic. The research has found that international drug control regimes, primarily led by the U.S. and narrowly focused on interdiction, have influenced an increasingly militarized approach to domestic law enforcement in the Dominican Republic. The collateral damage caused by militarized enforcement comes in the form of negative perceptions of citizen security, loss of respect for the rule of law and due process, and low levels of civil society development. The drug war has exposed the need for significant reform of the institutions charged with carrying out enforcement, the police force and the judicial system in particular. The dissertation concludes that the extent of drug trafficking in the Dominican Republic is beyond the scope of domestic reform efforts alone, but that the programs implemented do show some potential for future success. The dissertation also concludes that the framework of warfare is not the most appropriate for the international problems of drug traffic and abuse. A broader, multipronged approach should be considered by world policy makers in order to address all conditions that allow drugs to flourish without infringing upon democratic and civil rights in the process.