未找到相关数据
通用多功能立体按钮生成模块的程序设计
被引：1
作者：
陈海鹏
机构：
[1] 哈尔滨
来源：
关键词：
Modal logic system K;
global property;
tableau method;
automated reasoning;
D O I：
暂无
中图分类号：
TP311.5 [软件工程];
学科分类号：
081202 ;
0835 ;
摘要：
通用多功能立体按钮生成模块的程序设计陈海鹏（哈尔滨１５００７６）１引言随着ＷＩＮｔｏＷＳ的普及，ＧＵＩ图形用户界面越来越多地被应用软件所采用。立体按钮是我们在开发ＧＵＩ软件时经常遇到的重要设计内容。尽管许多软件商开发出了一些性能各异的ＧＵＩ开发工具，...
引用
收藏
页码：81 / 81
页数：1
相关论文