SCR

Improving the semantics of the software cost reduction method Although the Software Cost Reduction (SCR) method has been successfully used in many projects and organizations to specify software requirements, surprisingly, its semantics is not well defined. The symbols used in this method are ambiguous, especially those that serve to denote SCR events. The aim of this work is to address this ambiguity and improve the SCR semantics by enabling events in first-order logic via two symbols pred and succ. This slight extension of first-order logic allows us to increase the readability of the SCR tables, eliminate their ambiguous semantics, facilitate the verification and validation process, and improve the toolset supporting the SCR method, just to name a few. Moreover, our extension is simple and avoids the complexity of temporal logic.


References in zbMATH (referenced in 20 articles )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Yang, Linmin; Dang, Zhe; Fischer, Thomas R.: Information gain of black-box testing (2011)
  2. Gay, Gregory; Menzies, Tim; Jalali, Omid; Mundy, Gregory; Gilkerson, Beau; Feather, Martin; Kiper, James: Finding robust solutions in requirements models (2010)
  3. Jin, Ying; Parnas, David Lorge: Defining the meaning of tabular mathematical expressions (2010)
  4. Lin, Lan; Prowell, Stacy J.; Poore, Jesse H.: An axiom system for sequence-based specification (2010)
  5. Fraser, Gordon; Gargantini, Angelo; Wotawa, Franz: On the order of test goals in specification-based testing (2009)
  6. Smith, S.; Yu, W.: A document driven methodology for developing a high quality parallel mesh generation toolbox (2009)
  7. Hall, Robert J.: A method and tools for large scale scenarios (2008)
  8. Letier, Emmanuel; Kramer, Jeff; Magee, Jeff; Uchitel, Sebastian: Deriving event-based transition systems from goal-oriented requirements models (2008)
  9. Schätz, Bernhard: Modular functional descriptions. (2008)
  10. Massacci, Fabio; Mylopoulos, John; Zannone, Nicola: Computer-aided support for secure tropos. (2007)
  11. Massacci, Fabio; Mylopoulos, John; Zannone, Nicola: Computer-aided support for Secure Tropos (2007)
  12. Elkoutbi, Mohammed; Khriss, Ismaïl; Keller, Rudolf K.: Automated prototyping of user interfaces based on UML scenarios (2006)
  13. Elkoutbi, Mohammed; Khriss, Ismaïl; Keller, Rudolf K.: Automated prototyping of user interfaces based on uml scenarios (2006)
  14. Wassyng, Alan; Lawford, Mark: Software tools for safety-critical software development (2006)
  15. Heitmeyer, Constance L.: Managing complexity in software development with formally based tools. (2004)
  16. Gargantini, Angelo; Riccobene, Elvinia: Automatic model driven animation of SCR specifications (2003)
  17. Leonard, Elizabeth I.; Heitmeyer, Constance L.: Program synthesis from formal requirements specifications using APTS (2003)
  18. Bharadwaj, Ramesh: SOL: A verifiable synchronous language for reactive systems. (2002)
  19. Gervasi, Vincenzo; Nuseibeh, Bashar: Lightweight validation of natural language requirements (2002)
  20. Archer, Myla: TAME: Using PVS strategies for special-purpose theorem proving (2000)