The role of Comprehension in Requirements and Implications for Use Case Descriptions

Within requirements engineering it is generally accepted that in writing specifications (or indeed any requirements phase document), one attempts to produce an artefact which will be simple to comprehend for the user. That is, whether the document is intended for customers to validate requirements, or engineers to understand what the design must deliver, comprehension is an important goal for the author. Indeed, advice on producing ‘readable’ or ‘understandable’ documents is often included in courses on requirements engineering. However, few researchers, particularly within the software engineering domain, have attempted either to define or to understand the nature of comprehension and it’s implications for guidance on the production of quality requirements. Therefore, this paper examines thoroughly the nature of textual comprehension, drawing heavily from research in discourse process, and suggests some implications for requirements (and other) software documentation. In essence, we find that the guidance on writing requirements, often prevalent within software engineering, may be based upon assumptions which are an oversimplification of the nature of comprehension. Hence, the paper examines guidelines which have been proposed, in this case for use case descriptions, and the extent to which they agree with discourse process theory; before suggesting refinements to the guidelines which attempt to utilise lessons learned from our richer understanding of the underlying discourse process theory. For example, we suggest subtly different sets of writing guidelines for the different tasks of requirements, specification and design

An experimental study of tomographic imaging in layered media

Ultrasonic tomography has found its applications in material evaluation since the later 70’s. However, the techniques in this field are far less developed compared to their x-ray counterparts, which have been widely used in the medical community. One of the practical problems in acoustic tomography is that acoustic waves will not necessarily propagate along straight paths in a nonhomogeneous medium. The situation will be more complicated when material inhomogeneities are coupled with anisotropy as the approach is applied to composite media. In order to resolve the situation, one has either to tolerate the consequence of using straight line ray paths or to seek a way to correct the errors due to ray bending. Indeed, most of the previous work in this area has been based on the straight path assumption. As pointed out by Dines and Lytle[1], if the material inhomogeneity is not serious, the errors caused by straight path assumption can be safely neglected. However, in practice, situations may arise where serious inhomogeneities exist. Even with small inhomogeneities correction is highly desirable when accuracy is of particular concern

Financial toxicity: a potential side effect of prostate cancer treatment among Australian men.

The purpose of this study was to understand the extent, nature and variability of the current economic burden of prostate cancer among Australian men. An online cross-sectional survey was developed that combined pre-existing economic measures and new questions. With few exceptions, the online survey was viable and acceptable to participants. The main outcomes were self-reported out-of-pocket costs of prostate cancer diagnosis and treatment, changes in employment status and household finances. Men were recruited from prostate cancer support groups throughout Australia. Descriptive statistical analyses were undertaken. A total of 289 men responded to the survey during April and June 2013. Our study found that men recently diagnosed (within 16 months of the survey) (n = 65) reported spending a median AU$8000 (interquartile range AU$14 000) for their cancer treatment while 75% of men spent up to AU$17 000 (2012). Twenty per cent of all men found the cost of treating their prostate cancer caused them 'a great deal' of distress. The findings suggest a large variability in medical costs for prostate cancer treatment with 5$250 or less in out-of-pocket expenses and some men facing very high costs. On average, respondents in paid employment at diagnosis stated that they had retired 4-5 years earlier than planned

Analysis of the Brinkman-Forchheimer equations with slip boundary conditions

In this work, we study the Brinkman-Forchheimer equations driven under slip boundary conditions of friction type. We prove the existence and uniqueness of weak solutions by means of regularization combined with the Faedo-Galerkin approach. Next we discuss the continuity of the solution with respect to Brinkman's and Forchheimer's coefficients. Finally, we show that the weak solution of the corresponding stationary problem is stable

Peroxisomal proliferator activated receptor-γ deficiency in a Canadian kindred with familial partial lipodystrophy type 3 (FPLD3)

BACKGROUND: Familial partial lipodystrophy (Dunnigan) type 3 (FPLD3, Mendelian Inheritance in Man [MIM] 604367) results from heterozygous mutations in PPARG encoding peroxisomal proliferator-activated receptor-γ. Both dominant-negative and haploinsufficiency mechanisms have been suggested for this condition. METHODS: We present a Canadian FPLD3 kindred with an affected mother who had loss of fat on arms and legs, but no increase in facial, neck, suprascapular or abdominal fat. She had profound insulin resistance, diabetes, severe hypertriglyceridemia and relapsing pancreatitis, while her pre-pubescent daughter had normal fat distribution but elevated plasma triglycerides and C-peptide and depressed high-density lipoprotein cholesterol. RESULTS: The mother and daughter were each heterozygous for PPARG nonsense mutation Y355X, whose protein product in vitro was transcriptionally inactive with no dominant-negative activity against the wild-type receptor. In addition the mutant protein appeared to be markedly unstable. CONCLUSION: Taken together with previous studies of human PPARG mutations, these findings suggest that PPAR-γ deficiency due either to haploinsufficiency or to substantial activity loss due to dominant negative interference of the normal allele product's function can each contribute to the FPLD3 phenotype

The Mannose Receptor Mediates Dengue Virus Infection of Macrophages

Macrophages (MØ) and mononuclear phagocytes are major targets of infection by dengue virus (DV), a mosquito-borne flavivirus that can cause haemorrhagic fever in humans. To our knowledge, we show for the first time that the MØ mannose receptor (MR) binds to all four serotypes of DV and specifically to the envelope glycoprotein. Glycan analysis, ELISA, and blot overlay assays demonstrate that MR binds via its carbohydrate recognition domains to mosquito and human cell–produced DV antigen. This binding is abrogated by deglycosylation of the DV envelope glycoprotein. Surface expression of recombinant MR on NIH3T3 cells confers DV binding. Furthermore, DV infection of primary human MØ can be blocked by anti-MR antibodies. MR is a prototypic marker of alternatively activated MØ, and pre-treatment of human monocytes or MØ with type 2 cytokines (IL-4 or IL-13) enhances their susceptibility to productive DV infection. Our findings indicate a new functional role for the MR in DV infection

Microbial ligand costimulation drives neutrophilic steroid-refractory asthma

Funding: The authors thank the Wellcome Trust (102705) and the Universities of Aberdeen and Cape Town for funding. This research was also supported, in part, by National Institutes of Health GM53522 and GM083016 to DLW. KF and BNL are funded by the Fonds Wetenschappelijk Onderzoek, BNL is the recipient of an European Research Commission consolidator grant and participates in the European Union FP7 programs EUBIOPRED and MedALL. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD