UIST: Proceedings of the ACM Symposium on User Interface Software and Technology, Volume 6,Parte 1993Association for Computing Machinery, 1993 |
No interior do livro
Resultados 1-3 de 4
Página 131
... Postcondition " unsaved Changes : = false " Action Quit Precondition " lunsaved Changes " The declarative sequencing through pre- and postconditions facilitates reasoning by external tools . These tools can " un- derstand " the ...
... Postcondition " unsaved Changes : = false " Action Quit Precondition " lunsaved Changes " The declarative sequencing through pre- and postconditions facilitates reasoning by external tools . These tools can " un- derstand " the ...
Página 134
... Postcondition " pos : = newpos " The identical structure of these classes triggers another rule intended to help ... postconditions for sequencing have to be entered in textual form . This shortcoming is discussed in the " Exten ...
... Postcondition " pos : = newpos " The identical structure of these classes triggers another rule intended to help ... postconditions for sequencing have to be entered in textual form . This shortcoming is discussed in the " Exten ...
Página 136
... postconditions textually , even when using Albert . This requires proficiency in formal logic which vio- lates Albert's design goal . Therefore , we are currently inves- tigating ways of deriving pre- and postconditions by easier means ...
... postconditions textually , even when using Albert . This requires proficiency in formal logic which vio- lates Albert's design goal . Therefore , we are currently inves- tigating ways of deriving pre- and postconditions by easier means ...
Índice
Applications | 1 |
AnimationVisualization | 35 |
Symposium Program Friday November 5 1993 | 41 |
Direitos de autor | |
7 outras secções não apresentadas
Outras edições - Ver tudo
UIST: Proceedings of the ACM Symposium on User ..., Volume 14,Parte 2001 Visualização de excertos - 2001 |
UIST: Proceedings of the ACM Symposium on User ..., Volume 6,Parte 1993 Visualização de excertos - 1993 |
UIST: Proceedings of the ACM Symposium on User ..., Volume 16,Parte 2003 Visualização de excertos - 2003 |
Palavras e frases frequentes
A-shell abstract actions active variables algorithm allows animation server annotations application model architecture aspects audio behavior bitmap Bramble button cartoon CAS/PI changes clusters command Computer constraint network constraint system context copy create defined described developed differential interactors display display-fixed window distributed shared memory document editing EDraw environment evaluated example Figure frame function graph graphical objects graphical user interfaces handle head-mounted display implemented Information Visualizer input interaction techniques interface design layout lens manipulation menu motion blur mouse move navigation node object-oriented operations pacers parameters path performance polygonal position postconditions problem Proc Proceedings query rectangle screen selected shape SIGGRAPH Silicon Graphics skeletal strokes specific speech spreadsheet stretching structure synchronization texture mapping time-compressed speech tion toolkit transition tree update user interface user's values vectors virtual visual widgets window system