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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

737 篇 会议
127 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

777 篇 工学
- 742 篇 软件工程
- 568 篇 计算机科学与技术...
- 35 篇 控制科学与工程
- 19 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 生物工程
- 8 篇 土木工程
- 6 篇 建筑学
- 4 篇 化学工程与技术
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 3 篇 环境科学与工程（可...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 农业工程
59 篇 理学
- 33 篇 数学
- 18 篇 生物学
- 6 篇 物理学
- 6 篇 化学
- 6 篇 系统科学
- 1 篇 大气科学
- 1 篇 地球物理学
- 1 篇 统计学（可授理学、...
58 篇 管理学
- 34 篇 图书情报与档案管...
- 26 篇 管理科学与工程(可...
- 8 篇 工商管理
12 篇 法学
- 12 篇 社会学
- 1 篇 法学
6 篇 教育学
- 6 篇 教育学
3 篇 农学
- 3 篇 作物学
1 篇 医学

主题

250 篇 languages
111 篇 object oriented ...
83 篇 performance
83 篇 design
52 篇 algorithms
46 篇 verification
43 篇 java
41 篇 experimentation
38 篇 reliability
36 篇 computer program...
34 篇 theory
19 篇 human factors
17 篇 concurrency
16 篇 parallel program...
16 篇 object-oriented ...
15 篇 measurement
14 篇 scala
13 篇 aspect oriented ...
13 篇 javascript
12 篇 type systems

机构

18 篇 univ washington ...
13 篇 ecole polytech f...
12 篇 tech univ darmst...
11 篇 microsoft res re...
9 篇 mit csail cambri...
8 篇 univ texas austi...
7 篇 princeton univ p...
7 篇 univ marburg d-3...
7 篇 univ texas austi...
7 篇 aarhus univ dk-8...
6 篇 johannes kepler ...
6 篇 suny binghamton ...
6 篇 harvard univ cam...
6 篇 purdue univ w la...
6 篇 univ calif berke...
5 篇 univ duisburg es...
5 篇 microsoft res ca...
5 篇 ecole polytech f...
5 篇 mcgill univ mont...
5 篇 univ hong kong p...

作者

12 篇 rajan hridesh
12 篇 odersky martin
11 篇 mezini mira
10 篇 hirschfeld rober...
10 篇 binder walter
9 篇 salvaneschi guid...
9 篇 aldrich jonathan
9 篇 ostermann klaus
8 篇 mckinley kathryn...
8 篇 marr stefan
8 篇 rompf tiark
7 篇 oliveira bruno c...
7 篇 noble james
7 篇 liu yu david
7 篇 kuncak viktor
7 篇 gulwani sumit
6 篇 bond michael d.
6 篇 ceze luis
6 篇 van der storm ti...
6 篇 coad peter

语言

747 篇 英文
115 篇 其他
2 篇 中文
1 篇 俄文

检索条件"任意字段=2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages"

共 865 条记录，以下是631-640 订阅

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

详细简洁

排序：

ILEA: Inter-language analysis across Java and C

ILEA: Inter-language analysis across Java and C

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Tan, Gang Morrisett, Greg Boston Coll Chestnut Hill MA 02467 USA Harvard Univ Cambridge MA 02138 USA

ISBN: (纸本)1595937862

Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures;Java compilers perform static analysis for optimization. If Java programs contain foreign function calls to C libraries, however, static analysis is forced to make either optimistic or pessimistic assumptions about the foreign function calls, since models of the C libraries are typically not available. We propose ILEA (stands for Inter-LanguagE Analysis), which is a framework that enables existing Java analyses to understand the behavior of C code. Our framework includes: (1) a novel specification language, which extends the Java Virtual Machine Language (JVML) with a few primitives that approximate the effects that the C code might have;(2) an automatic specification extractor, which builds models of the C code. Comparing to other possible specification languages, our language is expressive, yet facilitates construction of automatic specification extractors. Furthermore, because the specification language is based on the JVML, existing Java analyses can be easily migrated to utilize specifications in the language. We also demonstrate the utility of the specifications generated, by modifying an existing non-null analysis to identify null-related bugs in Java applications that contain C libraries. Our preliminary experiments identified dozens of null-related bugs.

关键词： languages reliability verification inter-language analysis Java native interface JNI JVML specification extraction

来源：评论

学校读者我要写书评

暂无评论

Modular verification of higher-order methods with mandatory calls specified by model programs 07

Modular verification of higher-order methods with mandatory ...

引用

22nd international conference on object-oriented programming, systems, languages and Applications

作者： Shaner, Steve M. Leavens, Gary T. Naumann, David A. Iowa State Univ Ames IA 50011 USA Stevens Inst Technol Hoboken NJ 07030 USA

ISBN: (纸本)9781595937865

What we call a "higher-order method" (HOM) is a method that makes mandatory calls to other dynamically-dispatched methods. Examples include template methods as in the Template method design pattern and notify methods in the Observer pattern. HOMs are particularly difficult to reason about, because standard pre- and postcondition specifications cannot describe the mandatory calls. For reasoning about such methods, existing approaches use either higher-order logic or traces, but both are complex and verbose. We describe a simple, concise, and modular approach to specifying HOMs We show how to verify calls to HOMs and their code using first-order verification conditions, in a sound and modular way. Verification of client code that calls HOMs can take advantage of the client's knowledge about the mandatory calls to make strong conclusions. Our verification technique validates and explains traditional documentation practice for HOMs, which typically shows their code. However, specifications do not have to expose all of the code to clients, but only enough to determine how the HOM makes its mandatory calls.

关键词： languages verification model program verification specification languages grey-box approach higher order method mandatory call Hoare logic refinement calculus

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of formal monitoring techniques

The design and implementation of formal monitoring technique...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Bodden, Eric Sable Research Group School of Computer Science McGill University

ISBN: (纸本)9781595938657

In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime monitoring techniques can be useful in order to validate or guarantee the safety and security of running programs. Yet, those techniques have not yet been able to make the transition to everyday use in regular software development processes. This is due to two reasons. Firstly, many of the existing runtime monitoring tools cause a significant runtime overhead, lengthening test runs unduly. This is particularly true for tools that allow reasoning about single objects, opposed to classes. Secondly, the kind of specifications that can be verified by such tools often follow a quite cumbersome notation. This leads to the fact that only verification experts, not programmers, can at all understand what a given specification means and in particular, whether it is correct. We propose a methodology to overcome both problems by providing a design and efficient implementation of expressive formal monitoring techniques with programmerfriendly notations.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Improve software quality with SemmleCode - An eclipse plugin for semantic code search

Improve software quality with SemmleCode - An eclipse plugin...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Verbaere, Mathieu Hajiyev, Elnar De Moor, Oege Semmle Ltd. Robert Robinson Avenue Oxford 0X4 4GA United Kingdom

ISBN: (纸本)9781595938657

Navigate code, find bugs, compute metrics, check style rules, and enforce coding conventions in Eclipse with Semmle-Code. SemmleCode is a new free Eclipse plugin that allows you to phrase these tasks as queries over the *** - it thus takes the search facilities in Eclipse to a whole new level. A large library of queries for common operations is provided, including metrics and Java EE style rules. Query results can be displayed as a tree view, a table view, in the problem view, as charts or graphs, all with links to the source code.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

1st international workshop on in Process Software Engineering Measurement and Analysis (ISEMA 2007)

1st international workshop on in Process Software Engineerin...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Johnson, Philip M. Sillitti, Alberto University of Hawaii Honolulu United States Free University of Bolzano Bolzano Italy

ISBN: (纸本)9781595938657

Improving the software engineering development process requires collection of data, but collection of data interferes with how developers work. At present, most of the software engineering tools, data collection, and analysis techniques available use manual data collection, despite known problems with reliability, correctness, and timeliness of the data. To overcome such limitations and reduce interference with the development process, software engineering researchers must develop tools and data analysis techniques that collect data without human interactions. Such tools produce very detailed and extensive data, but lack the filtering and classification that humans perform on manually collected data. This unfiltered data requires the development of new analysis techniques and new prediction models to use it effectively. This workshop focuses on defining the research challenges created by in process software measurement and analysis of the software development process using tools that do not affect or modify the process but extract data automatically from it.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

The First international workshop on patterns languages: Addressing Challenges (PLAC 2007)

The First international workshop on patterns languages: Addr...

引用

WikiSym'07, ISMM'07, HPC-GECO/CompFrame'07, DLS'07 - 22nd acm sigplan conference on object-oriented programming systems and Applications Companion, OOPSLA'07

作者： Fayad, M.E. Chaing, Chia-Chu Chacin, Pablo Ramaswamy, Srini Sánchez-Ruíz, Arturo Nurcan, Selmin Dept. of Computer Engineering San José State University One Washington Square San José CA 95192 United States University of Arkansas Dept. of Computer Science 2801 South University Ave. Little Rock AR United States Technical University of Catalonya Departamento de Arquitectura de Computadores UPC Campus Nord Barcelona 08034 Spain Department of Computer Science Dickinson Hall Suite 515 University of Arkansas Little Rock AR 72204 United States School of Computing University of North Florida 4567 St Johns Bluff Rd. S. Jacksonville FL 32224-2669 United States Maítre de Conférences Centre de Recherche en Informatique Université Paris 1 Panthéon-Sorbonne France

ISBN: (纸本)9781595938657

A pattern language consists of a cascade or hierarchy of parts, linked closely together by patterns, which solve generically recurring problems that are associated with the parts. Each pattern has a title, and collectively the titles form a language for design [1] Pattern languages are in life, simply a collection of interrelated patterns [2]. These interrelated patterns are combined in any way and combination to create new environments, where practitioners can solve context-specific ***, the concept of pattern languages has invaded over into the software engineering field, to describe prior experiences and the processes that stem from them, in a very simple language, where patterns are tactfully woven as a whole, and can be combined in any manner to solve a particular and complex problem. Yet, this process is still done in an ad-hoc manner and is not straightforward enough, to ease and speed up the software development ***, this workshop is driven forward by three main ***, how can we classify, develop, and utilize analysis and design patterns together towards the path of a problem resolution? Second, what is the "behind-the-"language that guides the sewing of patterns together as a whole? And third, how can we overcome and face challenges, other than patterns composition problems (patterns traceability, etc.) that can hinder the development of a system of patterns?

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

PowerPoint and complexity

PowerPoint and complexity

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Richmond, Michael Almaden Research Center International Business Machines San José CA United States IBM Almaden Research Center

ISBN: (纸本)9781595938657

Everyone talks about software bloat, feature creep and the ever-increasing complexity of software. Each new version of a software package adds in new features. Very rarely, features are removed. But what really happens as software evolves? This animated film illustrates the evolution of PowerPoint over seven versions from 1987-2001. With each version the user has faced increasing application complexity. Knowing how software evolves is of increasing importance as we move to building ultra-large scale software and developing software in the context of software ecologies. This film uses abstract graphical representations of the application features and relationships between features. Time-lapse animation of these abstract representations are used to convey an understanding of how this application has evolved. This animation is based on data from a project that is mapping the user interface and application functionality available in every release of Microsoft PowerPoint for the Macintosh. To date this study spans 7 releases of this application.

关键词： Animation

来源：评论

学校读者我要写书评

暂无评论

The first international workshop on unified data mining engine: Addressing challenges (UDME 2007)

The first international workshop on unified data mining engi...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Fayad, M.E. Helmy, Tarek Das, Somenath Bahsoon, Rami Patel, Dilip Computer Engineering Dept. San José State University One Washington Square San José CA 95192-0180 United States Information and Computer Science King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia eBay Inc. 2211 North First Street San Jose CA 95131 United States School of Engineering and Applied Science Aston University in Birmingham Birmingham United Kingdom Faculty of Business Computing and Information Management London South Bank University London United Kingdom

ISBN: (纸本)9781595938657

Building a Unified Data Mining Engine (UDME) is not an easy exercise, specifically, when several factors can undermine their quality success, such as cost, time, and lack of systematic approaches. We would like to architect and develop a UDME, that has the some or all of the following properties: 1. Ease of use, 2. No Need of Expert to run the tool 3. Easy to add new functionality 4. Easy to interface 6. Multiple algorithms 7. Fewer resources 8. Stable 9. Isolation of Application logic 10. Minimum Maintenance Cost The workshop will address the unified data mining engine' challenges, and also debate several issues that are related to the architecture and development of the UDME.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Precise software documentation: Making object-orientation work better

Precise software documentation: Making object-orientation wo...

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Parnas, David Lorge Software Quality Research Laboratory University of Limerick Limerick Ireland Department of Software Engineering Software Quality Research Laboratory University of Limerick McMaster University Carleton University Royal Society of Canada Royal Irish Academy

ISBN: (纸本)9781595938657

Computer Scientists have been talking about the use of of object-orientation (under a variety of rubrics) to achieve "separation of concerns" for more than 40 years. In all that time, it has been taken for granted that it was the structure of the program text itself that mattered. Whenever it was felt that additional information was needed it was assumed that this would be closely associated with the program text either as simple comments, as in-line assertions, or "woven" in with the program text using elaborate tools. This talk takes a different position. It argues that for true separation of concerns we need an integrated set of separate documents, some of which are to be read by people who will never read the code, some that describe the structure of the code, and some that describe the behaviour of individual components. It describes a collection of mathematical ideas and notations that make it possible to produce documentation that is both precise and readable. We then describe the use of these documents in testing and inspection. Finally, it discusses the way that other programming paradigms, particularly functional programming, can be used to make these documents more useful.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

The elephant in the room: Who will take care of the code?

The elephant in the room: Who will take care of the code?

引用

22nd international conference on object-oriented programming systems, languages, and Applications, OOPSLA 2007 - Companion

作者： Dunn-Krahn, Rebeca Coady, Yvonne University of Victoria Research Group University of Victoria

ISBN: (纸本)9781595938657

Something extraordinarily strange is going on in the computer industry. Despite the widespread availability of jobs, the challenging and exciting nature of the work, and the impressive earning potential of workers, the industry is experiencing a massive decline in the number of new recruits. Universities and companies alike are starting to wonder: where did all the warm bodies go? Numbers from the US are showing declines upwards of 20%, and across North America it is not uncommon to find decreases in students applying to computer science postsecondary programmes that double that. It appears that a dearth of highly-trained professionals is looming, which is bound to negatively impact future advances in computer technology and ultimately threaten major economies. Given the current crisis, many groups are addressing the issue, with varying approaches and perspectives. The film "The Elephant in the Room: Who Will Take Care of the Code?", exposes the symptoms of this problem and examines some of the current solutions. In particular, this film profiles efforts at the University of Victoria in the CScIDE (Computer Science Initiatives for Diversity and Equity) research group and their experiements introducing programming concepts to children in grades two through seven.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共87页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：