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.

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.

Realization of Differentiated Quality of Service for Wideband Code Division Multiple Access Core Network

The development of 3G (the 3rd generation telecommunication) value-added services brings higher requirements of Quality of Service (QoS). Wideband Code Division Multiple Access (WCDMA) is one of three 3G standards, and enhancement of QoS for WCDMA Core Network (CN) becomes more and more important for users and carriers. The dissertation focuses on enhancement of QoS for WCDMA CN. The purpose is to realize the DiffServ (Differentiated Services) model of QoS for WCDMA CN. Based on the parallelism characteristic of Network Processors (NPs), the NP programming model is classified as Pool of Threads (POTs) and Hyper Task Chaining (HTC). In this study, an integrated programming model that combines both of the two models was designed. This model has highly efficient and flexible features, and also solves the problems of sharing conflicts and packet ordering. We used this model as the programming model to realize DiffServ QoS for WCDMA CN. ^ The realization mechanism of the DiffServ model mainly consists of buffer management, packet scheduling and packet classification algorithms based on NPs. First, we proposed an adaptive buffer management algorithm called Packet Adaptive Fair Dropping (PAFD), which takes into consideration of both fairness and throughput, and has smooth service curves. Then, an improved packet scheduling algorithm called Priority-based Weighted Fair Queuing (PWFQ) was introduced to ensure the fairness of packet scheduling and reduce queue time of data packets. At the same time, the delay and jitter are also maintained in a small range. Thirdly, a multi-dimensional packet classification algorithm called Classification Based on Network Processors (CBNPs) was designed. It effectively reduces the memory access and storage space, and provides less time and space complexity. ^ Lastly, an integrated hardware and software system of the DiffServ model of QoS for WCDMA CN was proposed. It was implemented on the NP IXP2400. According to the corresponding experiment results, the proposed system significantly enhanced QoS for WCDMA CN. It extensively improves consistent response time, display distortion and sound image synchronization, and thus increases network efficiency and saves network resource.^

Effect of child care subsidies on price and quality of care for low -income families

This dissertation examines the effect of regulations, resource and referral agencies, and subsidies on price and quality of care in child care centers. This research is based on a carefully developed conceptual framework that incorporates the factors affecting the demand and supply of child care. The first step in developing this framework is sketching out the structural equations. The structural equations help us understand the underlying behavior of individuals and firms making a decision. The exogenous variables are vector of attributes relating to family characteristics, child characteristics, regulations, subsidy, community characteristics and prices of inputs. Based on the structural equations, reduced form equations are estimated to find the effect of each of the exogenous variables on each of the endogenous variables. Reduced form equations help us answer public policy questions. The sample for this study is from the 1990 Profile of Child Care Settings (PCCS) data in which 2,089 center based programs were interviewed.^ Child/Staff Ratio (Group Level). Results indicate that among subsidies, only the state subsidy per child in poverty has a significant effect on the child/staff ratio at the group level. Presence of resource and referral agencies also increase the child/staff ratio at the group level. Also when the maximum center group size regulation for 25-36 months becomes more stringent, the child/staff ratio at the group level decreases.^ Child/Staff Ratio (Center Level). When the regulations for the maximum child/staff ratio for age groups 13-24 months and 37-60 months become lax, the child/staff ratio for the center increases. As the regulation for maximum group size for infants becomes stringent, the child/staff ratio decreases. An interesting finding is that as the regulations for maximum group size for age groups 13-24 months and 25-36 months become stringent, the child/staff ratio for the center increases. Another significant finding is that when a center is located in a rural area the child/staff ratio is significantly lower.^ Center Weighted Average Hourly Fees. Maximum group size regulations for age groups 25-36 months and 37-60 months have a negative effect on center hourly fee. Maximum child staff regulations for age groups 13-24 months and 37-60 months have a negative effect on center hourly fee. Maximum child staff regulations for age groups 0-12 months and 25-36 months have a positive effect on center hourly fee. Findings also indicate that the center average hourly price is lower when there is a resource and referral agency present. Cost adjusted prekindergarten funds and JOBS child care subsidies have a negative effect on average hourly fee. Cost adjusted social services block grant and state subsidy per child in poverty have a positive effect on the average hourly price. A major finding of this dissertation is the interaction of subsidy and regulatory variables.^ Another major finding is that child/staff ratio at the group level is lower when there is an interaction between geographic location and nature of center sponsorship. ^

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.

Effect of child care subsidies on price and quality of care for low -income families

This dissertation examines the effect of regulations, resource and referral agencies, and subsidies on price and quality of care in child care centers. This research is based on a carefully developed conceptual framework that incorporates the factors affecting the demand and supply of child care. The first step in developing this framework is sketching out the structural equations. The structural equations help us understand the underlying behavior of individuals and firms making a decision. The exogenous variables are vector of attributes relating to family characteristics, child characteristics, regulations, subsidy, community characteristics and prices of inputs. Based on the structural equations, reduced form equations are estimated to find the effect of each of the exogenous variables on each of the endogenous variables. Reduced form equations help us answer public policy questions. The sample for this study is from the 1990 Profile of Child Care Settings (PCCS) data in which 2,089 center based programs were interviewed. Child/Staff Ratio (Group Level): Results indicate that among subsidies, only the state subsidy per child in poverty has a significant effect on the child/staff ratio at the group level. Presence of resource and referral agencies also increase the child/staff ratio at the group level. Also when the maximum center group size regulation for 25-36 months becomes more stringent, the child/staff ratio at the group level decreases. Child/Staff Ratio (Center Level): When the regulations for the maximum child/staff ratio for age groups 13-24 months and 37-60 months become lax, the child/staff ratio for the center increases. As the regulation for maximum group size for infants becomes stringent, the child/staff ratio decreases. An interesting finding is that as the regulations for maximum group size for age groups 13-24 months and 25-36 months become stringent, the child/staff ratio for the center increases. Another significant finding is that when a center is located in a rural area the child/staff ratio is significantly lower. Center Weighted Average Hourly Fees: Maximum group size regulations for age groups 25-36 months and 37-60 months have a negative effect on center hourly fee. Maximum child staff regulations for age groups 13-24 months and 37-60 months have a negative effect on center hourly fee. Maximum child staff regulations for age groups 0-12 months and 25-36 months have a positive effect on center hourly fee. Findings also indicate that the center average hourly price is lower when there is a resource and referral agency present. Cost adjusted prekindergarten funds and JOBS child care subsidies have a negative effect on average hourly fee. Cost adjusted social services block grant and state subsidy per child in poverty have a positive effect on the average hourly price. A major finding of this dissertation is the interaction of subsidy and regulatory variables. Another major finding is that child/staff ratio at the group level is lower when there is an interaction between geographic location and nature of center sponsorship.