Generating optimized code from SCR specifications
Abstract
References
Index Terms
- Generating optimized code from SCR specifications
Recommendations
Program Synthesis from Formal Requirements Specifications Using APTS
Formal specifications of software systems are extremely useful because they can be rigorously analyzed, verified, and validated, giving high confidence that the specification captures the desired behavior. To transfer this confidence to the actual ...
Extending the SCR Method for Real-Time Systems
We propose timed SCR specifications, which are a generalization of SCR specifications, intended to specify quantitative timing properties of real-time systems. We extend the tabular notation of the SCR method to deal with sporadic and periodic timing ...
Automated analysis of the SCR-style requirements specifications
AbstractThe SCR (Software Cost Reduction) requirements method is an effective method for specifying software system requirements. This paper presents a formal model analyzing SCR-style requirements. The analysis model mainly applies state translation ...
Comments
Information & Contributors
Information
Published In
- June 2006220 pages
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations15Total Citations
- 418Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in