A generalised mathematical theory of structured programming
Theoretical Computer Science
Modern structured analysis
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
Domain Analysis and Software Systems Modeling
Domain Analysis and Software Systems Modeling
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
An Extendable Approach to Computer-Aided Software Requirements Engineering
IEEE Transactions on Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
Hi-index | 0.00 |
Developing software on the bases of formal functional specifications in first order logic and algebraic languages has been the prime endeavor of research on formal methods. But, the industrial development community has been slow to adopt formal methods. Instead, researchers and software engineers in the area of software requirements engineering have advanced various notations for defining user's requirements and systematic methods of developing requirements definitions. There is a wide gap between the current practice of software requirements engineering and the research on formal specification and software formal development. This paper presents the system NDRASS, which support requirements engineering with the methods of current state of practice and to link such practice to formal methods by automatically generating formal functional specifications in Z.