SPEEDY: An Eclipse-based IDE for invariant inference

SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and will incorporate published algorithms for inferring object and loop invariants. Though the architecture is language-neutral, current SPEEDY targets C programs. Building and using SPEEDY has confirmed earlier experience demonstrating the importance of showing and editing specifications in the IDEs that developers customarily use, automating as much of the production and checking of specifications as possible, and showing counterexample information directly in the source code editing environment. As in previous work, automation of specification checking is provided by back-end SMT solvers. However, reducing the effort demanded of software developers using formal methods also requires a GUI design that guides users in writing, reviewing, and correcting specifications and automates specification inference.Comment: In Proceedings F-IDE 2014, arXiv:1404.578

Influence of Gender Appropriateness of Sex-Role and Occupational Preferences on Evaluations of a Competent Person

Previous research has found that while masculine sex-role preferences are more highly valued, persons holding gender consistent sex-role preferences generally are rated as more attractive. The present study explores the interactive effect of gender consistent/inconsistent sex-role preferences and congruent/incongruent occupational choices on evaluations of a person from varying perspectives. Statistical analysis of the data revealed (1) people holding masculine sex-role preferences are perceived to have a higher motivation to succeed, and to be more competent; (2)from the perspective of friend and potential employee, persons holding gender consistent sex-role preferences are perceived as more attractive; (3) from the perspective of potential employer, there is a tendency for males to prefer employees who hold masculine sex-role preferences, while females continue to prefer gender consistent sex-role preferences

Handbook for Implementing a Comprehensive Work-Based Learning Program According to the Fair Labor Standards Act

This Handbook for Implementing a Comprehensive Work-Based Learning Program According to the Fair Labor Standards Act provides guidance to schools operating WBL programs and encourages the adoption of WBL programs by schools not presently using this approach. By following the information and examples in this handbook, schools can proceed with confidence to operate effective WBL programs consistent with the FLSA

Welcome to The Journal

I applaud your decision to visit the Richmond Journal of Law & Technology. If you are a newbie, Welcome to Cyberspace! If a seasoned net surfer, then you fully appreciate that the number and complexity of the legal issues facing the net is growing every day

Federal Courts - Supervisory Power - Court-Ordered Legislative Apportionment

The Supreme Court of the United States has held that unless there is adequate justification, a federal court-ordered plan for reapportionment of a state legislature must avoid use of multimember districts and achieve population equality with only de minimis variation. Chapman v. Meier, 420 U.S. 1 (1975)

6. Assessing Marital Quality In Longitudinal And Life Course Studies

INTRODUCTION Family researchers have been developing measures to assess the quality of the marital relationship for over six decades (e.g., Hamilton, 1929). Indeed, the quality of the husband-wife relationship has been the focus of more research than any other single topic in the field of family study (Spanier & Lewis, 1980). Embedded in these studies are hundreds of varied scales and measures that were designed to assess some aspect of the quality of a marriage (Touliatos, Perlmutter, & Straus, 1990). Lack of consensus on what constitutes marital quality and the absence of any widely accepted and used instruments have contributed to this proliferation of measures. Even scales that enjoy wide use have come under persistent theoretical and methodological criticism (Huston & Robins, 1982; Norton, 1983; Sabatelli, 1988). This state of affairs reflects the different aims of the researchers developing the measures and the evolution over the last several decades of the theoretical and conceptual definitions of the quality of a marriage. The term marital quality has only recently been used to refer to concepts and measures that in the past have been called marital adjustment, satisfaction, and happiness (Spanier & Lewis, 1980). Marital satisfaction and happiness both refer to subjective evaluations of positive affect in the marital relationship by one (or both) of the spouses. Marital adjustment signifies both behavioral and evaluative aspects of a marital relationship. These include dyadic cohesion, satisfaction, consensus, interpersonal tensions, and troublesome dyadic differences (Spanier, 1976). A well-adjusted marriage is often characterized by high interaction and cohesion, low levels of disagreement, high levels of commitment to the relationship (i.e., a low likelihood of leaving the relationship), and good communication and problem-solving abilities. Adjustment is clearly seen as multidimensional, composed of several distinct, but closely related concepts (Spanier & Lewis, 1980). The behavioral and evaluative factors that define marital quality are assumed, based on experience in marital counseling and therapy, to be necessary for a harmonious relationship. Marital quality measures have been created with two quite different aims: the identification of troubled marriages-primarily a clinical aim, and the desire to test theories related to marital functioning and behavior-a basic research aim. There are no necessary theoretical reasons why measures that function well in one capacity cannot also be valid in the other. Practical and methodological matters, however, often play a more important role. For example, it is unlikely that a 250- item marital assessment scale would be used in a national interview survey of married persons in which the quality of the marital relationship is only one focus. This difference in objectives has been a key factor accounting for variation in concepts and methods used to develop the measures and in the criteria applied to evaluate them. This review focuses on issues of marital quality assessment in nonclinical research settings that use quantitative methods. However, the strong link between family therapy and marital quality research studies-many key researchers are also family therapists-makes it necessary to consider the influence of marital therapy. Research studies exploring marital quality have, with some notable exceptions, made use of interview or questionnaire data of married respondents collected in one-time (cross-sectional) surveys. This has been the case despite an increasingly awareness that valid answers to some key unsolved issues in the study of marriage over the life course require longitudinal data (Mattessich & Hill, 1987). It might be expected that reliable and valid measures of marital quality used in cross-sectional studies would be equally applicable to longitudinal samples. Unfortunately, this is not always the case. Many measurement and analysis issues are introduced when inferences are attempted from multiyear samples (Johnson, 1988). Panel analysis raises concerns about the reliability and stability of measures and their ability to reflect changes (Huston & Robins, 1982). The analysis of the dynamics of family development and change requires that the concepts and measures be analytically distinct, particularly when one aspect of the marital relationship is seen as having a causal effect on another (Norton, 1983). A study examining the effect of wife\u27s employment on marital quality could not examine the intervening mechanisms, such as degree of marital interaction or disagreement, which mediate the effect of work on marital happiness or thoughts of divorce (Booth, Johnson, White, & Edwards, 1984) if these are combined in the measure of marital quality. There have been several reviews of measurement and conceptual issues in assessing the quality of the marital relationship (Sabatelli, 1988; Spanier, 1976; Glenn, 1990; Huston & Robins, 1982; Johnson, White, Edwards, & Booth, 1986; Hicks & Platt, 1970). A recent inventory of marital quality scales is also available (Touliatos, Perlmutter, & Straus,1990). None have focused on the conceptual and measurement issues raised by the increasing amount of life course research that focuses on the dynamics of the marital relationship. The purpose of this chapter is to critically examine a selected set of conceptual and methodological issues that have relevance to the study of marital quality over the life course

Effectiveness of Two Water Conservation Policies: An Integrated Modeling Approach

Agriculture in the Texas High Plains depends entirely on the Ogallala Aquifer. Texas enacted water conservation legislation to address declining reserves in the aquifer. We developed an integrated regional water policy model that links a hydrology model with an economic optimization model to estimate policy impacts with respect to economic cost and water conservation. Testing the effectiveness of two policies, a groundwater extraction tax and extraction quotas, we observe that neither significantly inhibits groundwater use. Although both policies conserve similar amounts of groundwater, the regional cost of the tax policy to agriculture is more than the quota policy.integrated regional water policy model, Texas High Plains, water conservation policy, hydrology model, economic optimization model, Ogallala Aquifer, tax policy, quota policy, Agribusiness, Community/Rural/Urban Development, Food Security and Poverty, Land Economics/Use, Political Economy, Q30, Q31, Q38,