• DocumentCode
    3481846
  • Title

    Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective

  • Author

    Wei, Bo ; Jin, Zhi

  • Author_Institution
    Acad. of Math, & Syst. Sci., Chinese Acad. of Sci., Beijing, China
  • fYear
    2011
  • fDate
    18-22 July 2011
  • Firstpage
    608
  • Lastpage
    609
  • Abstract
    Non-functional requirements are quality concerns of a software envisioned. As an effective treatment, goal-oriented method can capture NFR-related knowledge so that an evaluation for a specific implementation strategy can be provided. This paper makes a meaningful attempt to observe the implementation strategies of non-functional requirements in a probabilistic way, and obtain the probabilistic result for each satisficing status. The contribution of our work is to give a clear justification about whether there exists a proper implementation strategy for multiple non-functional requirements so that they can be guaranteed of the specific satisficing statuses, and if so how big the possibility is.
  • Keywords
    formal specification; formal verification; probability; software quality; NFR-related knowledge; goal oriented method; implementation strategy; multiple nonfunctional requirement; probabilistic perspective; software envisioned; software nonfunctional requirement; Cognition; Guidelines; Manuals; Probabilistic logic; Probability; Software; Software engineering; goal-oriented methods; implementation strategy; non-functional requirements; probability; satisficing status;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual
  • Conference_Location
    Munich
  • ISSN
    0730-3157
  • Print_ISBN
    978-1-4577-0544-1
  • Electronic_ISBN
    0730-3157
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2011.123
  • Filename
    6032406