Software-Spezifikation durch halbformale, anschauliche Modelle

Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht

Antivirals for influenza-Like Illness? A randomised Controlled trial of Clinical and Cost effectiveness in primary CarE (ALIC4 E): the ALIC4 E protocol

INTRODUCTION: Effective management of seasonal and pandemic influenza is a high priority internationally. Guidelines in many countries recommend antiviral treatment for older people and individuals with comorbidity at increased risk of complications. However, antivirals are not often prescribed in primary care in Europe, partly because its clinical and cost effectiveness has been insufficiently demonstrated by non-industry funded and pragmatic studies. METHODS AND ANALYSIS: Antivirals for influenza-Like Illness? An rCt of Clinical and Cost effectiveness in primary CarE is a European multinational, multicentre, open-labelled, non-industry funded, pragmatic, adaptive-platform, randomised controlled trial. Initial trial arms will be best usual primary care and best usual primary care plus treatment with oseltamivir for 5 days. We aim to recruit at least 2500 participants ≥1 year presenting with influenza-like illness (ILI), with symptom duration ≤72 hours in primary care over three consecutive periods of confirmed high influenza incidence. Participant outcomes will be followed up to 28 days by diary and telephone. The primary objective is to determine whether adding antiviral treatment to best usual primary care is effective in reducing time to return to usual daily activity with fever, headache and muscle ache reduced to minor severity or less. Secondary objectives include estimating cost-effectiveness, benefits in subgroups according to age (64 years), severity of symptoms at presentation (low, medium and high), comorbidity (yes/no), duration of symptoms (≤48 hours/>48-72 hours), complications (hospital admission and pneumonia), use of additional prescribed medication including antibiotics, use of over-the-counter medicines and self-management of ILI symptoms. ETHICS AND DISSEMINATION: Research ethics committee (REC) approval was granted by the NRES Committee South Central (Oxford B) and Clinical Trial Authority (CTA) approval by The Medicines and Healthcare products Regulatory Agency. All participating countries gained national REC and CTA approval as required. Dissemination of results will be through peer-reviewed scientific journals and conference presentations

Dietary mineral supplies in Malawi: spatial and socioeconomic assessment

Background Dietary mineral deficiencies are widespread globally causing a large disease burden. However, estimates of deficiency prevalence are often only available at national scales or for small population sub-groups with limited relevance for policy makers. Methods This study combines food supply data from the Third Integrated Household Survey of Malawi with locally-generated food crop composition data to derive estimates of dietary mineral supplies and prevalence of inadequate intakes in Malawi. Results We estimate that >50 % of households in Malawi are at risk of energy, calcium (Ca), selenium (Se) and/or zinc (Zn) deficiencies due to inadequate dietary supplies, but supplies of iron (Fe), copper (Cu) and magnesium (Mg) are adequate for >80 % of households. Adequacy of iodine (I) is contingent on the use of iodised salt with 80 % of rural households living on low-pH soils had inadequate dietary Se supplies compared to 55 % on calcareous soils; concurrent inadequate supplies of Ca, Se and Zn were observed in >80 % of the poorest rural households living in areas with non-calcareous soils. Prevalence of inadequate dietary supplies was greater in rural than urban households for all nutrients except Fe. Interventions to address dietary mineral deficiencies were assessed. For example, an agronomic biofortification strategy could reduce the prevalence of inadequate dietary Se supplies from 82 to 14 % of households living in areas with low-pH soils, including from 95 to 21 % for the poorest subset of those households. If currently-used fertiliser alone were enriched with Se then the prevalence of inadequate supplies would fall from 82 to 57 % with a cost per alleviated case of dietary Se deficiency of ~ US$ 0.36 year−1. Conclusions Household surveys can provide useful insights into the prevalence and underlying causes of dietary mineral deficiencies, allowing disaggregation by spatial and socioeconomic criteria. Furthermore, impacts of potential interventions can be modelled