检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

762 篇 会议
8 篇 期刊文献
1 册 图书

馆藏范围

771 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

367 篇 工学
- 309 篇 软件工程
- 267 篇 计算机科学与技术...
- 46 篇 电气工程
- 3 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 建筑学
48 篇 管理学
- 39 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 7 篇 工商管理
12 篇 理学
- 9 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
2 篇 教育学
- 2 篇 教育学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

150 篇 visualization
121 篇 computer languag...
95 篇 programming prof...
85 篇 visual languages
76 篇 computer science
61 篇 programming
52 篇 humans
50 篇 human computer i...
44 篇 prototypes
39 篇 educational inst...
39 篇 programming envi...
39 篇 user interfaces
38 篇 usability
37 篇 java
37 篇 computational mo...
34 篇 application soft...
34 篇 unified modeling...
32 篇 software enginee...
32 篇 natural language...
30 篇 debugging

机构

12 篇 carnegie mellon ...
10 篇 human-computer i...
10 篇 carnegie mellon ...
8 篇 univ auckland de...
7 篇 department of co...
6 篇 oregon state uni...
5 篇 north carolina s...
5 篇 human-computer i...
5 篇 oregon state uni...
5 篇 department of co...
4 篇 univ michigan an...
4 篇 department of co...
4 篇 oregon state uni...
4 篇 department of co...
4 篇 university of br...
4 篇 school of comput...
4 篇 visual modelling...
4 篇 univ cambridge c...
4 篇 univ roma la sap...
4 篇 oregon state uni...

作者

15 篇 myers brad a.
13 篇 grundy john
12 篇 brad a. myers
11 篇 john grundy
11 篇 andrew fish
9 篇 hosking john
8 篇 andrew j. ko
6 篇 kang zhang
6 篇 john hosking
6 篇 m. burnett
6 篇 ko andrew j.
6 篇 bottoni paolo
5 篇 costagliola genn...
5 篇 p. bottoni
5 篇 paolo bottoni
5 篇 jun kong
5 篇 m.b. rosson
5 篇 scaffidi christo...
5 篇 m.f. costabile
4 篇 p. mussio

语言

766 篇 英文
5 篇 其他

检索条件"任意字段=IEEE Symposium on Visual Languages and Human Centric Computing"

共 771 条记录，以下是91-100 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Specifying Generic Depictions of Language Constructs for 3D visual languages

Specifying Generic Depictions of Language Constructs for 3D ...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Wolter, Jan Univ Paderborn Dept Comp Sci Furstenallee 11 D-33102 Paderborn Germany

ISBN: (纸本)9781479903696

Several modeling domains make use of three-dimensional representations, e.g., the "ball-and-stick" models of molecules. Our generator framework DEViL3D supports the design and implementation of visual 3D languages for such modeling purposes. The front-end of a language implementation generated by DEViL3D is a dedicated 3D graphical structure editor, which is used to construct programs in that domain. DEViL3D supports the language designer to describe the visual appearance of the constructs of the particular language in terms of generic 3D depictions. Their parameters specify where substructures are embedded, and how the graphic adapts to space requirements of nested constructs. This paper motivates 3D visual languages and illustrates the specification process for 3D languages using DEViL3D with focus on generic depictions.

关键词： three-dimensional depictions visual languages visual programming automated generation

来源：评论

学校读者我要写书评

暂无评论

Policy Enforcement and Verification with Timed Modeling Spider Diagrams

Policy Enforcement and Verification with Timed Modeling Spid...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Bottoni, Paolo Fish, Andrew Univ Roma Sapienza Dipartimento Informat Rome Italy Univ Brighton Sch Comp Engn & Math Brighton E Sussex England

ISBN: (纸本)9781479903696

Timed Modelling Spider Diagrams (TMSDs) are a visual language which supports the modeling of object-oriented systems with time constraints. They are used to define policies in which TMSDs specify admissible evolutions of the state of some instance. We define a process for deriving a rewriting system from a policy specification, so that the generated system defines a language of sequences of basic TMSDs satisfying the policy. Moreover, by identifying the different ways in which the constraints set by the policy can be violated, we can produce special rules whose application results in erroneous sequences. The resulting transformation systems can be used both to simulate possible behaviours when reasoning on the definition of policies and to test policy verification algorithms.

关键词： formal specification object-oriented programming program verification rewriting systems visual languages

来源：评论

学校读者我要写书评

暂无评论

Poster: A visual Programming Language for Cellular Automata

Poster: A Visual Programming Language for Cellular Automata

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： McIntyre, Deacon Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand

ISBN: (纸本)9781728169019

Cellular automata are simulations of cells interacting with each other based on simple rules. Despite the simplicity, they can exhibit complex behaviour, and have a number of applications in fields such as medicine, biology, mathematics, and more. As a result, people from a variety of different backgrounds and skill-sets may find cellular automata useful to their work or research. There exist tools to explore well-known automata, but many require some form of textual programming ability, or do not offer easy and approachable ways to customise automata. Our software aims to be more accessible for those without backgrounds in programming or cellular automata, to allow users to more easily explore and modify automata. To achieve this, we have developed a visual programming language, where users can connect components to create their own automata from scratch, without any textual programming.

关键词： visual languages drag and drop cellular automata

来源：评论

学校读者我要写书评

暂无评论

visual languages conversion from Saber models to Modelica multi-system simulation environments

Visual languages conversion from Saber models to Modelica mu...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Colarusso, Felice D'Errico, Fiorenzo Perillo, Nicola Costagliola, Gennaro Torre, Fabrizio ItalSystem Srl Via Aldo Pini 10 I-83100 Avellino AV Italy Univ Salerno I-84084 Fisciano Italy

ISBN: (纸本)9781467308502

The simulation of dynamic systems in aeronautic applications is usually accomplished by integrating different software components that model different aspects of an aircraft. This paper, based on the state of the art of multi-physic systems co-simulation, describes the work in progress for the definition of a tool able to convert an electrical network architecture for an all-electric aircraft, defined in the Hardware Description Language of Synopsys SABER, into a Modelica object which is readable from a multi-physical simulation environment.

关键词： visual languages

来源：评论

学校读者我要写书评

暂无评论

A Component-Based Approach for Specifying Reusable visual languages

A Component-Based Approach for Specifying Reusable Visual La...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： El Kouhen, Amine Gerard, Sebastien Dumoulin, Cedric Boulet, Pierre CEA LIST Lab Model Driven Engn Embedded Syst Gif Sur Yvette France Univ Lille LIFL CNRS UMR 8022 Villeneuve Dascq France

ISBN: (纸本)9781479903696

Model-Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into metamodeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language, especially for users' native methodologies and representational elements and suffer from gaps in terms of reusability. In this context, we propose MID, a set of metamodels supporting the specification of modeling editors by means of reusable components and explain how representational metamodeling is carried out with it.

关键词： computer aided software engineering formal specification object-oriented programming simulation languages visual languages

来源：评论

学校读者我要写书评

暂无评论

Data-Flow Programming for Smart Homes and Other Smart Spaces

Data-Flow Programming for Smart Homes and Other Smart Spaces

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Altendeitering, Marcel Schimmler, Sonja Fraunhofer ISST Dortmund Germany Fraunhofer FOKUS Weizenbaum Inst Berlin Germany

ISBN: (纸本)9781728169019

visual programming languages are a common way for enabling end users to create simple, customized programs in their smart homes. Although visual programming aims at lowering the syntactic and cognitive barriers existing languages lack a simple method for accessing services of smart spaces surrounding the home and therefore restrain the innovative capabilities of users. For example, accessing information about energy consumption or smart parking is often cumbersome and limited to users with advanced technical skills. Based on expert interviews, we extended the existing visual programming language Node-RED with functionalities that enable users to easily access data and services within and beyond their smart homes. Using this prototype, we performed a first evaluation of our solution with some inhabitants of smart homes.

关键词： visual programming languages data-flow programming smart homes smart spaces smart services

来源：评论

学校读者我要写书评

暂无评论

A Demonstration of AZURITE: Backtracking Tool for Programmers

A Demonstration of AZURITE: Backtracking Tool for Programmer...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Yoon, YoungSeok Myers, Brad A. Carnegie Mellon Univ Sch Comp Sci Inst Software Res Pittsburgh PA 15213 USA Carnegie Mellon Univ Sch Comp Sci Human Comp Interact Inst Pittsburgh PA 15213 USA

ISBN: (纸本)9781479940356

Programmers often need to backtrack, but backtracking support in modern programming environments is limited. Previously, we have conducted a series of studies, which discovered that backtracking in programming is in fact prevalent and programmers need better backtracking tools. In this demonstration, we will present our backtracking tool called AZURITE, which provides selective undo and history search and visualization features in the Eclipse code editor. The demonstration will include the user interface presented in our previous work, as well as the new features added in response to user feedback.

关键词： selective undo backtracking

来源：评论

学校读者我要写书评

暂无评论

User Perceptions and Gender in End-User Debugging: How Do They Affect Outcomes?

User Perceptions and Gender in End-User Debugging: How Do Th...

引用

ieee symposium on visual languages and human-centric computing

作者： Chintakovid, Thippaya Wiedenbeck, Susan Drexel Univ Philadelphia PA 19104 USA

ISBN: (纸本)9781424448760

Empirical studies of end-user debugging have revealed that males outperform females An explanation of this phenomenon is that males have higher perceived self-efficacy (or confidence) than females in their ability to debug However, it is not clear whether self-efficacy is the primary or sole wiser self-perception that affects males' and females' performance. In this study, we investigate additional factors that may predict performance, including perceived ease of use, perceived usefulness, and intensity of flow, A hierarchical regression including both genders was used to analyze the relationships of the users self-perceptions on performance outcomes The results show that self-efficacy, perceived ease of use, and perceived usefulness are most predictive of performance. Surprisingly females' self-perceptions did not predict performance.

关键词： human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Reaching Out to Diverse Learners with Non-Formal Workshops on computing Concepts and Skills

Reaching Out to Diverse Learners with Non-Formal Workshops o...

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Pena, Joslenne Rosson, Mary Beth Penn State Univ Ctr Human Ctr Design University Pk PA 16802 USA

ISBN: (纸本)9781728108100

Females, racial minorities, and other diverse individuals face many challenges in learning to program. Researchers have investigated these challenges for many years, yet participation by these groups continues to be low. Our action research project is investigating a non-formal learning activity for female and gender-diverse faculty, staff, and students in a university setting. Using surveys, observations and focus groups, we probed learners' experiences, to examine the short- and longer-term impacts of the workshop. We observed increases in self-efficacy and predictions of future use of programming;trepidation about computing decreased. We discuss the need to offer learning spaces for skills that can empower members of these groups.

关键词： non-formal learning coding workshops non-programmers gender

来源：评论

学校读者我要写书评

暂无评论

visual Analysis of Compound Graphs

Visual Analysis of Compound Graphs

引用

ieee symposium on visual languages and human-centric computing (VL/HCC)

作者： Burch, Michael Univ Stuttgart VISUS D-70569 Stuttgart Germany

ISBN: (纸本)9781509002528

Compound graphs consist of two separate components. On the one hand a graph structure describes which elements are related to each other and to what extent, i.e., inherent edge weights and directions may exist, which we refer to as adjacency edges. On the other hand the graph elements are not only related by adjacencies, but they are also hierarchically organized which might be considered another kind of relationship among the graph vertices. Those relations are further referred to as inclusion edges. There are various application domains in which such a data structure occurs and with which a data analyst has to deal, either analytically on the basis of algorithms or visually, i.e., more on the basis of diagrams and visual languages. In this paper we introduce a visualization tool that is able to provide linked views on both aspects, i.e., the graph relations and the hierarchical organization. We illustrate the usefulness of our tool in a case study investigating soccer team results that build weighted directed adjacency relations in a hierarchically structured world.

关键词： visual languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共78页 << < 6 7 8 9 10 11 12 13 14 15 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：