Subject
Computer Graphics and Computer-Aided Design
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A New Method to Analyze Graphical User Interfaces of Android Applications;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2017
2. The Z Notation: Whence the Cause and Whither the Course?;Engineering Trustworthy Software Systems;2016
3. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998
4. Using Z to support the design of interactive safety-critical systems;Software Engineering Journal;1995
5. Prototyping a visual formalism for system modelling;Software Engineering and Human-Computer Interaction;1995