y Formal methods are easily dismissed as heavy weight and irrelevant. People legitimately ask to see what impact formal methods have had on software development practices outside of those areas where governments or regulatory agencies have mandated their use. We argue that design automation is an opportunity for the insertion of formal methods into software development practice. In particular, ...

“Decision making is the study of identifying and choosing alternatives based on the values and preferences of the decision maker. Making a decision implies that there are alternative choices to be considered, and in such a case we want not only to identify as many of these alternatives as possible but to choose the one that best fits with our goals, objectives, desires, values, and so on.” (Har...

This paper reports on the activity of the authors for their part of a committee assignment under the chairmanship of Mr. Finney for Committee D-5, Highway Research Board. Our part of this study has been to show how airphotos and various non-engineering maps could be used to obtain information which would assist in material surveys. This was provided for in the general purpose of the committee a...

Psychological Methods celebrated its 20-year anniversary recently, having published its first quarterly issue in March 1996. It seemed time to provide a brief overview of the history, the highlights over the years, and the current state of the journal, along with tips for submissions. The article is organized to discuss (a) the background and development of the journal; (b) the top articles, au...

insurance companies are important economic institutions in each country and support other economic institutions and good performance of them has an effective role in economic boom. insurance companies to achieve strong and effective performance must be aware of the environment, the competitor and their performance and carry out necessary actions with regard to this information. in this study, t...