11 papers:
SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing- Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
LCTES-2006-RothamelLHL #generative #specification- Generating optimized code from SCR specifications (TR, YAL, CLH, EIL), pp. 135–144.
FASE-2003-GargantiniR #animation #automation #modelling #specification- Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.
TACAS-2002-KimSC #functional #requirements #specification #using #verification- Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
RE-1999-WielsE #formal method #modelling #using- Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
CAV-1998-HeitmeyerKLB #requirements #specification #tool support- SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
RE-1997-FaulkH #analysis #approach #requirements #specification- The SCR Approach to Requirements Specification and Analysis (SRF, CLH), p. 263.
ICSE-1997-FaulkH #evolution #realtime #requirements #tutorial- Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial) (SRF, CLH), pp. 637–638.
ICSE-1997-HeitmeyerKL #requirements #specification #tool support #validation #verification- The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
ISSTA-1996-AtleeB #requirements #semantics- A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.
RE-1995-HeitmeyerLK #consistency #requirements #specification- Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.