In [9, Barry Boehm 81] two qualities of software were characterised (30+ years ago): “the right software ” and “software that is right”. The former is software that offers its users exactly and only what they expect from that software. In this paper we shall take “the right software ” to be software whose data and functions accurately reflect the are of their work (i.e., the application domain, or just domain). “Software that is right ” is software which correctly implements its requirements (in the context of assumptions about the domain)
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.