Paper Info
Title
Rigorous requirements for real-time systems: evolution and application of the SCR method (tutorial)
Abstract
This half-day tutorial provides an in-depth introduction to the SCR (Software Cost Reduction) requirements method, a practical, industrial-strength approach to formal requirements specification. Topics covered in the tutorial include the industrial perspective on formal methods, necessary attributes of methods and tools appropriate for industrial development of requirements, how the SCR method addresses common industrial concerns, the SCR requirements model, the SCR toolset, technology transfer efforts, and results and lessons learned from application of the SCR method to commercial software development.
Year
DOI
Venue
1997
10.1145/253228.253542
ICSE
Keywords
Field
DocType
formal specifications,requirements,thyristors,application software,real time,formal specification,real time systems,formal method,verification,specification,software development,programming,formal methods
Software engineering,Systems engineering,Computer science,Real-time computing,Formal specification,Formal methods
Conference
ISSN
ISBN
Citations 
0270-5257
0-89791-914-9
0
PageRank 
References 
Authors
0.34
2
2
Name
Order
Citations
PageRank
Stuart R. Faulk114327.68
Constance Heitmeyer258339.53