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.

Jerash: The landscape, urban space, and architecture

The peculiarities of Roman architecture, town planning, and landscape architecture are visible in many of the empire's remaining cities. However, evaluation of the landscapes; and analysis of the urban fabric, spatial compositions, and the concepts and characteristics of its open spaces are missing for Jerash (Gerasa in antiquity) in Jordan. Those missing elements will be discussed in this work, as an example of an urban arrangement that survived through different civilizations in history.^ To address the characteristics of the exterior spaces in Jerash, a study of the major concepts of planning in Classical Antiquity will be conducted, followed by a comparative analysis of the quality of space and architectural composition in Jerash. Through intensive investigation of data available for the area under study, the historical method used in this paper illustrates the uniqueness of the site's urban morphology and architectural disposition.^ An analysis will be performed to compare the design composition of the landscape, urban fabric, and open space of Jerash as a provincial Roman city with its existing excavated remains. Such an analysis will provide new information about the roles these factors and their relationships played in determining the design layout of the city. Information, such as the relationship between void and solid, space shaping, the ground and ceiling, the composition of city elements, the ancient landscapes, and the relationship between the land and architecture, will be acquired.^ A computer simulation for a portion of the city will be developed to enable researchers, students and citizens interested in Jordan's past to visualize more clearly what the city looked like in its prime. Such a simulation could result in the revival of the old city of Jerash and help promote its tourism. ^

The effectiveness of an intelligent tutoring system on the attitude and achievement of developmental mathematics students in a community college

This study examined the effectiveness of intelligent tutoring system instruction, grounded in John Anderson's ACT theory of cognition, on the achievement and attitude of developmental mathematics students in the community college setting. The quasi-experimental research used a pretest-posttest control group design. The dependent variables were problem solving achievement, overall achievement, and attitude towards mathematics. The independent variable was instructional method.^ Four intact classes and two instructors participated in the study for one semester. Two classes (n = 35) served as experimental groups; they received six lessons with real-world problems using intelligent tutoring system instruction. The other two classes (n = 24) served as control groups; they received six lessons with real-world problems using traditional instruction including graphing calculator support. It was hypothesized that students taught problem solving using the intelligent tutoring system would achieve more on the dependent variables than students taught without the intelligent tutoring system.^ Posttest mean scores for one teacher produced a significant difference in overall achievement for the experimental group. The same teacher had higher means, not significantly, for the experimental group in problem solving achievement. The study did not indicate a significant difference in attitude mean scores.^ It was concluded that using an intelligent tutoring system in problem solving instruction may impact student's overall mathematics achievement and problem solving achievement. Other factors must be considered, such as the teacher's classroom experience, the teacher's experience with the intelligent tutoring system, trained technical support, and trained student support; as well as student learning styles, motivation, and overall mathematics ability. ^

The effectiveness of an intelligent tutoring system on the attitude and achievement of developmental mathematics students in a community college

This study examined the effectiveness of intelligent tutoring system instruction, grounded in John Anderson's ACT theory of cognition, on the achievement and attitude of developmental mathematics students in the community college setting. The quasi-experimental research used a pretest-posttest control group design. The dependent variables were problem solving achievement, overall achievement, and attitude towards mathematics. The independent variable was instructional method. Four intact classes and two instructors participated in the study for one semester. Two classes (n = 35) served as experimental groups; they received six lessons with real-world problems using intelligent tutoring system instruction. The other two classes (n = 24) served as control groups; they received six lessons with real-world problems using traditional instruction including graphing calculator support. It was hypothesized that students taught problem solving using the intelligent tutoring system would achieve more on the dependent variables than students taught without the intelligent tutoring system. Posttest mean scores for one teacher produced a significant difference in overall achievement for the experimental group. The same teacher had higher means, not significantly, for the experimental group in problem solving achievement. The study did not indicate a significant difference in attitude mean scores. It was concluded that using an intelligent tutoring system in problem solving instruction may impact student's overall mathematics achievement and problem solving achievement. Other factors must be considered, such as the teacher's classroom experience, the teacher's experience with the intelligent tutoring system, trained technical support, and trained student support; as well as student learning styles, motivation, and overall mathematics ability.

A Basic Interpretive Study of the Experiences of University Students Who Have Dropped or Failed an Online Course

Online courses have increased in enrollments over the past few decades. As the number of students taking online courses have increased, so has the number of students who have dropped or failed an online course. According to the literature, online courses may have higher drop rates than traditional, face-to-face courses. The number of students who fail an online course is, also, of concern. As online courses may continue to grow over the next few decades, studies on persistence in online courses may benefit students, administrators, instructional designers, educators, and researchers. Although previous research studies have addressed persistence in online courses, very few examine it from the perspectives of students who were unsuccessful in their courses. These students may have unique insights about the online experience that may have related to their lack of success. The purpose of this study was to understand the experiences of university students who have failed or dropped an online course through the lenses of transactional distance theory and Kember’s model of dropout in distance education. Transactional distance theory discusses the dialog, structure, and learner autonomy involved in an online course, while, Kember’s model presents categories that may relate to dropping an online course. Together, the theory and model may help in understanding the experiences of students who have dropped or failed an online course. In this study, semi-structured interviews were conducted with 20 participants from a large Southeastern university in the United States. Based on the participants’ responses, the data was sorted and ranked according to the amount of transactional distance in their courses, as well as the categories of Kember’s model. Many of the participants who experienced low or high transactional distance have, also, expressed an issue with the goal commitment category of Kember’s model. Additionally, there were important differences in the student characteristics of those who dropped or failed an online course. Furthermore, suggestions for improving online courses were given by the participants. Some of these suggestions included more student-instructor interactions, the use of more technology tools in their online course, and for orientations to the online environment to be offered.

Analysis and design of tall concrete buildings : an investigation regarding the use of cracked versus un-cracked moment of inertia

A debate is currently prevalent among the structural engineers regarding the use of cracked versus un-cracked moment of inertia of the structural elements in analyzing and designing tall concrete buildings. (The basic definition of a tall building, according to the Journal of Structural Design of Tall Buildings Vol. 13. No. 5, 2004 is a structure that is equal to or greater than 160 feet in height, or 6 stories or greater.) The controversy is the result of differing interpretations of certain ACI (American Concrete Institute) code provisions. The issue is whether designers should use cracked moment of inertia in order to estimate lateral deflection and whether the computed lateral deflection should be used to carry out subsequent second-order analysis (analysis considering the effect of first order lateral deflections on bending moment and shear stresses). On one hand, bending moments and shear forces estimated based on un-cracked moment of inertia of the sections may result in conservative designs by overestimating moments and shears. On the other hand, lateral deflections may be underestimated due to the same analyses resulting in unsafe designs.

A basic interpretive study of the experiences of university students who have dropped or failed an online course

Online courses have increased in enrollments over the past few decades. As the number of students taking online courses have increased, so has the number of students who have dropped or failed an online course. According to the literature, online courses may have higher drop rates than traditional, face-to-face courses. The number of students who fail an online course is, also, of concern. As online courses may continue to grow over the next few decades, studies on persistence in online courses may benefit students, administrators, instructional designers, educators, and researchers. Although previous research studies have addressed persistence in online courses, very few examine it from the perspectives of students who were unsuccessful in their courses. These students may have unique insights about the online experience that may have related to their lack of success. The purpose of this study was to understand the experiences of university students who have failed or dropped an online course through the lenses of transactional distance theory and Kember’s model of dropout in distance education. Transactional distance theory discusses the dialog, structure, and learner autonomy involved in an online course, while, Kember’s model presents categories that may relate to dropping an online course. Together, the theory and model may help in understanding the experiences of students who have dropped or failed an online course. In this study, semi-structured interviews were conducted with 20 participants from a large Southeastern university in the United States. Based on the participants’ responses, the data was sorted and ranked according to the amount of transactional distance in their courses, as well as the categories of Kember’s model. Many of the participants who experienced low or high transactional distance have, also, expressed an issue with the goal commitment category of Kember’s model. Additionally, there were important differences in the student characteristics of those who dropped or failed an online course. Furthermore, suggestions for improving online courses were given by the participants. Some of these suggestions included more student-instructor interactions, the use of more technology tools in their online course, and for orientations to the online environment to be offered.^

Use of conjoint analysis to examine beliefs related to the practice of early literacy instruction

The purpose of the study was to examine the relationship between teacher beliefs and actual classroom practice in early literacy instruction. Conjoint analysis was used to measure teachers' beliefs on four early literacy factors—phonological awareness, print awareness, graphophonic awareness, and structural awareness. A collective case study format was then used to measure the correspondence of teachers' beliefs with their actual classroom practice. ^ Ninety Project READS participants were given twelve cards in an orthogonal experimental design describing students that either met or did not meet criteria on the four early literacy factors. Conjoint measurements of whether the student is an efficient reader were taken. These measurements provided relative importance scores for each respondent. Based on the relative important scores, four teachers were chosen to participate in a collective case study. ^ The conjoint results enabled the clustering of teachers into four distinct groups, each aligned with one of the four early literacy factors. K-means cluster analysis of the relative importance measurements showed commonalities among the ninety respondents' beliefs. The collective case study results were mixed. Implications for researchers and practitioners include the use of conjoint analysis in measuring teacher beliefs on the four early literacy factors. Further, the understanding of teacher preferences on these beliefs may assist in the development of curriculum design and therefore increase educational effectiveness. Finally, comparisons between teachers' beliefs on the four early literacy factors and actual instructional practices may facilitate teacher self-reflection thus encouraging positive teacher change. ^

Recent and Historic Drivers of Landscape Change in the Everglades Ridge, Slough, and Tree Island Mosaic

More than half of the original Everglades extent formed a patterned peat mosaic of elevated ridges, lower and more open sloughs, and tree islands aligned parallel to the dominant flow direction. This ecologically important landscape structure remained in a dynamic equilibrium for millennia prior to rapid degradation over the past century in response to human manipulation of the hydrologic system. Restoration of the patterned landscape structure is one of the primary objectives of the Everglades restoration effort. Recent research has revealed that three main drivers regulated feedbacks that initiated and maintained landscape structure: the spatial and temporal distribution of surface water depths, surface and subsurface flow, and phosphorus supply. Causes of recent degradation include but are not limited to perturbations to these historically important controls; shifts in mineral and sulfate supply may have also contributed to degradation. Restoring predrainage hydrologic conditions will likely preserve remaining landscape pattern structure, provided a sufficient supply of surface water with low nutrient and low total dissolved solids content exists to maintain a rainfall-driven water chemistry. However, because of hysteresis in landscape evolution trajectories, restoration of areas with a fully degraded landscape could require additional human intervention.

The thermodynamics and statistical mechanics of protein folding

The physics of self-organization and complexity is manifested on a variety of biological scales, from large ecosystems to the molecular level. Protein molecules exhibit characteristics of complex systems in terms of their structure, dynamics, and function. Proteins have the extraordinary ability to fold to a specific functional three-dimensional shape, starting from a random coil, in a biologically relevant time. How they accomplish this is one of the secrets of life. In this work, theoretical research into understanding this remarkable behavior is discussed. Thermodynamic and statistical mechanical tools are used in order to investigate the protein folding dynamics and stability. Theoretical analyses of the results from computer simulation of the dynamics of a four-helix bundle show that the excluded volume entropic effects are very important in protein dynamics and crucial for protein stability. The dramatic effects of changing the size of sidechains imply that a strategic placement of amino acid residues with a particular size may be an important consideration in protein engineering. Another investigation deals with modeling protein structural transitions as a phase transition. Using finite size scaling theory, the nature of unfolding transition of a four-helix bundle protein was investigated and critical exponents for the transition were calculated for various hydrophobic strengths in the core. It is found that the order of the transition changes from first to higher order as the strength of the hydrophobic interaction in the core region is significantly increased. Finally, a detailed kinetic and thermodynamic analysis was carried out in a model two-helix bundle. The connection between the structural free-energy landscape and folding kinetics was quantified. I show how simple protein engineering, by changing the hydropathy of a small number of amino acids, can enhance protein folding by significantly changing the free energy landscape so that kinetic traps are removed. The results have general applicability in protein engineering as well as understanding the underlying physical mechanisms of protein folding. ^

Research on the influence of behavioral forces that motivate trader behavior and sentiment: A prospect theory exegesis

This study focuses on empirical investigations and seeks implications by utilizing three different methodologies to test various aspects of trader behavior. The first methodology utilizes Prospect Theory to determine trader behavior during periods of extreme wealth contracting periods. Secondly, a threshold model to examine the sentiment variable is formulated and thirdly a study is made of the contagion effect and trader behavior. ^ The connection between consumers' sense of financial well-being or sentiment and stock market performance has been studied at length. However, without data on actual versus experimental performance, implications based on this relationship are meaningless. The empirical agenda included examining a proprietary file of daily trader activities over a five-year period. Overall, during periods of extreme wealth altering conditions, traders "satisfice" rather than choose the "best" alternative. A trader's degree of loss aversion depends on his/her prior investment performance. A model that explains the behavior of traders during periods of turmoil is developed. Prospect Theory and the data file influenced the design of the model. ^ Additional research included testing a model that permitted the data to signal the crisis through a threshold model. The third empirical study sought to investigate the existence of contagion caused by declining global wealth effects using evidence from the mining industry in Canada. Contagion, where a financial crisis begins locally and subsequently spreads elsewhere, has been studied in terms of correlations among similar regions. The results provide support for Prospect Theory in two out of the three empirical studies. ^ The dissertation emphasizes the need for specifying precise, testable models of investors' expectations by providing tools to identify paradoxical behavior patterns. True enhancements in this field must include empirical research utilizing reliable data sources to mitigate data mining problems and allow researchers to distinguish between expectations-based and risk-based explanations of behavior. Through this type of research, it may be possible to systematically exploit "irrational" market behavior. ^

Critical Race Theory and Adult Education: Critique of the Literature in Adult Education Quarterly

This paper examines the assumptions and paradigms used to discuss diversity and equity in adult education literature using critical race theory as a lens. Five themes emerged from the critique that may initiate an innovative dialogue about the realities and subjectivities singling out racial and ethnic minorities in the USA.

Hydrologic processes on tree islands in the Everglades (Florida, USA): tracking the effects of tree establishment and growth

The hydrodynamics of tree islands during the growth of newly planted trees has been found to be influenced by both vegetation biomass and geologic conditions. From July 2007 through June 2009, groundwater and surface-water levels were monitored on eight recently planted tree islands at the Loxahatchee Impoundment Landscape Assessment (LILA) facility in Boynton Beach, Florida, USA. Over the 2-year study, stand development coincided with the development of a water-table depression in the center of each of the islands that was bounded by a hydraulic divide along the edges. The water-table depression was greater in islands composed of limestone as compared to those composed of peat. The findings of this study suggest that groundwater evapotranspiration by trees on tree islands creates complex hydrologic interactions between the shallow groundwater in tree islands and the surrounding surface water and groundwater bodies.

The role of recharge and evapotranspiration as hydraulic drivers of ion concentrations in shallow groundwater on Everglades tree islands, Florida (USA)

Recently, evapotranspiration has been hypothesized to promote the secondary formation of calcium carbonate year-round on tree islands in the Everglades by influencing groundwater ions concentrations. However, the role of recharge and evapotranspiration as drivers of shallow groundwater ion accumulation has not been investigated. The goal of this study is to develop a hydrologic model that predicts the chloride concentrations of shallow tree island groundwater and to determine the influence of overlying biomass and underlying geologic material on these concentrations. Groundwater and surface water levels and chloride concentrations were monitored on eight constructed tree islands at the Loxahatchee Impoundment Landscape Assessment (LILA) from 2007 to 2010. The tree islands at LILA were constructed predominately of peat, or of peat and limestone, and were planted with saplings of native tree species in 2006 and 2007. The model predicted low shallow groundwater chloride concentrations when inputs of regional groundwater and evapotranspiration-to-recharge rates were elevated, while low evapotranspiration-to-recharge rates resulted in a substantial increase of the chloride concentrations of the shallow groundwater. Modeling results indicated that evapotranspiration typically exceeded recharge on the older tree islands and those with a limestone lithology, which resulted in greater inputs of regional groundwater. A sensitivity analysis indicated the shallow groundwater chloride concentrations were most sensitive to alterations in specific yield during the wet season and hydraulic conductivity in the dry season. In conclusion, the inputs of rainfall, underlying hydrologic properties of tree islands sediments and forest structure may explain the variation in ion concentration seen across Everglades tree islands.

The relationship between faculty perceptions and implementation of elements of transactional distance theory and online web-based course completion rates

The purpose of this study was to explore the relationship between faculty perceptions, selected demographics, implementation of elements of transactional distance theory and online web-based course completion rates. This theory posits that the high transactional distance of online courses makes it difficult for students to complete these courses successfully; too often this is associated with low completion rates. Faculty members play an indispensable role in course design, whether online or face-to-face. They also influence course delivery format from design through implementation and ultimately to how students will experience the course. This study used transactional distance theory as the conceptual framework to examine the relationship between teaching and learning strategies used by faculty members to help students complete online courses. Faculty members' sex, number of years teaching online at the college, and their online course completion rates were considered. A researcher-developed survey was used to collect data from 348 faculty members who teach online at two prominent colleges in the southeastern part of United States. An exploratory factor analysis resulted in six factors related to transactional distance theory. The factors accounted for slightly over 65% of the variance of transactional distance scores as measured by the survey instrument. Results provided support for Moore's (1993) theory of transactional distance. Female faculty members scored higher in all the factors of transactional distance theory when compared to men. Faculty number of years teaching online at the college level correlated significantly with all the elements of transactional distance theory. Regression analysis was used to determine that two of the factors, instructor interface and instructor-learner interaction, accounted for 12% of the variance in student online course completion rates. In conclusion, of the six factors found, the two with the highest percentage scores were instructor interface and instructor-learner interaction. This finding, while in alignment with the literature concerning the dialogue element of transactional distance theory, brings a special interest to the importance of instructor interface as a factor. Surprisingly, based on the reviewed literature on transactional distance theory, faculty perceptions concerning learner-learner interaction was not an important factor and there was no learner-content interaction factor.