Browsing UW-L Manuscripts (Software Engineering) by Subject "Data editing"
Now showing items 1-1 of 1
-
TOZE, a graphical editor for the object-Z specification language with syntax and type checking capabilities
(2008-12)This manuscript describes the development of a tool that allows users to create and edit formal specifications in the Object-Z language using a graphical user interface. The tool enables users to enter Object-Z specifications, ...