Skip to main content
Article thumbnail
Location of Repository

From Domains to Requirements ∗ Methodology Contributions to Domain Analysis and Requirements Engineering

By Dines Bjørner


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)

Year: 2010
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.