1. Introductory paper

   • S. Purushothaman Iyer
   • David Hislop
   • Stephen Van Albert

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 19 February 2004 Pages: 299 - 300

2. Formal methods software engineering for the CARA system

   • John C. Martin

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 19 December 2003 Pages: 301 - 307

3. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

   • Rajeev Alur
   • David Arney
   • Jiaxiang Zhou

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 16 April 2004 Pages: 308 - 319

4. A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm

   • Raoul Praful Jetley
   • Cohan Carlos
   • S. Purushothaman Iyer

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 06 April 2004 Pages: 320 - 330

5. Formally specifying CARA in Java

   • Eugene W. Stark

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 19 December 2003 Pages: 331 - 350

6. Unit verification: the CARA experience

   • Arnab Ray
   • Rance Cleaveland

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 06 April 2004 Pages: 351 - 369

7. Requirements-document-based prototyping of CARA software

   • Luqi
   • Z. Guan
   • M. Brown

   Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience 19 December 2003 Pages: 370 - 390