We present an enrichment of the Anna specification language for Ada aimed at dealing not only with functional specification of packages but also with non-functional information about them. By non-functional information we mean information about efficiency, reliability and, in general, any software attribute measuring somehow the quality of software (perhaps in a subjective manner). We divide th...

OBJECTIVE To develop consensus-based recommendations for measures to be taken by medical and public health professionals following the use of smallpox as a biological weapon against a civilian population. PARTICIPANTS The working group included 21 representatives from staff of major medical centers and research, government, military, public health, and emergency management institutions and ag...

Title: Lateral wedges with and without custom arch support for people with medial knee osteoarthritis and pronated feet: An exploratory randomized crossover study Authors: Michael Hunt ([email protected]) Judit Takacs ([email protected]) Natasha Krowchuk ([email protected]) Gillian Hatfield ([email protected]) Rana Hinman ([email protected]) Ryan Chang (ryan.chang.umass@gma...

Background: The publication of articles in peer-reviewed scientific journals is a fairly complex and stepwise process that involves responding to referees’ comments. Little guidance is available in the biomedical literature on how to deal with such comments. Objective: The objective of this article is to provide guidance to notice writers on dealing with peer review comments in a way that maxim...

The European Society of Gynaecological Oncology (ESGO), the International Ultrasound in Obstetrics and Gynecology (ISUOG), Ovarian Tumour Analysis (IOTA) group for Endoscopy (ESGE) jointly developed clinically relevant evidence-based statements on preoperative diagnosis ovarian tumours, including imaging techniques, biomarkers prediction models. ESGO/ISUOG/IOTA/ESGE nominated a multidisciplinar...

Problem statement: The International Organization for Standardization (ISO) published a set of international standards related to the software engineering, such as ISO 12207 and ISO 9126. However, there is a set of cross-references between the two standards. Approach: The ISO 9126 on software product quality and ISO 12207 on software life cycle processes had been analyzed to invistigate the rel...