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.

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

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

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

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.

Assessing the effectiveness of five-year mechanical engineering technology programs of junior colleges in Taiwan, R.O.C.: An application of the CIPP evaluation model

The purpose of this study was to evaluate the mechanical engineering technology curriculum effectiveness at the junior college in Taiwan by using the CIPP evaluation model. The study concerned the areas of the curriculum, curriculum materials, individualized instruction, support services, teaching effectiveness, student achievement, and job performance. A descriptive survey method was used with questionnaires for data collection from faculty, students, graduates, and employers.^ All categories of respondents tended to agree that the curriculum provides appropriate occupational knowledge and skills. Students, graduates, and faculty tended to be satisfied with the curriculum; faculty tended to be satisfied with student achievement; graduates tended to be satisfied with their job preparation; and employers were most satisfied with graduates' job performance.^ Conclusions were drawn in the context, input, process, and product of the CIPP model. In Context area: Students were dissatisfied with curriculum flexibility in students characteristics. Graduates were dissatisfied with curriculum design for student's adaptability in new economic and industrial conditions; practicum flexibility in student characteristics; and course overlap. Both students and graduates were dissatisfied with practicum credit hours. Both faculty and students were dissatisfied with the number of required courses.^ In Input area: Students, faculty, and graduates perceived audiovisuals and manipulative aids positively. Faculty and students perceive CAI implementation positively. Students perceived textbooks negatively.^ In Process area: Faculty, students, and graduates perceived all support service negatively. Faculty tended to perceive the ratios of graduates who enter advanced study and related occupation, and who passed the professional skills certification, negatively. Students tended to perceive teaching effectiveness in terms of instructional strategies, the quality of instruction, overall suitability, and receivable, negatively. Graduates also tended to identify the instructional strategies as a negative perception. Faculty and students perceived curriculum objectives and practicum negatively. Both faculty and students felt that instructors should be more interested in making the courses a useful learning experience.^ In Product area: Employers were satisfied with graduates' academic preparation and job performance, adaptability, punctuality, and their ability to communicate, cooperate, and meet organization needs. Graduates were weak in terms of equipment familiarity and supervisory ability.^ In sum, the curriculum of the five-year mechanical engineering technology programs of junior college in Taiwan has served adequately up to this time in preparing a work force to enter industry. It is now time to look toward the future and adapt the curriculum and instruction for the future needs of this high-tech society. ^

Online Education, Accrediting Standards, and Student Success: An Examination of the Relationship Between the Southern Association of Colleges and Schools Commission on Colleges Standards for Online Education and Student Success

Prior to 2000, there were less than 1.6 million students enrolled in at least one online course. By fall 2010, student enrollment in online distance education showed a phenomenal 283% increase to 6.1 million. Two years later, this number had grown to 7.1 million. In light of this significant growth and skepticism about quality, there have been calls for greater oversight of this format of educational delivery. Accrediting bodies tasked with this oversight have developed guidelines and standards for online education. There is a lack of empirical studies that examine the relationship between accrediting standards and student success. The purpose of this study was to examine the relationship between the presence of Southern Association of Colleges and Schools Commission on College (SACSCOC) standards for online education in online courses, (a) student support services and (b) curriculum and instruction, and student success. An original 24-item survey with an overall reliability coefficient of .94 was administered to students (N=464) at Florida International University, enrolled in 24 university-wide undergraduate online courses during fall 2014, who rated the presence of these standards in their online courses. The general linear model was utilized to analyze the data. The results of the study indicated that the two standards, student support services and curriculum and instruction were both significantly and positively correlated with student success but with small R2 and strengths of association less than .35 and .20 respectively. Mixed results were produced from Chi-square tests for differences in student success between higher and lower rated online courses when controlling for various covariates such as discipline, gender, race/ethnicity, GPA, age, and number of online courses previously taken. A multiple linear regression analysis revealed that the curriculum and instruction standard was the only variable that accounted for a significant amount of unique variance in student success. Another regression test revealed that no significant interaction effect exists between the two SACSCOC standards and GPA in predicting student success. The results of this study are useful for administrators, faculty, and researchers who are interested in accreditation standards for online education and how these standards relate to student success.

Online education, accrediting standards, and student success: An examination of the relationship between the southern association of colleges and schools commission on colleges standards for online education and student success

Prior to 2000, there were less than 1.6 million students enrolled in at least one online course. By fall 2010, student enrollment in online distance education showed a phenomenal 283% increase to 6.1 million. Two years later, this number had grown to 7.1 million. In light of this significant growth and skepticism about quality, there have been calls for greater oversight of this format of educational delivery. Accrediting bodies tasked with this oversight have developed guidelines and standards for online education. ^ There is a lack of empirical studies that examine the relationship between accrediting standards and student success. The purpose of this study was to examine the relationship between the presence of Southern Association of Colleges and Schools Commission on College (SACSCOC) standards for online education in online courses, (a) student support services and (b) curriculum and instruction, and student success. An original 24-item survey with an overall reliability coefficient of .94 was administered to students (N=464) at Florida International University, enrolled in 24 university-wide undergraduate online courses during fall 2014, who rated the presence of these standards in their online courses. The general linear model was utilized to analyze the data. The results of the study indicated that the two standards, student support services and curriculum and instruction were both significantly and positively correlated with student success but with small R2 and strengths of association less than .35 and .20 respectively. Mixed results were produced from Chi-square tests for differences in student success between higher and lower rated online courses when controlling for various covariates such as discipline, gender, race/ethnicity, GPA, age, and number of online courses previously taken. A multiple linear regression analysis revealed that the curriculum and instruction standard was the only variable that accounted for a significant amount of unique variance in student success. Another regression test revealed that no significant interaction effect exists between the two SACSCOC standards and GPA in predicting student success. ^ The results of this study are useful for administrators, faculty, and researchers who are interested in accreditation standards for online education and how these standards relate to student success.^