Inadequate requirements specification remains to be one of the predominant causes of software development project failure today. This is mainly due to the lack of suitable processes, techniques and automated tool support available for specifying and analysing system requirements. In this paper we suggest a way to improve the approach to requirements specification that is the most popular at the...

OBJECTIVE To determine the feasibility, accuracy and cost of developing a system of on-site screening for anaemia in pregnancy in primary care clinics. SETTING Mobile clinic team in Hlabisa health district, KwaZulu-Natal. METHODS Four hundred and forty-nine consecutive women attending antenatal clinics were screened for anaemia (haemoglobin < 10 g/dl) using copper sulphate solution; the res...

This paper presents an overview of the CL-Atse tool, an efficient and versatile automatic analyser for the security of cryptographic protocols. CL-Atse takes as input a protocol specified as a set of rewriting rules (IF format, produced by the AVISPA compiler), and uses rewriting and constraint solving techniques to model all reachable states of the participants and decide if an attack exists w...