For many years, the only way to attain an education in software engineering has been through the school of hard knocks. A common lament among experienced software developers is that colleges don’t teach students the skills they need to perform effectively on the job. What is needed to give software developers a better start? Formal professional education has traditionally been divided into thre...

Traditionally, invariant assertions are used to verify the partial correctness of while loops with respect to pre/post specifications. In this paper we discuss a related but distinct concept, namely invariant relations, and show how invariant relations are a more potent tool in the analysis of while loops: whereas invariant assertions can only be used to prove partial correctness, invariant rel...

Great Britain's 1983 "Christmas Crusade" against drunken drivers, during which the police of England and Wales administered an average of 1350 breath tests daily, is discussed. Although not deliberately planned and organized, the campaign, fueled by press reports, was perceived by many observes to be a national organized deterrent effort. To test the hypothesis that the crusade reduced drunken ...

(d) Suppose list1 contains N1 elements and list2 contains N2 elements. The first while loop is executed O(N1) times. The body of this loop takes O(N1) since GetNextItem takes O(1) and InsertItem takes O(N1). So, the complexity of the first loop is O(N1N1). The second while loop is executed O(N2) times. The body of that loop takes O(N1+N2) time since GetNextItem takes O(1), RetrieveItem takes O(...

Adolescence is often described as a period of heightened risk-taking. Adolescents are notorious for impulsivity, emotional volatility, and risky behaviors such as drinking and driving under the influence of alcohol. By contrast, we found that risk-taking declines linearly from childhood to adulthood when individuals make choices over monetary gambles. Further, with age we found increases in the...

One of the main aims of water resource planners and managers is to estimate and predict the parameters of groundwater quality so that they can make managerial decisions. In this regard, there have many models developed, proposing better management in order to maintain water quality. Most of these models require input parameters that are either hardly available or time-consuming and expensive to...

BACKGROUND Driving under the influence (DUI) of alcohol is a major public health concern, and many individuals continue to drink and drive even after being convicted of a DUI offense. Latinos, in particular, are disproportionately likely to be arrested for a DUI, have higher rates of recidivism, and are more likely to die in alcohol-related accidents than non-Latino Whites. Latinos also experie...

One of the main aims of water resource planners and managers is to estimate and predict the parameters of groundwater quality so that they can make managerial decisions. In this regard, there have many models developed, proposing better management in order to maintain water quality. Most of these models require input parameters that are either hardly available or time-consuming and expensive to...