For half a decade model-based testing has been applied at Microsoft in the internal development process. Though a success story compared to other formal quality assurance approaches like verification, a break-through of the technology on a broader scale is not in sight. What are the obstacles? Some lessons can be learned from the past and will be discussed. An approach to MBT is described which...

The purpose of this study was to provide revised estimates of the effectiveness of the Yuzpe method of emergency contraception. Through a literature search, we identified eight studies that present the number of women treated and outcome of treatment by cycle day of unprotected intercourse relative to expected day of ovulation. Using five sets of external estimates of conception probabilities b...

Qualitative research is very important in educational research as it addresses the "how" and "why" research questions and enables deeper understanding of experiences, phenomena and context. Qualitative research allows you to ask questions that cannot be easily put into numbers to understand human experience. Getting at the everyday realities of some social phenomenon and studying important ques...

Classically, the focus of degree courses in engineering has been primarily on the teaching of applied science, but there has been much less emphasis on this for software engineering. This paper therefore examines the relationships between courses in software engineering and other branches of engineering, and particularly the balance within them between science and its applications. It discusses...

Some of the reasons why formal methods have not been widely accepted in practice are analyzed. This analysis provides the basis for a more modest approach to embedding mathematical and formal techniques into the system design process: identifying points in traditional design methodologies where formal reasoning can be convincingly introduced. A general outline of the approach is given, its use ...

behavioral segmentation procedural flowchart task breakdown psychographic profile raw conceptual procedural Figure 3.1 Relational Map of User Research Data Types in Two Dimensions of Significance to This Study visual narratives position statements survey results

Epidemiology is the study of the distribution and determinants of health-related states and in specified populations and the application to control health problems. Classified as either descriptive or analytical, a variety of epidemiologic approaches can be used to allow assessment of hypothesized risk factor exposure with disease outcomes. This article reviews salient aspects of epidemiologic ...

Research methods and statistics are foundational concepts for evidence-based practice (EBP). This chapter was written with the expectation that you have taken courses at the undergraduate level that address both research methods and statistics. We recommend that you have books related to these topics nearby as you read this chapter. Furthermore, we recommend having references regarding statisti...