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

Monoubiquitination of syntaxin 3 leads to retrieval from the basolateral plasma membrane and facilitates cargo recruitment to exosomes

Syntaxin 3 (Stx3), a SNARE protein located and functioning at the apical plasma membrane of epithelial cells, is required for epithelial polarity. A fraction of Stx3 is localized to late endosomes/lysosomes, although how it traffics there and its function in these organelles is unknown. Here we report that Stx3 undergoes monoubiquitination in a conserved polybasic domain. Stx3 present at the basolateral—but not the apical—plasma membrane is rapidly endocytosed, targeted to endosomes, internalized into intraluminal vesicles (ILVs), and excreted in exosomes. A nonubiquitinatable mutant of Stx3 (Stx3-5R) fails to enter this pathway and leads to the inability of the apical exosomal cargo protein GPRC5B to enter the ILV/exosomal pathway. This suggests that ubiquitination of Stx3 leads to removal from the basolateral membrane to achieve apical polarity, that Stx3 plays a role in the recruitment of cargo to exosomes, and that the Stx3-5R mutant acts as a dominant-negative inhibitor. Human cytomegalovirus (HCMV) acquires its membrane in an intracellular compartment and we show that Stx3-5R strongly reduces the number of excreted infectious viral particles. Altogether these results suggest that Stx3 functions in the transport of specific proteins to apical exosomes and that HCMV exploits this pathway for virion excretion

Conceptualising the technical relationship of animal disease surveillance to intervention and mitigation as a basis for economic analysis

<p>Abstract</p> <p>Background</p> <p>Surveillance and intervention are resource-using activities of strategies to mitigate the unwanted effects of disease. Resources are scarce, and allocating them to disease mitigation instead of other uses necessarily involves the loss of alternative sources of benefit to people. For society to obtain the maximum benefits from using resources, the gains from disease mitigation must be compared to the resource costs, guiding decisions made with the objective of achieving the optimal net outcome.</p> <p>Discussion</p> <p>Economics provides criteria to guide decisions aimed at optimising the net benefits from the use of scarce resources. Assessing the benefits of disease mitigation is no exception. However, the technical complexity of mitigation means that economic evaluation is not straightforward because of the technical relationship of surveillance to intervention. We argue that analysis of the magnitudes and distribution of benefits and costs for any given strategy, and hence the outcome in net terms, requires that mitigation is considered in three conceptually distinct stages. In Stage I, 'sustainment', the mitigation objective is to sustain a free or acceptable status by preventing an increase of a pathogen or eliminating it when it occurs. The role of surveillance is to document that the pathogen remains below a defined threshold, giving early warning of an increase in incidence or other significant changes in risk, and enabling early response. If a pathogen is not contained, the situation needs to be assessed as Stage II, 'investigation'. Here, surveillance obtains critical epidemiological information to decide on the appropriate intervention strategy to reduce or eradicate a disease in Stage III, 'implementation'. Stage III surveillance informs the choice, timing, and scale of interventions and documents the progress of interventions directed at prevalence reduction in the population.</p> <p>Summary</p> <p>This article originates from a research project to develop a conceptual framework and practical tool for the economic evaluation of surveillance. Exploring the technical relationship between mitigation as a source of economic value and surveillance and intervention as sources of economic cost is crucial. A framework linking the key technical relationships is proposed. Three conceptually distinct stages of mitigation are identified. Avian influenza, salmonella, and foot and mouth disease are presented to illustrate the framework.</p

Migratory Connectivity of the Monarch Butterfly (Danaus plexippus): Patterns of Spring Re-Colonization in Eastern North America

Each year, millions of monarch butterflies (Danaus plexippus) migrate up to 3000 km from their overwintering grounds in central Mexico to breed in eastern North America. Malcolm et al. (1993) articulated two non-mutually exclusive hypotheses to explain how Monarchs re-colonize North America each spring. The ‘successive brood’ hypothesis proposes that monarchs migrate from Mexico to the Gulf Coast, lay eggs and die, leaving northern re-colonization of the breeding range to subsequent generations. The ‘single sweep’ hypothesis proposes that overwintering monarchs continue to migrate northward after arriving on the Gulf coast and may reach the northern portion of the breeding range, laying eggs along the way. To examine these hypotheses, we sampled monarchs throughout the northern breeding range and combined stable-hydrogen isotopes (δD) to estimate natal origin with wing wear scores to differentiate between individuals born in the current vs. previous year. Similar to Malcolm et al. (1993), we found that the majority of the northern breeding range was re-colonized by the first generation of monarchs (90%). We also estimated that a small number of individuals (10%) originated directly from Mexico and, therefore adopted a sweep strategy. Contrary to Malcolm et al. (1993), we found that 62% of monarchs sampled in the Great Lakes originated from the Central U.S., suggesting that this region is important for sustaining production in the northern breeding areas. Our results provide new evidence of re-colonization patterns in monarchs and contribute important information towards identifying productive breeding regions of this unique migratory insect

Incubation of ovine scrapie with environmental matrix results in biological and biochemical changes of PrPSc over time

Ovine scrapie can be transmitted via environmental reservoirs. A pool of ovine scrapie isolates were incubated on soil for one day or thirteen months and eluted prion was used to challenge tg338 mice transgenic for ovine PrP. After one-day incubation on soil, two PrPSc phenotypes were present: G338 or Apl338ii. Thirteen months later some divergent PrPSc phenotypes were seen: a mixture of Apl338ii with either G338 or P338, and a completely novel PrPSc deposition, designated Cag338. The data show that prolonged ageing of scrapie prions within an environmental matrix may result in changes in the dominant PrPSc biological/biochemical properties

A Weak Neutralizing Antibody Response to Hepatitis C Virus Envelope Glycoprotein Enhances Virus Infection

We have completed a phase 1 safety and immunogenicity trial with hepatitis C virus (HCV) envelope glycoproteins, E1 and E2, with MF59 adjuvant as a candidate vaccine. Neutralizing activity to HCV genotype 1a was detected in approximately 25% of the vaccinee sera. In this study, we evaluated vaccinee sera from poor responders as a potential source of antibody dependent enhancement (ADE) of HCV infection. Sera with poor neutralizing activity enhanced cell culture grown HCV genotype 1a or 2a, and surrogate VSV/HCV pseudotype infection titer, in a dilution dependent manner. Surrogate pseudotypes generated from individual HCV glycoproteins suggested that antibody to the E2 glycoprotein; but not the E1 glycoprotein, was the principle target for enhancing infection. Antibody specific to FcRII expressed on the hepatic cell surface or to the Fc portion of Ig blocked enhancement of HCV infection by vaccinee sera. Together, the results from in vitro studies suggested that enhancement of viral infectivity may occur in the absence of a strong antibody response to HCV envelope glycoproteins

A prospective evaluation of the safety and efficacy of the TAXUS Element paclitaxel-eluting coronary stent system for the treatment of de novo coronary artery lesions: Design and statistical methods of the PERSEUS clinical program

<p>Abstract</p> <p>Background</p> <p>Paclitaxel-eluting stents decrease angiographic and clinical restenosis following percutaneous coronary intervention compared to bare metal stents. TAXUS Element is a third-generation paclitaxel-eluting stent which incorporates a novel, thinner-strut, platinum-enriched metal alloy platform. The stent is intended to have enhanced radiopacity and improved deliverability compared to other paclitaxel-eluting stents. The safety and efficacy of the TAXUS Element stent are being evaluated in the pivotal PERSEUS clinical trials.</p> <p>Methods/Design</p> <p>The PERSEUS trials include two parallel studies of the TAXUS Element stent in single, de novo coronary atherosclerotic lesions. The PERSEUS Workhorse study is a prospective, randomized (3:1), single-blind, non-inferiority trial in subjects with lesion length ≤28 mm and vessel diameter ≥2.75 mm to ≤4.0 mm which compares TAXUS Element to the TAXUS Express²paclitaxel-eluting stent system. The Workhorse study employs a novel Bayesian statistical approach that uses prior information to limit the number of study subjects exposed to the investigational device and thus provide a safer and more efficient analysis of the TAXUS Element stent. PERSEUS Small Vessel is a prospective, single-arm, superiority trial in subjects with lesion length ≤20 mm and vessel diameter ≥2.25 mm to <2.75 mm that compares TAXUS Element with a matched historical bare metal Express stent control.</p> <p>Discussion</p> <p>The TAXUS PERSEUS clinical trial program uses a novel statistical approach to evaluate whether design and metal alloy iterations in the TAXUS Element stent platform provide comparable safety and improved procedural performance compared to the previous generation Express stent. PERSEUS trial enrollment is complete and primary endpoint data are expected in 2010. PERSEUS Workhorse and Small Vessel are registered at <url>http://www.clinicaltrials.gov</url>, identification numbers NCT00484315 and NCT00489541.</p

Successful Targeting and Disruption of an Integrated Reporter Lentivirus Using the Engineered Homing Endonuclease Y2 I-AniI

Current antiviral therapy does not cure HIV-infected individuals because the virus establishes lifelong latent infection within long-lived memory T cells as integrated HIV proviral DNA. Here, we report a new therapeutic approach that aims to cure cells of latent HIV infection by rendering latent virus incapable of replication and pathogenesis via targeted cellular mutagenesis of essential viral genes. This is achieved by using a homing endonuclease to introduce DNA double-stranded breaks (dsb) within the integrated proviral DNA, which is followed by triggering of the cellular DNA damage response and error-prone repair. To evaluate this concept, we developed an in vitro culture model of viral latency, consisting of an integrated lentiviral vector with an easily evaluated reporter system to detect targeted mutagenesis events. Using this system, we demonstrate that homing endonucleases can efficiently and selectively target an integrated reporter lentivirus within the cellular genome, leading to mutation in the proviral DNA and loss of reporter gene expression. This new technology offers the possibility of selectively disabling integrated HIV provirus within latently infected cells

Emerging common themes in regulation of PIKKs and PI3Ks

Phosphatidylinositol-3 kinase-related kinases (PIKKs) comprise a family of protein kinases that respond to various stresses, including DNA damage, blocks in DNA replication, availability of nutrients and errors in mRNA splicing. PIKKs are characterized by the presence of a conserved kinase domain (KD), whose activity is regulated by two C-terminal regions, referred to as PIKK-regulatory domain (PRD) and FRAP-ATM-TRRAP-C-terminal (FATC), respectively. Here, we review functional and structural data that implicate the PRD and FATC domains in regulation of PIKK activity, drawing parallels to phosphatidylinositol-3 kinases (PI3K), lipid kinases that have sequence similarity to PIKKs. The PI3K C-terminus, which we propose to be equivalent to the PRD and FATC domains of PIKKs, is in close proximity to the activation loop of the KD, suggesting that in PIKKs, the PRD and FATC domains may regulate kinase activity by targeting the activation loop