Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Z-notation"”.
-
Issues in Validation and Executability of Formal Specifications in the Z Notation
… work considers issues in the execution of the Z notation in a logic programming language. A subset of Z which is capable of being animated is identified, together with the necessary theoretical foundations for the relationship of Z to its executable form. The thesis also addresses the transition …
-
The feasibility of using standard Z notation in the design of complex systems
… the effectiveness of a design process. The Z notation has been applied mainly to specifying software, although it has also been used for specifying hardware and general systems. The Z notation fulfils two functions in this thesis. The first function is as a notation for representing …
-
An editor and transformation system for a Z animation case tool.
… specification languages such as the Z notation have been widely adopted within the context of requirements engineering, to provide a vehicle for the development of precise and unambiguous specifications. However, the mathematical foundation upon which these notations are based often …
-
Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System
… lens of three different formal design methods: Z-notation, TLA+, and Petri Nets. Each formal model will then be expanded on in order to demonstrate the beginning iterative steps of how each specification method can be applied to help improve the completeness, correctness, and accuracy of any given …