首页> 外文OA文献 >Towards a Formal Specification Method for Graphical User Interfaces Using Modularized Graph Grammars

【2h】

Towards a Formal Specification Method for Graphical User Interfaces Using Modularized Graph Grammars

机译：利用模块化图形语法实现图形用户界面的形式化规范方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
M. Goedicke; B.E. Sucrow;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Spatial Graph Grammars for Graphical User Interfaces [J] . JUN KONG, KANG ZHANG, XIAOQIN ZENG ACM Transactions on Computer-Human Interaction . 2006,第2期

机译：图形用户界面的空间图语法
2. Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language [J] . Eric Barboni, Celia Martinie, David Navarre, Science of Computer Programming . 2014,第juna15期

机译：弥合行为形式描述技术和用户界面描述语言之间的鸿沟：通过图形用户界面标记语言增强ICO
3. Integrating Dynamic Systems materials into a Mechanical Engineering curriculum through innovative use of Web-based acquisition and hands-on application and use of virtual Graphical User Interfaces - Part 5: Graphical User Interfaces (GUIs) Assist in [J] . Avitabile P Experimental Techniques . 2008,第3期

机译：通过基于Web的获取和动手应用的创新使用以及虚拟图形用户界面的使用，将Dynamic Systems材料集成到机械工程课程中-第5部分：图形用户界面（GUI）辅助
4. Towards a formal specification method for graphical user interfaces using modularized graph grammars [C] . M. Goedicke, B. E. Sucrow, PM. Goedicke Software Specification and Design, 1996 . 1996

机译：迈向使用模块化图形语法的图形用户界面的正式规范方法
5. Application of usability engineering method in the analysis, design and implementation of a graphical user interface for flash flood warning system. [D] . Lopez-Trujillo, Dianne. 2004

机译：可用性工程方法在山洪预警系统图形用户界面的分析，设计和实现中的应用。
6. A Graphical User Interface for a Method to Infer Kinetics and Network Architecture (MIKANA) [O] . Márcio A. Mourão, Jeyaraman Srividhya, Patrick E. McSharry, 2011

机译：图形用户界面用于推断动力学和网络体系结构（MIKANA）
7. Spatial graph grammars for graphical user interfaces [O] . Jun Kong, Kang Zhang, Xiaoqin Zeng 2006

机译：图形用户界面的空间图语法
8. FGB: A Graphical and Haptic User Interface for Creating Graphical, Haptic User Interfaces [R] . Erson, Breckenridge, Davidson 1999

机译：FGB：用于创建图形，触觉用户界面的图形和触觉用户界面

Towards a Formal Specification Method for Graphical User Interfaces Using Modularized Graph Grammars

著录项

引文网络

相似文献

相关主题

期刊订阅