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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

598 篇 会议
5 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

262 篇 工学
- 228 篇 软件工程
- 197 篇 计算机科学与技术...
- 31 篇 电气工程
- 3 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 生物医学工程（可授...
43 篇 管理学
- 34 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 6 篇 工商管理
10 篇 理学
- 8 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 1 篇 统计学（可授理学、...
2 篇 教育学
- 2 篇 教育学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

125 篇 visualization
121 篇 computer languag...
85 篇 visual languages
79 篇 programming prof...
65 篇 computer science
46 篇 programming
42 篇 humans
37 篇 computational mo...
34 篇 educational inst...
33 篇 prototypes
33 篇 unified modeling...
32 篇 natural language...
32 篇 java
31 篇 application soft...
31 篇 programming envi...
28 篇 user interfaces
27 篇 concrete
24 篇 software enginee...
24 篇 software
24 篇 usability

机构

7 篇 department of co...
6 篇 univ auckland de...
5 篇 north carolina s...
5 篇 department of co...
5 篇 oregon state uni...
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 roma la sap...
4 篇 university of wa...
4 篇 school of eecs o...
3 篇 univ michigan an...
3 篇 mit media lab ca...
3 篇 department of co...
3 篇 computer laborat...
3 篇 pennsylvania sta...
3 篇 dalhousie univer...

作者

11 篇 john grundy
11 篇 grundy john
11 篇 andrew fish
8 篇 hosking john
8 篇 andrew j. ko
6 篇 john hosking
6 篇 bottoni paolo
5 篇 kang zhang
5 篇 p. bottoni
5 篇 jun kong
4 篇 rui pereira
4 篇 walkingshaw eric
4 篇 t.j. smedley
4 篇 s. levialdi
4 篇 m. burnett
4 篇 jorma sajaniemi
4 篇 paolo bottoni
3 篇 david harel
3 篇 costagliola genn...
3 篇 anita sarma

语言

601 篇 英文
3 篇 其他

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

共 604 条记录，以下是181-190 订阅

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

详细简洁

排序：

Designing Inference Rules for Spider Diagrams

Designing Inference Rules for Spider Diagrams

引用

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

作者： Stapleton, Gem Jamnik, Mateja Urbas, Matej Univ Brighton Brighton E Sussex England Univ Cambridge Cambridge England

ISBN: (纸本)9781479903696

Diagrammatic modes of communication have long been recognized for their accessible representations of information. One area in which they have been developed is that of logical reasoning, where symbolic notations are perceived by many as difficult to use. Significant progress has been made on formalizing diagrammatic logics and proving formal properties of their inference rules. To-date, most inference rules for diagrammatic logics have been designed from the perspective of a logician, aiming for the essential and, thus, desirable properties of soundness and completeness. However, this approach overlooks a fundamental goal of providing diagrammatic logics: to overcome barriers posed by symbolic logics to non-mathematicians. Even if the diagrams themselves are accessible, having inference rules that result in unwieldy proofs will fail to fulfil this fundamental goal. Thus, the time is ripe to fully address this goal and show how to design inference rules that give rise to more natural proofs. In this paper we take significant steps towards this ambitious target by devising new inference rules for spider diagrams. We demonstrate that they allow substantially shorter proofs to be written and, we argue, the resulting proofs are more natural.

关键词： diagrams formal logic inference mechanisms theorem proving visual languages

来源：评论

学校读者我要写书评

暂无评论

RE 2013 Doctoral symposium

RE 2013 Doctoral Symposium

引用

21st ieee International Requirements Engineering Conference (RE)

作者： Moreira, Ana Gruenbacher, Paul Univ Nova Lisboa Dept Informat FCT CITI Lisbon Portugal Johannes Kepler Univ Linz Inst Syst Engn & Automat Linz Austria

ISBN: (纸本)9781467357654

The Doctoral symposium brings together PhD students working in requirements engineering to facilitate the interaction among students and RE researchers. Students present their research and receive constructive feedback from a panel of senior researchers. The doctoral symposium is run in a highly interactive and workshop-like format.

关键词： Students Rhenium Formative Feedback Device Panel Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Workshops and Doctoral symposium at RE'13: The Results Presentation Session of New Ideas for Researchers and Practitioners Who Weren't There

Workshops and Doctoral Symposium at RE'13: The Results Prese...

引用

21st ieee International Requirements Engineering Conference (RE)

作者： Creighton, Oliver Borges, Marcos Siemens AG Corp Technol Munich Germany Univ Fed Rio de Janeiro Dept Comp Sci Rio De Janeiro Brazil

ISBN: (纸本)9781467357654

This paper describes the workshops held in conjunction with RE'13 and its corresponding presentation of results during the main conference. This paper presents the contents, structure, and format of the "Results" event: A slide show is followed by a poster session. This paper concludes with a complete list of all collocated workshops and their descriptions. The audience members of this session can expect a highly dynamic, interactive discussion of what went on during the workshops. All the interesting, new, controversial, and pioneering ideas of these exciting preceding events can be absorbed in a memorable, enjoyable and fun way.

关键词： Workshop organization Conference Interaction Feedback from Participants RE artifacts

来源：评论

学校读者我要写书评

暂无评论

visual Notation Design 2.0: Towards User Comprehensible Requirements Engineering Notations

Visual Notation Design 2.0: Towards User Comprehensible Requ...

引用

21st ieee International Requirements Engineering Conference (RE)

作者： Caire, Patrice Genon, Nicolas Heymans, Patrick Moody, Daniel L. Univ Luxembourg Luxembourg Luxembourg PReCISE Res Ctr Namur Belgium Ozemant Pty Ltd Sydney NSW Australia

ISBN: (纸本)9781467357654

The success of requirements engineering depends critically on effective communication between business analysts and end users, yet empirical studies show that business stakeholders understand RE notations very poorly. This paper proposes a novel approach to designing RE visual notations that actively involves naive users in the process. We use i*, one of the most influential RE notations, to demonstrate the approach, but the same approach could be applied to any RE notation. We present the results of 5 related empirical studies that show that novices outperform experts in designing symbols that are comprehensible to novices: the differences are both statistically significant and practically meaningful. Symbols designed by novices increased semantic transparency (their ability to be spontaneously interpreted by other novices) by almost 300% compared to the existing i* notation. The results challenge the conventional wisdom about visual notation design: that it should be conducted by a small group of experts;our research suggests that it should instead be conducted by large numbers of novices. The approach is consistent with Web 2.0, in that it harnesses the collective intelligence of end users and actively involves them in the notation design process as "prosumers" rather than passive consumers. We believe this approach has the potential to radically change the way visual notations are designed in the future.

关键词： visual languages empirical research modelling analysis end user communication requirements analysis

来源：评论

学校读者我要写书评

暂无评论

The Regulatory World and the Machine: Harmonizing Legal Requirements and the Systems They Affect

The Regulatory World and the Machine: Harmonizing Legal Requ...

引用

21st ieee International Requirements Engineering Conference (RE)

作者： Gordon, David G. Carnegie Mellon Univ Engn & Publ Policy Pittsburgh PA 15213 USA

ISBN: (纸本)9781467357654

The past decade has seen a substantial increase in the issuance of privacy and security regulations governing personal information. Ensuring system and organizational compliance is both more important and more difficult than ever before, as the penalties have become more severe, and regulations more complex and nuanced. This also presents substantial difficulties for multi-national companies, as different states, countries, or regions do not adhere to a uniform standard, resulting in a mixed set of regulations for the systems they govern. In this work, I describe a framework to address this issue, referred to as requirements water marking, wherein requirements from different jurisdictions that govern the same system may be evaluated and reduced to a single standard of care, establishing a "high water mark" for regulatory compliance and reducing requirements complexity. The framework, which draws on work in requirements specification languages and requirements comparison, allows engineers and legal experts to systematically simplify compliance and determine both high and low standards of care, while maintaining traceability back to the original legal text. In addition, I investigate the proposed value of legal requirements models, demonstrating the relationship between proposed value of these models to organizational decision-making and the validity of the model.

关键词： data privacy formal specification formal verification international trade legislation organisational aspects security of data specification languages watermarking

来源：评论

学校读者我要写书评

暂无评论

Colour beads visual representation of compositional relational programs

Colour beads visual representation of compositional relation...

引用

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

作者： Görkem Paçacı Andreas Hamfelt Department of Informatics and Media Uppsala University Sweden

Building on a compositional relational programming language Combilog, code visualization with a motivation of flexible practical applications is explored. Following from earlier work, a new coloured and human perception-centric iteration of visual representation is introduced, and its effects on understanding code are analysed by means of a user study. Results showed that visuals helped participants to solve code-related questions 46% faster with 69% less errors.

关键词： visualization visual systems Indexes Computer languages Logic programming Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Curve-based diagram specification and construction

Curve-based diagram specification and construction

引用

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

作者： Gennaro Costagliola Mattia De Rosa Andrew Fish Vittorio Fuccella Rafiq Saleh Department of Informatics University of Salerno Italy School of Computing Engineering&Mathematics University of Brighton UK

ISBN: (纸本)9781479903702

We present a code which captures the topology of closed-curve based diagrams (e.g. Euler diagrams (EDs) are used to visualize set-based relationships, whilst knot diagrams represent knotted structures), often used in visual languages. We briefly indicate how to construct a diagram from such a code. Furthermore, we present an interactive software artefact with a human-centric focus, permitting users the freedom to construct and transform diagrams at either the diagram or the code level, implementing algorithmic procedures developed.

关键词： Face visualization Marine animals Topology Educational institutions Abstracts Concrete

来源：评论

学校读者我要写书评

暂无评论

Programmer, interrupted

Programmer, interrupted

引用

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

作者： Chris Parnin College of Computing Georgia Technology Atlanta GA USA

ISBN: (纸本)9781479903702

My thesis work has focused on collecting evidence about the impact of interruptions on programmers, understanding how programmers managed them in practice, and designing tools that can support interrupted programmers. My goal has been to combine insights from empirical observations with principles derived from cognitive theories. At this stage, I have prototyped several tools and am exploring the best ways to evaluate them.

关键词： Programming Associative memory Memory management Brain human factors visualization Force

来源：评论

学校读者我要写书评

暂无评论

Using concrete visual notations as first class citizens for model transformation specification

Using concrete visual notations as first class citizens for ...

引用

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

作者： Iman Avazpour John Grundy Centre for Computing and Engineering Software and Systems Faculty of ICT Swinburne University of Technology Hawthorn VIC Australia

ISBN: (纸本)9781479903702

Model transformations are an important part of Model Driven Engineering (MDE). To generate a transformation with current MDE approaches, users are required to specify (or provide) complex meta-models and then engage in quite low-level coding in textual transformation scripting languages. This paper introduces a new approach to visualising source and target models that allows specifiers of complex data transformations to use the resultant visual notations for specifying transformations by example using drag and drop. We demonstrate the applicability of our new approach by an example case study.

关键词： Data visualization visualization Data models Concrete Image color analysis Computational modeling Software

来源：评论

学校读者我要写书评

暂无评论

QuerySheet: A bidirectional query environment for model-driven spreadsheets

QuerySheet: A bidirectional query environment for model-driv...

引用

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

作者： Orlando Belo Jácorne Cunha João Paulo Femandes Jorge Mendes Rui Pereira João Saraiva Algoritmi R&D Centre Portugal Universidade do Minho Portugal CIICESI Instituto Politécnico do Porto Portugal HASLab/INESC TEC Portugal Universidade do Minho Braga Braga PT

This paper presents a tool, named QuerySheet, to query spreadsheets. We defined a language to write the queries, which resembles SQL, the language to query databases. This allows to write queries which are more relate... 详细信息

关键词： Database languages Databases Data models Object oriented modeling Computational modeling Google visualization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共61页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：