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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

27 篇 会议
1 册 图书

馆藏范围

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

日期分布

学科分类号

17 篇 工学
- 17 篇 计算机科学与技术...
- 13 篇 软件工程
- 1 篇 电气工程
- 1 篇 控制科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 化学工程与技术
- 1 篇 环境科学与工程（可...
- 1 篇 生物工程
8 篇 理学
- 6 篇 数学
- 1 篇 化学
- 1 篇 生物学
1 篇 法学
- 1 篇 社会学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

6 篇 object oriented ...
2 篇 semantics
2 篇 open source soft...
1 篇 entity framework
1 篇 combined simulat...
1 篇 read/write atomi...
1 篇 simulation inter...
1 篇 object-oriented ...
1 篇 frequency estima...
1 篇 discrete simulat...
1 篇 aspect oriented ...
1 篇 pattern matching
1 篇 co2 storage
1 篇 man-machine inte...
1 篇 phreeqc
1 篇 car-sales projec...
1 篇 obstruction-free...
1 篇 crash failures
1 篇 asp. net
1 篇 asynchronous sha...

机构

1 篇 univ paderborn h...
1 篇 shanghai jiao to...
1 篇 univ craiova dep...
1 篇 voronezh state u...
1 篇 univ paderborn d...
1 篇 department of co...
1 篇 shanghai jiao to...
1 篇 saarland univers...
1 篇 karlsruhe inst t...
1 篇 univ craiova dep...
1 篇 energy departmen...
1 篇 univ saarland d-...
1 篇 software archite...
1 篇 swiss fed inst t...
1 篇 univ nacl autono...
1 篇 deepse group dei...
1 篇 school of softwa...
1 篇 department of co...
1 篇 university of to...
1 篇 aramis s.r.l mil...

作者

1 篇 hirschfeld rober...
1 篇 shahar maoz
1 篇 kim duri
1 篇 popescu ion-mari...
1 篇 fischer matthias
1 篇 xu hao
1 篇 duri kim
1 篇 bernhard rumpe
1 篇 catalin-vladut m...
1 篇 thomas r. gross
1 篇 kamina tetsuo
1 篇 tyukachev nikola...
1 篇 albita anca
1 篇 olcoz katzalin
1 篇 cheng zhang
1 篇 raynal michel
1 篇 ghezzi carlo
1 篇 kaewkasi pitchay...
1 篇 zhang sai
1 篇 wasylkowski andr...

语言

27 篇 英文
1 篇 中文

检索条件"任意字段=25th European Conference on Object-Oriented Programming, ECOOP 2011"

共 28 条记录，以下是1-10 订阅

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

详细简洁

排序：

Describing and applying the Entity Framework from simple Applications to Complex Scenarios. Case Study 25

Describing and applying the Entity Framework from simple App...

引用

25th International Carpathian Control conference (ICCC)

作者： Popa, Bogdan Popescu, Ion-Marian Constantinescu, Radu Lucian Albita, Anca Toma, Alexandru Catalin-Vladut, Maris Univ Craiova Dept Automat & Elect Craiova Romania Univ Craiova Dept Automat Control & Elect Craiova Romania Dept Automat & Elect Craiova Romania Ctr Calcul Targu Jiu Targu Jiu Romania Univ Craiova Craiova Romania

ISBN: (纸本)9798350350708;9798350350715

object-relational mapping (ORM) is considered today a method used in computer systems for data conversion based on object-oriented programming languages. this technique involves a "database of virtual objects" that can be used with the support of the programming language. Currently, both free (open source) and commercial packages that perform ORM can be used. In practice, it is common for some programmers to build their ORM tools. In languages that permit object-oriented programming, the entire architecture of the programs is designated as an architecture of objects and the relationships between them. the management of data, or information, refers to the methods of access and management of objects that are almost always non-scalar values. this article will present the utility of the Entity Framework for common implementation scenarios starting from systems for car sales sites or standard applications and up to the development of complex systems for managing information flows for critical systems. Moreover, the transition from the object-oriented development model to practical applications will be presented. the main advantages and disadvantages of the development environment and technology based on *** will be also discussed. In conclusion, the article represents a transition from the description of the Entity Framework to the integration and application of this system in some practical applications.

关键词： Entity Framework Car-sales project Asp. Net object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 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

Proceedings of the 6th Workshop on the Implementation, Compi...

引用

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

ISBN: (纸本)9781450308946

the proceedings contain 10 papers. the topics discussed include: an approach to modular object-oriented programming in language-driven development framework;Predicate-C - an efficient and generic runtime system for predicate dispatch;application optimization when using gradual typing;economic utility theory for memory management optimization;reducing and eliding read barriers for concurrent garbage collectors;a tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level;reducing biased lock revocation by learning;pattern matching for object-like structures in the go programming language;and runtime feedback in a meta-tracing JIT for efficient dynamic languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

Proceedings of the 3rd International Workshop on Context-Ori...

引用

3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

ISBN: (纸本)9781450308915

the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - through the prompt-loyal strategy;a context management infrastructure with language integration support;JavaCtx: seamless toolchain integration for context-oriented programming;context-oriented programming for mobile devices: JCop on Android;implementing scoped method tracing with ContextJS;and CJAdviser: SMT-based debugging support for ContextJ*.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A general approach for automating FMECA 25th

A general approach for automating FMECA

引用

25th european Safety and Reliability conference, ESREL 2015

作者： Compare, M. Zio, E. Aramis s.r.l Milan Italy Energy Department Politecnico di Milano Milan Italy Chair on Systems Science and the Energetic Challenge European Foundation for New Energy-Electricité de France EcoleCentrale Paris and Supelec France

ISBN: (纸本)9781138028791

this work proposes a novel approach to automatically synthesize Failure Modes And Effects And Criticality Analysis (FMECA), which looks at the functional characteristics of the industrial components to frame their nominal behaviors in an as general as possible fashion. On this basis, the possible component failure modes are derived by considering a set of possible functional deviations, whereas their effects are propagated through the system by providing every component with qualitative rules that define its interactions with the other components. the proposed approach well fits the characteristics of the object-oriented programming technique;its potential is shown by way of a scaled-down example of a water treatment system of a swimming pool. © 2015 Taylor & Francis Group, London.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ecoop 2011 - object-oriented programming - 25th european conference, Proceedings

ECOOP 2011 - Object-Oriented Programming - 25th European Con...

引用

25th european conference on object-oriented programming, ecoop 2011

ISBN: (纸本)9783642226540

the proceedings contain 26 papers. the topics discussed include: a co-relational model of data for large shared data banks;an empirical study of object protocols in the wild;the beauty and the beast: separating design from algorithm;using structure-based recommendations to facilitate discoverability in APIs;mining evolution of object usage;improving the tokenization of identifier names;revisiting information hiding: reflections on classical and nonclassical modularity;worlds: controlling the scope of side effects;can we avoid high coupling?;expressiveness, simplicity, and users;a refactoring constraint language and its application to Eiffel;types, regions, and effects for safe programming with object-oriented parallel frameworks;tunable static inference for generic universe types;verifying multi-object invariants with relationships;and frequency estimation of virtual call targets for object-oriented programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An approach to modular object-oriented programming in language-driven development framework

An approach to modular object-oriented programming in langua...

引用

作者： Sedunov, Alexey A. Tyukachev, Nikolay A. Voronezh State University Russia

ISBN: (纸本)9781450308946

We report on our ongoing research of an object-oriented language for a metaprogramming framework called Turbine. the paper describes structural elements of models, their relations and intended patterns of usage and then presents an object-oriented language we've developed specifically for the Turbine framework ("base language"). We also demonstrate usage of base language constructs on examples of the modular behavior extension for the set of AST classes. © 2011 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Featherweight EventCJ: A core calculus for a context-oriented language with event-based per-instance layer transition

Featherweight EventCJ: A core calculus for a context-oriente...

引用

3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

作者： Aotani, Tomoyuki Kamina, Tetsuo Masuhara, Hidehiko Japan Advanced Institute of Science and Technology Japan University of Tokyo Japan

We propose Featherweight EventCJ, which is a small calculus for context-oriented languages with event-based perinstance layer controls like EventCJ. It extends ContextFJ with stores, labels and transitions for modelin... 详细信息

ISBN: (纸本)9781450308915

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

JavaCtx: Seamless toolchain integration for context-oriented programming

JavaCtx: Seamless toolchain integration for context-oriented...

引用

3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011

作者： Salvaneschi, Guido Ghezzi, Carlo Pradella, Matteo DEEPSE Group DEI Politecnico di Milano Piazza L. Da Vinci 32 Milano Italy

ISBN: (纸本)9781450308915

Context-oriented programming is an emerging paradigm addressing at the language level the issue of dynamic software adaptation and modularization of context-specific concerns. In this paper we propose JAVACTX, a tool which employs coding conventions to generate the context-aware semantics for Java programs and subsequently weave it into the application. the contribution of JAVACTX is twofold: the design of a set of coding conventions which allow to write context-oriented software in plain Java and the concept of context-oriented semantics injection, which allows to introduce the context-aware semantics through standard aspect-oriented programming. Both of these points allow to seamless integrate JAVACTX in the existing industrial-strength appliances and so ease the development of context-oriented software in consolidated industrial settings.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Verifying Multi-object Invariants with Relationships

引用

25th european conference on object-oriented programming (ecoop)

作者： Balzer, Stephanie Gross, thomas R. Swiss Fed Inst Technol Zurich Switzerland

ISBN: (纸本)9783642226557;9783642226540

Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly express relationships. this paper discusses how relationships facilitate the verification of multi-object invariants. We develop a visible states verification technique for Rumer, a relationship-based programming language, and demonstrate our technique on the Composite pattern. the verification technique leverages the "Matryoshka Principle" embodied in the Rumer language: relationships impose a stratification of classes and relationships (with corresponding restrictions on writes to fields, the expression of invariants, and method invocations). the Matryoshka Principle guarantees the absence of transitive call-backs and restores a visible states semantics for multi-object invariants. As a consequence, the modular verification of multi-object invariants is possible.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Pattern matching for object-like structures in the Go programning language

Pattern matching for object-like structures in the Go progra...

引用

作者： Kaewkasi, Chanwit Kaewkasi, Pitchaya School of Computer Engineering Suranaree University of Technology Nakhon Ratchasima Thailand

ISBN: (纸本)9781450308946

this paper explores the feasibility of implementing pattern matching for the Go programming language. the design of pattern matching is taken from Scala, and reimplemented using Go's constructs and new language extensions, namely casestruct and trait. the evaluations show that pattern matching allows expressing decomposition for struct in concise forms. the concepts of casestruct and trait are suggested to add to the Go language in order to make it properly supports pattern matching. However, the performance of the current implementation is still slower than hand-written struct decompositions. the evaluations also suggest that performance penalty of the type embedding feature proposed by Go for inheritance-like relationship is found in the GCCGO implementation, but not in another implementation, namely 8g. © 2011 ACM.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共3页 << < 1 2 3 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：