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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

250 篇 会议
9 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

201 篇 工学
- 170 篇 计算机科学与技术...
- 155 篇 软件工程
- 23 篇 控制科学与工程
- 18 篇 电气工程
- 8 篇 信息与通信工程
- 4 篇 建筑学
- 4 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
32 篇 管理学
- 24 篇 图书情报与档案管...
- 13 篇 管理科学与工程(可...
- 6 篇 工商管理
29 篇 理学
- 22 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 生物学
9 篇 教育学
- 9 篇 教育学
6 篇 医学
- 6 篇 临床医学
- 2 篇 基础医学(可授医学...
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

96 篇 object oriented ...
24 篇 object oriented ...
17 篇 java programming...
17 篇 object-oriented ...
16 篇 programming
15 篇 software enginee...
13 篇 java
10 篇 computer science
9 篇 software
8 篇 application soft...
8 篇 computer languag...
8 篇 unified modeling...
7 篇 software systems
7 篇 permission
6 篇 languages
6 篇 computer archite...
6 篇 aspect oriented ...
6 篇 concrete
6 篇 computer program...
5 篇 programming prof...

机构

3 篇 ibm corp thomas ...
2 篇 gannon univ comp...
2 篇 school of comput...
2 篇 infosys labs ban...
2 篇 nanjing univ sta...
2 篇 dakota state uni...
2 篇 department of co...
2 篇 ibm thomas j. wa...
2 篇 univ texas dalla...
2 篇 carleton univers...
2 篇 victoria univers...
2 篇 tokyo inst techn...
2 篇 univ bern softwa...
2 篇 thoughtworks uk ...
2 篇 department of co...
1 篇 university of ma...
1 篇 wells fargo bank...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 univ london impe...

作者

5 篇 noble james
4 篇 biddle robert
3 篇 siek jeremy
3 篇 ernst michael d.
2 篇 mackinnon tim
2 篇 mezini m
2 篇 lorenz david h.
2 篇 tip f
2 篇 pryce nat
2 篇 black andrew p.
2 篇 gestwicki paul v...
2 篇 walnes joe
2 篇 melo walcelio
2 篇 freeman steve
2 篇 leavens gary t.
2 篇 chiba s
2 篇 wong w. eric
2 篇 andrew p. black
2 篇 e abreu fernando...
2 篇 drossopoulou s

语言

260 篇 英文
2 篇 其他
2 篇 中文

检索条件"任意字段=19th European Conference on Object-Oriented Programming"

共 264 条记录，以下是21-30 订阅

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

详细简洁

排序：

Separation of concerns with procedures, annotations, advice and pointcuts

Separation of concerns with procedures, annotations, advice ...

引用

19th european conference on object-oriented programming (ECOOP 2005)

作者： Kiczales, G Mezini, M Univ British Columbia Vancouver BC V6R 1X4 Canada Tech Univ Darmstadt D-64289 Darmstadt Germany

ISBN: (纸本)354027992X

there are numerous mechanisms for separation of concerns at the source code level. three mechanisms that are the focus of recent attention metadata annotations, pointcuts and advice - can be modeled together with good old-fashioned procedures as providing different kinds of bindings: procedure calls bind program points to operations, annotations bind attributes to program points;pointcuts bind sets of points to various descriptions of those sets;named pointcuts bind attributes to sets of points;and advice bind the implementation of an operation to sets of points. this model clarifies how the mechanisms work together to separate concerns, and yields guidelines to help developers use the mechanisms in practice.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Fostering Functional Safety of Real-time Systems with Concepts of object Orientation 19

Fostering Functional Safety of Real-time Systems with Concep...

引用

19th International conference on Methods and Models in Automation and Robotics (MMAR)

作者： Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany

ISBN: (纸本)9781479950812

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. the programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： IEC standards control engineering computing embedded systems object-oriented programming program verification safety-critical software OOP PEARL90 certification authorities design patterns functional safety hard real-time systems hard-wired control systems intelligible code international standard IEC 61508-3 object orientation program-controlled embedded systems programming languages safety integrity verification Computer languages Concrete Prototypes Real-time systems Runtime Safety Software object oriented programming Computer programming Languages object orientation real-time systems hard real-time system design pattern control engineering computing IEC publications safety-critical software program verification Runtime Embedded systems Consumer safety safety PROTOTYPE

来源：评论

学校读者我要写书评

暂无评论

Recovering Binary Class Relationships: Putting Icing on the UML Cake

Recovering Binary Class Relationships: Putting Icing on the ...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Guéhéneuc, Yann-Gaël Albin-Amiot, Hervé Université de Montréal Montréal Que. Canada École des Mines de Nantes Nantes France

ISBN: (纸本)1581138318

A discontinuity exists between object-oriented modeling and programming languages. this discontinuity arises from ambiguous concepts in modeling languages and a lack of corresponding concepts in programming languages. It is particularly acute for binary class relationships - association, aggregation, and composition. It hinders the traceability between software implementation and design, thus hampering software analysis. We propose consensual definitions of the binary class relationships with four minimal properties exclusivity, invocation site, lifetime, and multiplicity. We describe algorithms to detect automatically these properties in source code and apply these on several frameworks. thus, we bridge the gap between implementation and design for the binary class relationships, easing software analysis.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A type system for reachability and acyclicity

A type system for reachability and acyclicity

引用

19th european conference on object-oriented programming (ECOOP 2005)

作者： Lu, Y Potter, J Univ New S Wales Sch Comp Sci & Engn Programming Languages & Compilers Grp Sydney NSW 2052 Australia

ISBN: (纸本)354027992X

the desire for compile-time knowledge about the structure of heap contexts is currently increasing in many areas. However, approaches using whole program analysis are too weak in terms of both efficiency and accuracy. this paper presents a novel type system that enforces programmer-defined constraints on reachability via references or pointers, and restricts reference cycles to be within definable parts of the heap. Such constraints can be useful for program understanding and reasoning about effects and invariants, for information flow security, and for run-time optimizations and memory management.

关键词： Computer science

来源：评论

学校读者我要写书评

暂无评论

Modular generics

Modular generics

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Siek, Jeremy Open Systems Laboratory 150 S. Woodlawn Ave. Bloomington IN 47405 United States

来源：评论

学校读者我要写书评

暂无评论

Open modules: Modular reasoning about advice

Open modules: Modular reasoning about advice

引用

19th european conference on object-oriented programming

作者： Aldrich, J Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)354027992X

Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs more modular by separating crosscutting concerns more effectively, but it also challenges existing ideas about modularity and separate development. We study this challenge using a new, simple formal model for advice as it appears in languages like AspectJ. We then add a module system designed to leave program functionality as open to extension through advice as possible, while still enabling separate reasoning about the code within a module. Our system, Open Modules, can either be used directly to facilitate separate, component-based development, or can be viewed as a model of the features that certain AOP IDEs provide. We define a formal system for reasoning about the observational equivalence of programs under advice, which can be used to show that clients are unaffected by semantics-preserving changes to a module's implementation. Our model yields insights into the nature of modularity in the presence of advice, provides a mechanism for enforceable contracts between component providers and clients in this setting, and suggests improvements to current AOP IDEs.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Technologies and strategies for integrating object-oriented analysis and design education with programming

Technologies and strategies for integrating object-oriented ...

引用

19th Australian Software Engineering conference

作者： Debuse, Justm C. W. Stiller, Tony Univ Sunshine Coast Fac Business Maroochydore Qld 4558 Australia

ISBN: (纸本)9780769531007

A range of technologies and leaching strategies may be used to improve the quality of leaching object-oriented (OO) concepts where there is a close relationship between OO analysis and design (OOAD) combined with OO programming (OOP). this study investigates the application of a number of these technologies and teaching strategies across university courses in OOAD and OOP, using an empirical approach based upon attitudinal and student performance data. the systems used include: development environments that provide two-way linkage between UML diagrams and OO program code;interactive whiteboards to allow educational demonstrations that more closely represent actual practice;and an online delivery tool for course content, messages and discussions. Close integration between the processes of OOAD and OOP courses is also investigated the approaches significantly improved student grades, perceived levels of understanding and productivity. the integration of course concepts and assignments, and the electronic discussion boards, are key benefit drivers.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Generic ownership: Practical ownership control in programming languages

Generic ownership: Practical ownership control in programmin...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Potanin, Alex Noble, James Biddle, Robert Victoria University of Wellington New Zealand

this research abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming languages in a way that will help ... 详细信息

ISBN: (纸本)1581138334

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Elo-Rating Method: Towards Adaptive Assessment in E-learning 19

Elo-Rating Method: Towards Adaptive Assessment in E-learning

引用

19th IEEE International conference on Advanced Learning Technologies (ICALT)

作者： Mangaroska, Katerina Vesin, Boban Giannakos, Michail Norwegian Univ Sci & Technol Trondheim Norway Univ South Eastern Norway Vestfold Norway

ISBN: (纸本)9781728134857

the success of technology enhanced learning can be increased by tailoring the content and the learning resources for every student;thus, optimizing the learning process. this study proposes a method for evaluating content difficulty and knowledge proficiency of users based on modified Elo-rating algorithm. the calculated ratings are used further in the teaching process as a recommendation of coding exercises that try to match the user's current knowledge. the proposed method was tested with a programming tutoring system in object-oriented programming course. the results showed positive findings regarding the effectiveness of the implemented Elo-rating algorithm in recommending coding exercises, as a proof-of-concept for developing adaptive and automatic assessment of programming assignments.

关键词： recommender systems programming tutoring system coding exercises

来源：评论

学校读者我要写书评

暂无评论

Vertical profiling: Understanding the behavior of object-oriented applications

Vertical profiling: Understanding the behavior of object-ori...

引用

19th Annual ACM conference on object-oriented programming, Systems, Languages, and Applications, OOPSLA'04

作者： Hauswirth, Matthias Diwan, Amer Sweeney, Peter F. Hind, Michael University of Colorado Boulder IBM Thomas J. Watson Research Center

ISBN: (纸本)1581138318

object-oriented programming languages provide a rich set of features that provide significant software engineering benefits. the increased productivity provided by these features comes at a justifiable cost in a more sophisticated runtime system whose responsibility is to implement these features efficiently. However, the virtualization introduced by this sophistication provides a significant challenge to understanding complete system performance, not found in traditionally compiled languages, such as C or C++. thus, understanding system performance of such a system requires profiling that spans all levels of the execution stack, such as the hardware, operating system, virtual machine, and application. In this work, we suggest an approach, called vertical profiling, that enables this level of understanding. We illustrate the efficacy of this approach by providing deep understandings of performance problems of Java applications run on a VM with vertical profiling support. By incorporating vertical profiling into a programming environment, the programmer will be able to understand how their program interacts with the underlying abstraction levels, such as application server, VM, operating system, and hardware.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：