Abstract
The non-functional requirements of the software system usually cross the whole system, and the object-oriented software development method can lead to the entanglement and dispersion of the code. ASECT-Z proposed a formal method for non-functional requirements, it is the formal specification for the extension of Z language. The language based on set theory and mathematical logic, with strict logic, and the formal specification of reasoning. In this paper, we describe a library management system based on Aspect-Z, and then give a formal proof of the formal specification for formal verification.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.