Abstract
To facilitate writing formal specifications in practice, we put forward a new GUI-aided approach to formal specification construction for software design. By this approach, a GUI prototyping for the system is first carried out based on an informal requirements specification with the aim of improving the informal specification and then a formal design specification is constructed to precisely define the system architecture and functionality. We describe how a prototype GUI can be derived systematically based on the informal specification and discuss how the improved informal specification can be taken into account in constructing the formal design specification.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
