Using the SCR* toolset to specify software requirements

被引：0
|
作者：
Heitmeyer, C [1 ]
机构：
[1] USN, Res Lab, Washington, DC 20375 USA
来源：
2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS | 1999年
关键词：
D O I：
10.1109/WIFT.1998.766290
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：12 / 13
页数：2
相关论文
共 50 条
  • [1] SCR: A toolset for specifying and analyzing software requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    Bharadwaj, R
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 526 - 531
  • [2] Tools for constructing requirements specifications: The SCR toolset at the age of ten
    Heitmeyer, C
    Archer, M
    Bharadwaj, R
    Jeffords, R
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2005, 20 (01): : 19 - 35
  • [3] Tools for constructing requirements specifications: The SCR toolset at the age of ten
    Heitmeyer, C. (heitmeyer@itd.nrl.navy.mil), 2005, CRL Publishing (20):
  • [4] Applying the SCR method in software requirements specifications
    Kirner, TG
    XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 135 - 143
  • [5] How Do Software Architects Specify and Validate Quality Requirements?
    Caracciolo, Andrea
    Lungu, Mircea Filip
    Nierstrasz, Oscar
    SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 374 - 389
  • [6] Methodology to Specify Software Requirements in Assessment System for Decommission of Nuclear Facilities
    Song, Hae Sang
    Jeong, Kwan-Seong
    Hyun, Dongjun
    Kim, Geun-Ho
    Choi, Byeong-Seon
    Moon, Jeikwon
    ASIAN JOURNAL OF CHEMISTRY, 2013, 25 (12) : 7041 - 7043
  • [7] Automated structural analysis of SCR-style software requirements specifications using PVS
    Kim, T
    Cha, S
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (03): : 143 - 163
  • [8] Alternative Title: How to elicit and specify software requirements from BPMN diagrams?
    Sorgatto, Doglas W.
    Paiva, Debora M. B.
    Cagnin, Maria Istela
    PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 433 - 440
  • [9] Formal verification of functional properties of a SCR-style software requirements specification using PVS
    Kim, T
    Stringer-Calvert, D
    Cha, S
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 87 (03) : 351 - 363
  • [10] Formal verification of functional properties of an SCR-style software requirements specification using PVS
    Kim, T
    Stringer-Calvert, D
    Cha, S
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 205 - 220
12345