Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
| Hi-index | 0.00 |
Abstract: This paper presents the ZANS approach to animating a large subset of Z specifications. Unlike most other animation approaches that are based on functional or logical programming paradigms, the approach presented transforms the specifications into an imperative intermediate language, which can also serve as the basis of code synthesis from Z specifications. ZANS is showing promise of being an effective tool for requirements validation and assisting students learning Z specification languages.