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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
73 册 图书
22 篇 学位论文

馆藏范围

4,866 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
221 篇 software enginee...
207 篇 programming prof...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
134 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 operating system...
89 篇 concurrent compu...

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,746 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4866 条记录，以下是691-700 订阅

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

详细简洁

排序：

KonohaScript: Static scripting for practical use

KonohaScript: Static scripting for practical use

引用

ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11

作者： Kuramitsu, Kimio JST/CREST/DEOS Project Yokohama National University Japan

ISBN: (纸本)9781450309424

This demonstration presents the language design of Konoha-Script, a statically typed object-oriented scripting language. KonohaScript provides the very similar scripting experiences compared to dynamic languages. In addition, it also preserves useful programming supports by static typing, such as automated verification of careless mistakes, improved readability of source code, better opportunity of optimized code generation. This demonstration will show how KonohaScript improved scripting experiences with static typing, using our open source implementation fully written in C.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A tracing technique using dynamic bytecode instrumentation of java applications and libraries at basic block level

A tracing technique using dynamic bytecode instrumentation o...

引用

6th Workshop on the Implementation, Compilation, Optimization of object-oriented languages, Programs and systems, ICOOOLPS 2011 - In Conjunction with the 25th European conference on object-oriented programming, ECOOP 2011

作者： Caserta, Pierre Zendra, Olivier Nancy-Université INPL LORIA France INRIA Nancy - Grand Est LORIA France

ISBN: (纸本)9781450308946

Implementing a profiler to trace a program execution is nontrivial. One way to do this on running Java programs is through bytecode instrumentation. Nowadays, tools exist that ease the instrumentation process itself, but as far as we know, none offers an entirely dynamic implementation technique which is able to include the instrumentation of Java Runtime Environement (JRE) classes. In this paper we present the main principles of our technique, which performs such online bytecode instrumentation of both application and JRE classes, at basic block level. © 2011 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

systems Evolution and Software Reuse in object-oriented programming and Aspect-oriented programming

Systems Evolution and Software Reuse in Object-Oriented Prog...

引用

49th International conference on objects, Models, Components, Patterns (TOOLS)

作者： Przybylek, Adam Univ Gdansk Piaskowa 90 PL-81824 Sopot Poland

ISBN: (纸本)9783642219528

Every new programming technique makes claims that software engineers want to hear. Such is the case with aspect-oriented programming (AOP). This paper describes a quasi-controlled experiment which compares the evolution of two functionally equivalent programs, developed in two different paradigms. The aim of the study is to explore the claims that software developed with aspect-oriented languages is easier to maintain and reuse than this developed with object-oriented languages. We have found no evidence to support these claims.

关键词： AOP maintainability reusability separation of concerns

来源：评论

学校读者我要写书评

暂无评论

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance 11

Type checking modular multiple dispatch with parametric poly...

引用

2011 ACM International conference on object oriented programming systems languages and applications, OOPSLA'11

作者： Allen, Eric Hilburn, Justin Kilpatrick, Scott Luchangco, Victor Ryu, Sukyoung Chase, David Steele, Guy L. Oracle Labs United States University of Texas Austin United States KAIST Korea Republic of

ISBN: (纸本)9781450309400

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the entire type hierarchy to be known, thus supporting modularity and extensibility. In this work, we extend these rules to a language that supports parametric polymorphism on both classes and functions. In a multiple-inheritance language in which any type may be extended by types in other modules, some overloaded functions that might seem valid are correctly rejected by our rules. We explain how these functions can be permitted in a language that additionally supports an exclusion relation among types, allowing programmers to declare "nominal exclusions" and also implicitly imposing exclusion among different instances of each polymorphic type. We give rules for computing the exclusion relation, deriving many type exclusions from declared and implicit ones. We also show how to check our rules for ensuring the safety of overloaded functions. In particular, we reduce the problem of handling parametric polymorphism to one of determining subtyping relationships among universal and existential types. Our system has been implemented as part of the open-source Fortress compiler. Copyright is held by the author / owner(s).

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Method Sequences for High-Coverage Testing 11

Synthesizing Method Sequences for High-Coverage Testing

引用

2th ACM International conference on systems, programming, languages, and applications: Software for Humanity (SPLASH)

作者： Thummalapenta, Suresh Xie, Tao Tillmann, Nikolai de Halleux, Jonathan Su, Zhendong IBM Res Bangalore Karnataka India

ISBN: (纸本)9781450309400

High-coverage testing is challenging. Modern object-oriented programs present additional challenges for testing. One key difficulty is the generation of proper method sequences to construct desired objects as method parameters. In this paper, we cast the problem as an instance of program synthesis that automatically generates candidate programs to satisfy a user-specified intent. In our setting, candidate programs are method sequences, and desired object states specify an intent. Automatic generation of desired method sequences is difficult due to its large search space sequences often involve methods from multiple classes and require specific primitive values. This paper introduces a novel approach, called Seeker, to intelligently navigate the large search space. Seeker synergistically combines static and dynamic analyses: (1) dynamic analysis generates method sequences to cover branches;(2) static analysis uses dynamic analysis information for not-covered branches to generate candidate sequences;and (3) dynamic analysis explores and eliminates statically generated sequences. For evaluation, we have implemented Seeker and demonstrate its effectiveness on four subject applications totalling 28K LOC. We show that Seeker achieves higher branch coverage and def-use coverage than existing state-of-the-art approaches. We also show that Seeker detects 34 new defects missed by existing tools.

关键词： object-oriented testing Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

Exploiting agent-oriented programming for developing future internet applications based on the web: The JaCa-web framework

引用

3rd International Workshop on languages, Methodologies and Development Tools for Multi-agent systems, LADS 2010

作者： Minotti, Mattia Ricci, Alessandro Santi, Andrea DEIS University of Bologna Via Venezia 52 CesenaFC Italy

ISBN: (纸本)9783642227226

Besides being suitable for tackling Distributed Artificial Intelligence problems, we argue that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and programming of complex software systems in general. Internet applications based on the Web are an important example of such systems. Following the cloud computing perspective, these kinds of applications will more and more replace desktop applications, exploiting the Web infrastructure as a common distributed operating system. We argue that the development of these applications raises challenges that cannot be effectively tackled by mainstream programming paradigms, such as the object-oriented one, and could be effectively faced – instead – by an agent-oriented approach. Accordingly, in this paper we describe JaCa-Web, a framework that allows for applying agent-oriented programming technologies – in particular JaCa, which integrates Jason agent programming language and CArtAgO environment technology – to the development of advanced Web client applications. © Springer-Verlag Berlin Heidelberg 2011.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Development of Agent-Based Intelligent Tutoring System for Teaching object-oriented programming Concepts

Development of Agent-Based Intelligent Tutoring System for T...

引用

5th International Multi-conference on Society, Cybernetics and Information (IMSCI 2011)

作者： Goyal, Madhu Univ Technol Sch Software Sydney NSW Australia

ISBN: (纸本)9781936338344

Agent-based technology can be used in developing educational tutoring systems. An Intelligent Tutoring System, named as 'ProgTool' has been developed for teaching object-oriented programming concepts. The Prog-Tool' has been developed using JADE (Java Agents Development Environment) framework. This system helps the students to learn about objects, Classes and other programming concepts by taking tutorials from it sitting anywhere and anytime. This paper shows that usage of 'ProgTool' helps students with topic sequencing, visual representation, and choice of multiple exercises and tests on each topic makes it a very useful for students.

关键词： Software Agents JADE object oriented programming languages Intelligent Tutoring System

来源：评论

学校读者我要写书评

暂无评论

Progress in PLC programming for Distributed Automation systems Control

Progress in PLC Programming for Distributed Automation Syste...

引用

9th IEEE International conference on Industrial Informatics (INDIN)

作者： Basile, Francesco Chiacchio, Pasquale Gerbasio, Diego Univ Salerno DIEII Salerno Italy

ISBN: (纸本)9781457704345

Industrial automation plants are controlled essentially by PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131-3 standard which are not ready to meet the new challenges of widely distributed automation systems. Currently, different solutions are under development from industry and research: an extension of IEC 61131-3 which includes object oriented programming;the adoption of the new standard IEC 61499 which makes the software execution event-based instead of scan-cycle based as in IEC 61131-3 standard. In this paper it is shown how object oriented programming implicitly makes event-based the PLC software behavior. Moreover, it is shown how supervisory control can help in designing correct software in this context.

关键词： Automation Heating IEC 61131-3 standard IEC 61499 IEC standards IEC standards Mixers PLC programming PLC software behavior PLC-based control system programming Reactive power Software control engineering computing distributed automation systems control distributed control event-based software execution industrial automation plants industrial control object oriented programming object-oriented programming production engineering computing programmable controllers scan-cycle based software execution software design supervisory control

来源：评论

学校读者我要写书评

暂无评论

Simula: Mother Tongue for a Generation of Nordic Programmers 3rd

Simula: Mother Tongue for a Generation of Nordic Programmers

引用

3rd IFIP conference on the History of Nordic Computing

作者： Sundblad, Yngve KTH S-10044 Stockholm Sweden

ISBN: (纸本)9783642233159

With Simula 67 Ole-Johan Dahl and Kristen Nygaard invented object-oriented programming. This has had an enormous impact on program development tools and methods in the world, well accounted in conferences and books, on programming languages and object-oriented programming, and on software pioneers. Early influenced were computer scientists in the Nordic countries who from about 1970 had Simula as the main programming tool, "mother tongue." This paper gives a first-hand account of experience of a unique early introduction of object-oriented programming for higher education in computer science and in computer programming, which provided powerful program development tools long before other educational institutions, especially as it coincided with the introduction of powerful interactive systems. The paper also challenges the misconception that Simula is primarily a tool for simulation by illustrating how it was used to teach general computer science and programming concepts with more general-purpose constructs than most contemporary languages, except perhaps Lisp.

关键词： Computer science education Nordic programmers object-oriented programming Simula

来源：评论

学校读者我要写书评

暂无评论

COOMP 2011: First international workshop on combined object-oriented modeling and programming

COOMP 2011: First international workshop on combined object-...

引用

ACM International conference on systems, programming, languages, and applications: Software for Humanity, SPLASH'11

作者： Madsen, Ole Lehrmann Møoller-Pedersen, Birger Runde, Ragnhild Kobro Alexandra Institute Aarhus University Denmark University of Oslo Norway

ISBN: (纸本)9781450309424

languages for modeling and programming are diverging, with the implication that developers that would like to model (in order to raise the abstraction level and become independent of implementation platforms) end up with the challenge of maintaining both model and program artifacts. In addition, modeling is hampered by poor tool support compared with programming tools. The trend in programming languages is that less attention is paid to the fact that programming should be a kind of modeling, while executable models will not cover what programs usually cover. The aim of this workshop is to investigate requirements for combined modeling and programming languages, by identifying candidate elements that should be supported by such languages, propose potential new combined language mechanisms, and by investigating implementation techniques for such languages.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共487页 << < 66 67 68 69 70 71 72 73 74 75 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：