The Clinica Para Madres (Mother?s Clinic) opened in Tucson, Arizona, in December of 1934 as the first birth control [3] clinic in Arizona. After moving to Tucson, birth control [3] activist Margaret Sanger, along with a group of local philanthropic women, founded the clinic to provide Arizona women with contraception [4]. During the early 1900s in the US, contraception [4] was illegal under the...

viii

Fertility in sub-Saharan Africa remains the highest in the world. Yet, the average contraceptive prevalence in Africa is the lowest in major world regions and there is limited understanding of the mechanisms through which community context shapes contraceptive use in the region. Using data from the 2011 Mozambique Demographic and Health Survey, we examine the mechanisms through which community ...

Drawing from the author’s twenty years of experience in formal methods research and development, and, particularly, with the EVES-based systems, this paper provides personal impressions on what is and what is not working with regards to the adoption and application of formal methods. As both the community’s understanding of technology transfer issues and formal methods technology improve, one i...

In some cases, contraceptive methods are inherently controlled by one partner or the other. For example, women can get a prescription for and take hormonal birth control; men can't (at this time). However, this doesn't mean that men shouldn't participate in making the decision of what contraception to use and share in covering the cost. In fact, communicating about and sharing responsibility fo...