Table 10 Mapping of studies to challenge names (with the number of studies in parentheses)
Challenge name | Supported by |
|---|---|
Scalability (7) | Hall (1990), Miller et al. (2010), Bowen and Hinchey (1995a), Lai and Leung (1995), Lai (1996),Craigen et al. (1993), and Craigen et al. (1995) |
Skills & Education (12) | Bjorner (1987), Bicarregui et al. (2009), Hall (1990), Barroca and McDermid (1992), Hinchey and Bowen (1996), Bowen and Hinchey (1995b), Lai and Leung (1995), Lai (1996), Heisel (1996), Craigen et al. (1993), Craigen et al. (1995), and Snook and Harrison (2001) |
Transfer of Proofs (8) | Jackson (1987), Parnas (2010), Hall (1990), Craigen et al. (1993), Craigen et al. (1995), Snook and Harrison (2001), Bloomfield et al. (1991), and Barroca and McDermid (1992) |
Reusability (2) | |
Abstraction (11) | Jackson (1987), Parnas (2010), Miller et al. (2010), Hall (1990), Barroca and McDermid (1992), Bowen and Hinchey (1995b), Lai (1996), Heitmeyer (1998), Heisel (1996), Knight et al. (1997), and Snook and Harrison (2001) |
Tools & Automation (16) | Bjorner (1987), O’Hearn (2018), Hall (1990), Bloomfield et al. (1991), Bowen and Hinchey (1995a), Hinchey and Bowen (1996), Bowen and Hinchey (1995b), Bowen and Hinchey (2005), Bicarregui et al. (2009), Woodcock et al. (2009), Parnas (2010), Lai (1996), Heitmeyer (1998), Craigen et al. (1993), Craigen et al. (1995), Knight et al. (1997) |
Maintainability (3) | Barroca and McDermid (1992), Knight et al. (1997), Parnas (2010) |
Resources (11) | Hall (1990), Woodcock et al. (2009), Craigen et al. (1993), Craigen et al. (1995), Bloomfield et al. (1991), Bowen and Hinchey (1995a), Bowen and Hinchey (1995b), Lai and Leung (1995), Heisel (1996), Knight et al. (1997), Bicarregui et al. (2009) |
Process Compatibility (12) | Bjorner (1987), O’Hearn (2018), Bloomfield et al. (1991), Bowen and Hinchey (1995a), Bowen and Hinchey (1995b), Lai and Leung (1995), Hinchey and Bowen (1996), Lai (1996), Heitmeyer (1998), Heisel (1996), Knight et al. (1997), and Craigen et al. (1995) |
Practicality & Reputation (5) | Lai and Leung (1995), Parnas (2010), Lai (1996), Glass (2002), and Bicarregui et al. (2009) |