掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on
召开年:
2001
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
How to teach a fish to swim virtual fish tank
机译:
如何教鱼游泳虚拟鱼缸
作者:
Farrell S.
;
Maglio P.P.
;
Campbell C.S.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
2.
HyperSnapping
机译:
超级快照
作者:
Masui T.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
3.
Intellisheet: a spreadsheet system expanded by including constraint
机译:
Intellisheet:通过包含约束扩展的电子表格系统
作者:
Adachi Y.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
4.
Kara, finite state machines, and the case for programming as part of general education
机译:
Kara,有限状态机以及作为普通教育一部分的编程案例
作者:
Hartmann
;
W.
;
Nievergelt
;
J.
;
Reichert
;
R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
5.
Reasoning in higraphs with loose edges
机译:
具有松散边缘的文字中的推理
作者:
Anderson S.
;
Power J.
;
Tourlas K.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
6.
Selecting one from many: the development of a scalable visualization tool
机译:
从众多选择中选择一种:可扩展的可视化工具的开发
作者:
Apperley
;
M.
;
Spence
;
R.
;
Wittenburg
;
K.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
7.
Kara, finite state machines, and the case for programming as part of general education
机译:
Kara,有限状态机以及作为普通教育一部分的编程案例
作者:
Hartmann W.
;
Nievergelt J.
;
Reichert R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
programming;
finite state machines;
computer literacy;
Kara;
programming system;
finite state machines;
general education;
application software;
computing professionals;
personal experience;
evolving process specification;
mathematics education;
teac;
8.
An algorithm for stereotype deduction in UML-based formalism and its application in geographic information systems
机译:
基于UML形式化的构造型推演算法及其在地理信息系统中的应用
作者:
Pinet
;
F.
;
Lbath
;
A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
9.
AutoHAN: an architecture for programming the home
机译:
AutoHAN:用于家庭编程的架构
作者:
Blackwell A.F.
;
Hague R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
10.
Bringing robustness to end-user programming
机译:
为最终用户编程带来强大的功能
作者:
Baron M.
;
Girard P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
11.
Chinese whispers. Semiotically mediating between idea and program
机译:
中国低语。在思想和程序之间进行符号中介
作者:
Krauss M.
;
Nake F.
;
Grabowski S.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
12.
Communicative dimensions of end-user environments
机译:
最终用户环境的通信维度
作者:
Hundhausen
;
C.D.
;
Douglas
;
S.A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
13.
Component interface description using hyperMSCs and connectors
机译:
使用hyperMSC和连接器的组件接口说明
作者:
Graubmann P.
;
Rudolph E.
;
Grabowski J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
14.
End-user class definition in CAD systems
机译:
CAD系统中的最终用户类别定义
作者:
Texier G.
;
Depaulis F.
;
Guitter L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
15.
End-user programming in a structured dialogue environment: the GIPSE project
机译:
结构化对话环境中的最终用户编程:GIPSE项目
作者:
Patry
;
G.
;
Girard
;
P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
16.
Extending MSC for reactive systems
机译:
扩展MSC用于反应系统
作者:
Gwang Sik Yoon
;
Yong Rae Kwon
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
17.
FAR: an end-user language to support cottage e-services
机译:
FAR:支持家庭电子服务的最终用户语言
作者:
Burnett M.
;
Chekka S.K.
;
Pandey R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
18.
Language development in a visual manner
机译:
以视觉方式进行语言开发
作者:
Krusec R.
;
Lenic M.
;
Mernik M.
;
Zumer V.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
19.
Moses-a tool suite for visual modeling of discrete-event systems
机译:
Moses-用于离散事件系统的可视化建模的工具套件
作者:
Esser R.
;
Janneck J.W.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
20.
Multilevel modelling and design of visual interactive systems
机译:
视觉交互系统的多层建模和设计
作者:
Bottoni
;
P.
;
Costabile
;
M.F.
;
Fogh
;
D.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
21.
A community-based Web browsing system
机译:
基于社区的Web浏览系统
作者:
Toyama D.
;
Kakimoto M.
;
Yoshitaka A.
;
Hirakawa M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
22.
A formal model for component-based software
机译:
基于组件的软件的正式模型
作者:
Cox P.T.
;
Baoming Song
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
23.
A formal study of a visual language for the visualization of document type definition
机译:
用于可视化文档类型定义的视觉语言的正式研究
作者:
Vion-Dury
;
J.-Y.
;
Pietriga
;
E.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
24.
A metamodel-based transformation between UML and object-Z
机译:
UML和对象Z之间基于元模型的转换
作者:
Kim
;
S.-K.
;
Carrington
;
D.
;
Duke
;
R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
25.
A predicate-based approach to defining visual language syntax
机译:
基于谓词的视觉语言语法定义方法
作者:
Janneck J.W.
;
Esser R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
26.
A system for rapid prototyping of visual language environments
机译:
用于视觉语言环境的快速原型制作的系统
作者:
Ferrucci
;
F.
;
Tortora
;
G.
;
Tucci
;
M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
27.
A testing methodology for a dataflow based visual programming language
机译:
基于数据流的可视化编程语言的测试方法
作者:
Karam
;
M.R.
;
Smedley
;
T.J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
28.
A timed automata semantics for real-time UML specifications
机译:
实时UML规范的定时自动机语义
作者:
Toetenel
;
H.
;
Roubtsova
;
E.
;
Jan van Katwijk
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
29.
A visual approach to XML document design and transformation
机译:
XML文档设计和转换的可视化方法
作者:
Kang Zhang
;
Da-Qian Zhang
;
Yi Deng
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
30.
A visual system for the generation of banking legacy system gateways
机译:
用于生成银行遗留系统网关的可视系统
作者:
Bianchi
;
A.
;
Costagliola
;
G.
;
DAmbrosio
;
P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
31.
On a uniform logical framework for diagrammatic reasoning
机译:
在用于图论推理的统一逻辑框架上
作者:
Bottoni P.
;
Meyer B.
;
Parisi-Presicce F.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
32.
Processing UML models with visual scripts
机译:
使用可视脚本处理UML模型
作者:
Peltonen J.
;
Selonen P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
33.
Shapely hierarchical graph transformation
机译:
形状层次图转换
作者:
Hoffmann B.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
34.
The immune system as a reactive system: modeling T cell activation with statecharts
机译:
作为反应系统的免疫系统:利用状态图模拟T细胞活化
作者:
Naaman Kam
;
Cohen
;
I.R.
;
HareI
;
D.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
35.
Towards a formalization of constraint diagrams
机译:
走向约束图的形式化
作者:
Gil J.
;
Howse J.
;
Kent S.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
36.
Towards dynamic meta modeling of UML extensions: an extensible semantics for UML sequence diagrams
机译:
走向UML扩展的动态元建模:UML序列图的可扩展语义
作者:
Hausmann J.H.
;
Heckel R.
;
Sauer S.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
37.
UML-based behavior specification of interactive multimedia applications
机译:
基于UML的交互式多媒体应用程序的行为规范
作者:
Sauer
;
S.
;
Engels
;
G.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
38.
Visualizing impacts of database schema changes - A controlled experiment
机译:
可视化数据库架构更改的影响-受控实验
作者:
Karahasanovic
;
A.
;
Sjoberg
;
D.I.K.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
39.
Visually testing recursive programs in spreadsheet languages
机译:
以电子表格语言可视化测试递归程序
作者:
Burnett M.
;
Ren B.
;
Ko A.
;
Cook C.
;
Rothermel G.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
40.
A metamodel-based transformation between UML and Object-Z
机译:
UML和Object-Z之间基于元模型的转换
作者:
Soon-Kyeong Kim
;
Carrington D.
;
Duke R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
specification languages;
object-oriented languages;
visual languages;
metamodel-based transformation;
UML;
Object-Z;
formal modeling notations;
visual modeling notations;
software models;
imprecise incomplete inconsistent transformation task;
meta-le;
41.
A system for rapid prototyping of visual language environments
机译:
用于视觉语言环境的快速原型制作的系统
作者:
Ferrucci F.
;
Tortora G.
;
Tucci M.
;
Vitiello G.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
42.
A testing methodology for a dataflow based visual programming language
机译:
基于数据流的可视化编程语言的测试方法
作者:
Karam M.R.
;
Smedley T.J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
43.
A timed automata semantics for real-time UML specifications
机译:
实时UML规范的定时自动机语义
作者:
Toetenel H.
;
Roubtsova E.
;
van Katwijk J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
specification languages;
object-oriented languages;
formal specification;
program verification;
automata theory;
real-time systems;
graph theory;
real-time systems;
UML;
Unified Modeling Language;
object oriented language;
extended timed graphs;
XTG;
44.
Communicative dimensions of end-user environments
机译:
最终用户环境的通信维度
作者:
Hundhausen C.D.
;
Douglas S.A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
human factors;
programming;
personal computing;
user centred design;
educational courses;
computer science education;
social aspects of automation;
communicative dimensions;
end-user environments;
programming;
nonprogrammers;
human-computer interacti;
45.
Multilevel modelling and design of visual interactive systems
机译:
视觉交互系统的多层建模和设计
作者:
Bottoni P.
;
Costabile M.F.
;
Fogli D.
;
Levialdi S.
;
Mussio P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
visual languages;
visual programming;
interactive systems;
user modelling;
multilevel modelling;
visual interactive systems;
interactive computer-based artefacts;
complexity;
user activities;
46.
The immune system as a reactive system: modeling T cell activation with statecharts
机译:
作为反应系统的免疫系统:利用状态图模拟T细胞活化
作者:
Kam N.
;
Cohen I.R.
;
Harel D.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
systems engineering;
software engineering;
object-oriented programming;
cognitive systems;
biocomputing;
immune system;
reactive system;
T cell activation modelling;
statecharts;
reliable reactive systems;
system engineering;
software engineering;
ge;
47.
UML-based behavior specification of interactive multimedia applications
机译:
基于UML的交互式多媒体应用程序的行为规范
作者:
Sauer S.
;
Engels G.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
specification languages;
multimedia systems;
interactive systems;
object-oriented programming;
software architecture;
UML-based behavior specification;
interactive multimedia;
usable modeling languages;
multimedia systems;
software engineering;
speci;
48.
A visual query system for the specification and scientific analysis of continual queries
机译:
可视化查询系统,用于对连续查询进行规范和科学分析
作者:
Leopold
;
J.
;
Ambler
;
A.
;
Heimovics
;
M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
49.
Visualization/animation of programs based on abstract representations and formal mappings
机译:
基于抽象表示和形式映射的程序可视化/动画
作者:
Pereira
;
M.J.V.
;
Henriques
;
P.R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
50.
Extending MSC for reactive systems
机译:
扩展MSC用于反应系统
作者:
Gwang Sik Yoon
;
Yong Rae Kwon
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
diagrams;
visual languages;
specification languages;
process algebra;
algebraic specification;
Message Sequence Charts;
visual language;
system operations scenarios;
user-friendly behavioral descriptions;
High-level MSC;
composition mechanisms;
syste;
51.
End user programming in an industrial research and development group
机译:
工业研发小组中的最终用户编程
作者:
Goodell H.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
52.
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)
机译:
IEEE关于以人为中心的计算语言和环境的专题讨论会(目录号01TH8587)
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
53.
Visual languages for spatio-temporal applications
机译:
时空应用的可视语言
作者:
Laurini R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
54.
Aligning syntax and semantics in formalisations of visual languages
机译:
在视觉语言的形式化中对齐语法和语义
作者:
Gurr C.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
55.
Computation scrapbooks of emacs lisp runtime state
机译:
Emacs Lisp运行时状态的计算剪贴簿
作者:
Potter
;
R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
56.
End user programming in an industrial Research Development group
机译:
工业研发小组中的最终用户编程
作者:
Goodell
;
H.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
57.
Guiding usability evaluators during hypermedia inspection
机译:
在超媒体检查期间指导可用性评估程序
作者:
Costabile M.F.
;
De Angeli A.
;
Matera M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
58.
How children understand concurrent comics: experiences from LOFI and HIFI prototypes
机译:
儿童如何理解并发漫画:LOFI和HIFI原型的经验
作者:
Kindborg
;
M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
59.
Integrating document and workflow management systems
机译:
集成文档和工作流管理系统
作者:
Aversano L.
;
Canfora G.
;
De Lucia A.
;
Gallucci P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
60.
Integrating UML and OUN for specification of open distributed systems
机译:
集成UML和OUN以规范开放式分布式系统
作者:
Wenhui Zhang
;
Johnsen
;
E.B.
;
Owe
;
O.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
61.
3D authoring for content experts: a collaborative approach
机译:
内容专家的3D创作:一种协作方法
作者:
Pittarello
;
F.
;
Celentano
;
A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
62.
A dancing programmer in an immersive virtual environment
机译:
沉浸式虚拟环境中的跳舞程序员
作者:
Osawa
;
N.
;
Asai
;
K.
;
Sugimoto
;
Y.Y.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
63.
A visual language and environment for EDI message translation
机译:
用于EDI消息翻译的可视语言和环境
作者:
Grundy
;
J.
;
Mugridge
;
R.
;
Hosking
;
J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
64.
A visual language for design pattern modelling and instantiation
机译:
用于设计模式建模和实例化的视觉语言
作者:
Maplesden D.
;
Hosking J.
;
Grundy J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
65.
Programming at the end of the learning curve: Lisp scripting for image processing
机译:
学习曲线末端的编程:用于图像处理的Lisp脚本
作者:
Tanimoto
;
S.L.
;
Baer
;
J.W.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
66.
The activity tunnel - an experiment for improved understanding of program behavior
机译:
活动通道-增强对程序行为理解的实验
作者:
Kranzlmuller
;
D.
;
Reitinger
;
B.
;
Volkert
;
J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
67.
The ptolemy II framework for visual languages
机译:
视觉语言的ptolemy II框架
作者:
Xiaojun Liu
;
Yuhong Xiong
;
Lee E.A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
68.
Towards a compositional approach to define graphical animation of software applications
机译:
迈向定义软件应用程序图形动画的组合方法
作者:
Bardohl
;
R.
;
Ribeiro
;
L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
69.
Towards a theory of normalization for multimedia databases
机译:
迈向多媒体数据库规范化理论
作者:
Polese
;
G.
;
Chang
;
S.K.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
70.
Towards the conceptions of visualization language and visualization metaphor
机译:
走向可视化语言和可视化隐喻的概念
作者:
Averbukh
;
V.L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
71.
ViCoLL - a visual compositional logic language
机译:
ViCoLL-一种视觉合成逻辑语言
作者:
Hakansson A.
;
Oestreicher L.
;
Jonsson T.
;
Hamfelt A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
72.
Visual debugging of multithreaded Java programs
机译:
可视化调试多线程Java程序
作者:
Jackson D.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
73.
Visual development environment based on component technique
机译:
基于组件技术的可视化开发环境
作者:
Martin
;
L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
74.
Visual hypermedia authoring
机译:
视觉超媒体创作
作者:
Costagliola G.
;
Dattolo A.
;
Francese R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
75.
Visual representation of algebraic specifications: A user-oriented approach
机译:
代数规格的可视化表示:一种面向用户的方法
作者:
Neary
;
D.S.
;
Woodward
;
M.R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
76.
VXT: visual XML transformer
机译:
VXT:可视XML转换器
作者:
Pietriga
;
E.
;
Vion-Dury
;
J.-Y.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
77.
3D authoring for content experts: a collaborative approach
机译:
内容专家的3D创作:一种协作方法
作者:
Pittarello F.
;
Celentano A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
78.
A visual language and environment for EDI message translation
机译:
用于EDI消息翻译的可视语言和环境
作者:
Grundy J.
;
Mugridge R.
;
Hosking J.
;
Kendall P.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
79.
Integrating UML and OUN for specification of open distributed systems
机译:
集成UML和OUN以规范开放式分布式系统
作者:
Wenhui Zhang
;
Johnsen E.B.
;
Owe O.
;
Aredo D.B.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
80.
Towards the conceptions of visualization language and visualization metaphor
机译:
走向可视化语言和可视化隐喻的概念
作者:
Averbukh
;
V.L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
81.
Visual development environment based on component technique
机译:
基于组件技术的可视化开发环境
作者:
Martin L.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
82.
A dancing programmer in an immersive virtual environment
机译:
沉浸式虚拟环境中的跳舞程序员
作者:
Osawa N.
;
Asai K.
;
Sugimoto Y.Y.
;
Saito F.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
virtual reality;
programming environments;
gesture recognition;
computer science education;
programming;
dancing programmer;
immersive virtual environment;
immersive programming system;
program editing;
program control;
direct manipulation;
hand gest;
83.
Computation scrapbooks of Emacs Lisp runtime state
机译:
Emacs Lisp运行时状态的计算剪贴簿
作者:
Potter R.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
automatic programming;
LISP;
system documentation;
program debugging;
program testing;
computation scrapbooks;
Emacs Lisp runtime state;
code documentation;
prototype system;
general purpose programming by demonstration;
computation snapshots;
debugg;
84.
How children understand concurrent comics: experiences from LOFI and HIFI prototypes
机译:
儿童如何理解并发漫画:LOFI和HIFI原型的经验
作者:
Kindborg M.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
programming;
computer science education;
concurrent comics;
program representations;
narrative interpretations;
low fidelity paper prototype;
high fidelity computer prototype;
plausible interpretations;
LOFI prototypes;
HIFI prototypes;
85.
Towards a theory of normalization for multimedia databases
机译:
迈向多媒体数据库规范化理论
作者:
Polese G.
;
Chang S.K.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
multimedia databases;
database theory;
abstract data types;
multimedia database normalization;
database theory;
functional dependencies;
media data types;
semantic relationships detection;
complex data types;
approximate matching paradigms;
anomalies;
86.
VXT: Visual XML Transformer
机译:
VXT:Visual XML转换器
作者:
Pietriga E.
;
Vion-Dury J.-Y.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
hypermedia markup languages;
visual languages;
specification languages;
user interface management systems;
interactive systems;
program debugging;
VXT;
Visual XML Transformer;
heterogeneous data exchange;
Internet;
structured document transformations;
87.
Investigating the relationship between usability and conceptual gaps for human-centric CASE tools
机译:
研究以人为中心的CASE工具的可用性与概念差距之间的关系
作者:
Seffah A.
;
Rilling J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
关键词:
computer aided software engineering;
software tools;
project support environments;
user centred design;
human factors;
Java;
usability;
ease of use;
conceptual gaps;
human-centric CASE tools;
interviews;
software developer mental model;
integrated so;
88.
Heuristics for edge drawing in a graph-based visual language
机译:
基于图的视觉语言中的边缘绘制启发式
作者:
Ibrahim B.
;
Randriamparany H.
;
Yoshizumi H.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
89.
New paradigm for developing software for E-business
机译:
开发电子商务软件的新范例
作者:
Ginige A.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
90.
Investigating the relationship between usability and conceptual gaps for human-centric CASE tools
机译:
研究以人为中心的CASE工具的可用性与概念差距之间的关系
作者:
Seffah
;
A.
;
Rilling
;
J.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
91.
The World Wide Train Wreck: is there light at the end of the tunnel?
机译:
全球火车残骸:隧道尽头有光吗?
作者:
Fry
;
C.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
92.
The World Wide Train Wreck: is there light at the end of the tunnel?
机译:
全球火车残骸:隧道尽头有光吗?
作者:
Fry C.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
93.
On the pLR parsability of visual languages
机译:
视觉语言的pLR可解析性
作者:
Costagliola G.
;
Deufemia V.
;
Ferrucci F.
;
Gravino C.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
94.
Visualizing graphical and textual formalisms
机译:
可视化图形和文本形式主义
作者:
Castello R.
;
Mili R.
;
Madabushi H.
会议名称:
《Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on》
|
2001年
意见反馈
回到顶部
回到首页