Where are all the men? The marginalization of men in social scientific research on infertility

There is a wealth of research exploring the psychological consequences of infertility and assisted reproduction technology: a substantial body of sociological and anthropological work on ‘reproductive disruptions’ of many kinds and a small but growing literature on patient perspectives of the quality of care in assisted reproduction. In all these fields, research studies are far more likely to be focused on the understandings and experiences of women than those of men. This paper discusses reasons for the relative exclusion of men in what has been called the ‘psycho-social’ literature on infertility, comments on research on men from psychological and social perspectives and recent work on the quality of patient care, and makes suggestions for a reframing of the research agenda on men and assisted reproduction. Further research is needed in all areas, including: perceptions of infertility and infertility treatment seeking; experiences of treatment; information and support needs; decisions to end treatment; fatherhood post assisted conception; and the motivation and experiences of sperm donors and men who seek fatherhood through surrogacy or co-parenting. This paper argues for multimethod, interdisciplinary research that includes broader populations of men which can contribute to improved clinical practice and support for users of assisted reproduction treatment

Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.