We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.

this paper takes a close look at the process of evolution of france’s spatial planning system. the rich background and solid approach of spatial planning in france, introduces this country as one of the pioneers of planning in various levels from local to urban and regional scales. the vision of this country during last decades especially in the field of spatial-physical development planning an...

agility is considered the ability to respond quickly to changes and a major factor for success and survival in today's business. the purpose of this research is to offer a conceptual model using interpretive structural modeling(ism). to this end after reviewing literature and theoretical background, the indices related to achieving agility via information technology (it) have been identifi...

Impressive progress has been made in global surgery in the past 10 years, and now serious and evidence-based national strategies are being developed for scaling-up surgical services in sub-Saharan Africa. Key to achieving this goal requires developing a realistic country-based estimate of burden of surgical disease, developing an accurate estimate of existing need, deve...