Formal Methods in Requirements Engineering: Survey and Future Directions
Abstract
References
Index Terms
- Formal Methods in Requirements Engineering: Survey and Future Directions
Recommendations
Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS
A systematic approach in requirement engineering helps in discovering and understanding the requirements at different levels of abstraction as well as makes the requirements traceable and verifiable early in the project. This paper presents a ...
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 ...
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
AbstractThe requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of multi-discipline stakeholders and machines, and continuous evolution. Formal and semi-...
Comments
Information & Contributors
Information
Published In
- Chair:
- Nico Plat,
- General Chair:
- Stefania Gnesi,
- Program Chairs:
- Carlo A. Furia,
- Antónia Lopes
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 31Total Downloads
- Downloads (Last 12 months)31
- Downloads (Last 6 weeks)12
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