Recommendations
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 ...
Informal and Formal Requirements Specification Languages: Bridging the Gap
The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal ...
Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation
ICSIE '20: Proceedings of the 9th International Conference on Software and Information EngineeringModel Driven Software Engineering (MDSE) has become a widely adopted approach in software development industry. Besides other software development phases, specifying requirements formally, is a crucial activity for developing model based software ...






Comments