A survey of three dialogue models
ACM Transactions on Graphics (TOG)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
The Z notation: a reference manual
The Z notation: a reference manual
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
Specification case studies
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |