Software Visual Specification for Requirement Specification Validation
Abstract
References
Index Terms
- Software Visual Specification for Requirement Specification Validation
Recommendations
Software visual specification for requirement engineering education
IC4E '19: Proceedings of the 10th International Conference on E-Education, E-Business, E-Management and E-LearningRequirement engineering course is perceived as an important course that become one of compulsory courses to be thought to Software Engineering graduates. However, Requirement Engineering Education (REE) is suffering from difficulty in content delivery (...
Ambiguous software requirement specification detection: an automated approach
RET '18: Proceedings of the 5th International Workshop on Requirements Engineering and TestingSoftware requirement specification (SRS) document is the most crucial document in software development process. All subsequent steps in software development are influenced by this document. However, issues in requirement, such as ambiguity or incomplete ...
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to carry out system property verification. This paper proposes a Controlled ...
Comments
Information & Contributors
Information
Published In

In-Cooperation
- University of Tokyo
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 171Total Downloads
- Downloads (Last 12 months)7
- Downloads (Last 6 weeks)0
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in