• DocumentCode
    1514967
  • Title

    Death, Taxes, & Scalability

  • Author

    Duboc, Leticia ; Rosenblum, D.S. ; Letier, Emmanuel

  • Author_Institution
    Univ. Coll. London, London, UK
  • Volume
    27
  • Issue
    4
  • fYear
    2010
  • Firstpage
    20
  • Lastpage
    21
  • Abstract
    The London Ambulance System and the online tax return system of Her Majesty´s Revenue and Customs are two systems that have experienced significant problems of scalability. However, we´ve never seen a precise discussion of their scalability concerns. In this column we use those systems to illustrate how the scalability of software systems can be more precisely understood and characterized, and we describe recent research on goal-obstacle analysis that can help elaborate the scalability requirements of such systems, in an effort to mitigate scalability problems early in development.
  • Keywords
    formal specification; formal verification; systems analysis; London Ambulance System; goal-obstacle analysis; online tax return system; scalability; Finance; Scalability; Software systems; KAOS; obstacles; requirements; scalability; software engineering;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2010.97
  • Filename
    5484110