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.

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

Efficient storage and domain-specific information discovery on semistructured documents

The increasing amount of available semistructured data demands efficient mechanisms to store, process, and search an enormous corpus of data to encourage its global adoption. Current techniques to store semistructured documents either map them to relational databases, or use a combination of flat files and indexes. These two approaches result in a mismatch between the tree-structure of semistructured data and the access characteristics of the underlying storage devices. Furthermore, the inefficiency of XML parsing methods has slowed down the large-scale adoption of XML into actual system implementations. The recent development of lazy parsing techniques is a major step towards improving this situation, but lazy parsers still have significant drawbacks that undermine the massive adoption of XML. ^ Once the processing (storage and parsing) issues for semistructured data have been addressed, another key challenge to leverage semistructured data is to perform effective information discovery on such data. Previous works have addressed this problem in a generic (i.e. domain independent) way, but this process can be improved if knowledge about the specific domain is taken into consideration. ^ This dissertation had two general goals: The first goal was to devise novel techniques to efficiently store and process semistructured documents. This goal had two specific aims: We proposed a method for storing semistructured documents that maps the physical characteristics of the documents to the geometrical layout of hard drives. We developed a Double-Lazy Parser for semistructured documents which introduces lazy behavior in both the pre-parsing and progressive parsing phases of the standard Document Object Model’s parsing mechanism. ^ The second goal was to construct a user-friendly and efficient engine for performing Information Discovery over domain-specific semistructured documents. This goal also had two aims: We presented a framework that exploits the domain-specific knowledge to improve the quality of the information discovery process by incorporating domain ontologies. We also proposed meaningful evaluation metrics to compare the results of search systems over semistructured documents. ^

Exploratory Study of the Download Speed of Leading University Hospitality and Tourism Department Websites Worldwide

Increased broadband penetration (BP) rates around the world have encouraged web designers to include more web content and additional functions on their web sites, thereby enhancing the richness and playfulness of the information. However, it is often very difficult for web surfers who are still using narrowband connections to access such web sites. Many university web sites target international audiences; therefore their download performance should be considered, as it may directly influence the user experience. This exploratory study examined 331 university hospitality and tourism department web sites in 37 countries. The empirical results showed that entry web pages of universities in Asia, with a medium BP rate (mid-BP), have the slowest download speeds, and those in Australia and New Zealand perform the best. The adoption rate of the Cascade Style Sheet (CSS) in Asia is relatively lower than that of other regions.

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

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

Efficient Storage and Domain-Specific Information Discovery on Semistructured Documents

The increasing amount of available semistructured data demands efficient mechanisms to store, process, and search an enormous corpus of data to encourage its global adoption. Current techniques to store semistructured documents either map them to relational databases, or use a combination of flat files and indexes. These two approaches result in a mismatch between the tree-structure of semistructured data and the access characteristics of the underlying storage devices. Furthermore, the inefficiency of XML parsing methods has slowed down the large-scale adoption of XML into actual system implementations. The recent development of lazy parsing techniques is a major step towards improving this situation, but lazy parsers still have significant drawbacks that undermine the massive adoption of XML. Once the processing (storage and parsing) issues for semistructured data have been addressed, another key challenge to leverage semistructured data is to perform effective information discovery on such data. Previous works have addressed this problem in a generic (i.e. domain independent) way, but this process can be improved if knowledge about the specific domain is taken into consideration. This dissertation had two general goals: The first goal was to devise novel techniques to efficiently store and process semistructured documents. This goal had two specific aims: We proposed a method for storing semistructured documents that maps the physical characteristics of the documents to the geometrical layout of hard drives. We developed a Double-Lazy Parser for semistructured documents which introduces lazy behavior in both the pre-parsing and progressive parsing phases of the standard Document Object Model's parsing mechanism. The second goal was to construct a user-friendly and efficient engine for performing Information Discovery over domain-specific semistructured documents. This goal also had two aims: We presented a framework that exploits the domain-specific knowledge to improve the quality of the information discovery process by incorporating domain ontologies. We also proposed meaningful evaluation metrics to compare the results of search systems over semistructured documents.

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.

The effect of a breakfast program on nutritional status, quality of life, and health care use among frail homebound older adults

The population of older adults is rapidly increasing, creating a need for community services that assist vulnerable older adults in maintaining independence and quality of life. Recent evidence confirms the importance of food and nutrition in reaching this objective. The Elderly Nutrition Program (ENP) is part of a system of federally funded community based programs, authorized through the Older Americans Act. ENP services include the home-delivered meals program, which targets frail homebound older adults at nutritional risk. Traditionally, ENP services provide a noon meal 5 days/week. This study evaluated the impact of expanding the home-delivered meals service to include breakfast + lunch, on the nutritional status, quality of life and health care utilization of program participants. ^ This cross-sectional study compared 2 groups. The Breakfast group (n = 167) received a home-delivered breakfast + lunch, 5 days/week. The Comparison group (n = 214) received lunch 5 days/week. Participants, recruited from 5 ENP programs, formed a geographically, racially/ethnically diverse sample. Participants ranged in age from 60–100 years, they were functionally limited, at high nutritional risk, low income, and they lived alone and had difficulty shopping or preparing food. Participant data were collected through in-home interviews and program records. A 24-hour food recall and information on participant demographics, malnutrition risk, functional status, health care use, and applicable quality of life factors were obtained. Service and cost data were collected from program administrators. ^ Breakfast group participants had greater energy/nutrient intakes (p < .05), fewer health care contacts (p < .05), and greater quality of life measured as food security (p < .05) and fewer depressive symptoms (p < .05), than comparison group participants. These benefits were achieved for $1.30/person/day. ^ The study identified links from improvements in nutritional status to enhanced quality of life to diminished health care utilization and expenditures. A model of health, loneliness, food enjoyment, food insecurity, and depression as factors contributing to quality of life for this population, was proposed and tested (p < .01). ^ The breakfast service is an inexpensive addition to traditional home-delivered meals services and can improve the lives of frail homebound older adults. Agencies should be encouraged to expand meals programs to include a breakfast service. ^

3D TerraFly: Quality of service management for online interactive 3D geographic information system

3D geographic information system (GIS) is data and computation intensive in nature. Internet users are usually equipped with low-end personal computers and network connections of limited bandwidth. Data reduction and performance optimization techniques are of critical importance in quality of service (QoS) management for online 3D GIS. In this research, QoS management issues regarding distributed 3D GIS presentation were studied to develop 3D TerraFly, an interactive 3D GIS that supports high quality online terrain visualization and navigation. ^ To tackle the QoS management challenges, multi-resolution rendering model, adaptive level of detail (LOD) control and mesh simplification algorithms were proposed to effectively reduce the terrain model complexity. The rendering model is adaptively decomposed into sub-regions of up-to-three detail levels according to viewing distance and other dynamic quality measurements. The mesh simplification algorithm was designed as a hybrid algorithm that combines edge straightening and quad-tree compression to reduce the mesh complexity by removing geometrically redundant vertices. The main advantage of this mesh simplification algorithm is that grid mesh can be directly processed in parallel without triangulation overhead. Algorithms facilitating remote accessing and distributed processing of volumetric GIS data, such as data replication, directory service, request scheduling, predictive data retrieving and caching were also proposed. ^ A prototype of the proposed 3D TerraFly implemented in this research demonstrates the effectiveness of our proposed QoS management framework in handling interactive online 3D GIS. The system implementation details and future directions of this research are also addressed in this thesis. ^