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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是151-160 订阅

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

详细简洁

排序：

JavaScript as an Embedded DSL 12

JavaScript as an Embedded DSL

引用

26th european conference on object-oriented programming (ECOOP)

作者： Kossakowski, Grzegorz Amin, Nada Rompf, Tiark Odersky, Martin Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9783642310577;9783642310560

Developing rich web applications requires mastering different environments on the client and server sides. While there is considerable choice on the server-side, the client-side is tied to JavaScript, which poses substantial software engineering challenges, such as moving or sharing pieces of code between the environments. We embed JavaScript as a DSL in Scala, using Lightweight Modular Staging. DSL code can be compiled to JavaScript or executed as part of the server application. We use features of the host language to make client-side programming safer and more convenient. We use gradual typing to interface typed DSL programs with existing JavaScript APIs. We exploit a selective CPS transform already available in the host language to provide a compelling abstraction over asynchronous callback-driven programming in our DSL.

关键词： JavaScript Scala DSL programming languages

来源：评论

学校读者我要写书评

暂无评论

PER models of subtyping, recursive types and higher-order polymorphism 92

PER models of subtyping, recursive types and higher-order po...

引用

19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages, POPL'92

作者： Bruce, Kim Mitchell, John C. Williams Coll Williamstown MA United States

ISBN: (纸本)0897914538

We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial equivalence relations (per's) over a D∞ lambda model. this motivates a particular choice of type functions, which leads to an extension of such models to higher-order polymorphism. the resulting models provide natural interpretations for function spaces, records, recursively defined types, higher-order type functions, and bounded polymorphic types for every X

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Modelling Destructive Assignments

Modelling Destructive Assignments

引用

19th Annual International conference on Principles and Practice of Constraint programming (CP)

作者： Francis, Kathryn Navas, Jorge Stuckey, Peter J. Natl ICT Australia Victoria Res Lab Melbourne Vic 3010 Australia Univ Melbourne Melbourne Vic 3010 Australia

ISBN: (纸本)9783642406263;9783642406270

Translating procedural object oriented code into constraints is required for many processes that reason about the execution of this code. the most obvious is for symbolic execution of the code, where the code is executed without necessarily knowing the concrete values. In this paper, we discuss translations from procedural object oriented code to constraints in the context of solving optimisation problems defined via simulation. A key difficulty arising in the translation is the modelling of state changes. We introduce a new technique for modelling destructive assignments that outperforms previous approaches. Our results show that the optimisation models generated by our technique can be as efficient as equivalent hand written models.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

the emergent structure of development tasks

The emergent structure of development tasks

引用

19th european conference on object-oriented programming, ECOOP 2005

作者： Murphy, Gail C. Kersten, Mik Robillard, Martin P. Čubranić, Davor Department of Computer Science University of British Columbia Canada School of Computer Science McGill University Canada Department of Computer Science University of Victoria Canada

Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task lines up with the structure of the system, the tools in these environments do a great job of supporting developers in their work. Unfortunately, many development tasks do not have this characteristic. Instead, they involve changes that are scattered across the source code and various other kinds of artifacts, including bug reports and documentation. Today's development environments provide little support for working with scattered pieces of a system, and as a result, are not adequately supporting the ways in which developers work on the system. Fortunately, many development tasks do have a structure. this structure emerges from a developer's actions when changing the system. In this paper, we describe how the structure of many tasks crosscuts system artifacts, and how by capturing that structure, we can make it as easy for developers to work on changes scattered across the system's structure as it is to work on changes that line up with the system's structure. © Springer-Verlag Berlin Heidelberg 2005.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

IPCC++: A C++ extension for InterProcess Communication with objects

IPCC++: A C++ extension for InterProcess Communication with ...

引用

Proceedings of the 19th Annual International Computer Software and Applications conference COMPSAC '95

作者： Stubbs, Shelly S. Carver, D.L. Louisiana State Univ Baton Rouge United States

this paper presents the language model InterProcess Communication with C++ (IPCC++) which is C++ extended with InterProcess Communication objects that support distributed memory models. the model represents an extension of the C++ programming language that introduces primitives of concurrency to C++ as objects. the model supports: principle of orthogonality, explicit concurrency, C++ inheritance feature, inter-object concurrency, static and dynamic process creation, socket based application program interface, and synchronous and asynchronous communication utilizing a typed message passing system which supports selective waiting. Features of concurrency are introduced as complete objects using the primitives of object-oriented programming languages as the primary vehicle for introduction. the underlying implementation of the components utilizes Parallel Virtual Machine (PVM), a software system that provides an abstraction of UNIX interprocess communication system calls.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Power management system for embedded RTOS: An object oriented approach

Power management system for embedded RTOS: An object oriente...

引用

19th IEEE Canadian conference on Electrical and Computer Engineering

作者： Agarwal, Ankur Rajput, Saeed Pandya, A. S. Florida Atlantic Univ CSE Dept Boca Raton FL 33431 USA

ISBN: (纸本)9781424400379

Power management systems for embedded devices can be developed in operating system (OS) or in applications. If power management policy is applied in OS, then developers can concentrate only on application development. OS contains specific and accurate information about the various tasks being executed. therefore, it is logical to place algorithms that place components not being used into lower power states. this can significantly reduces the energy consumption by the system. Real-time-operating-system (RTOS) has a comprehensive set of power management application programming interfaces (APIs) for both device drivers and applications within a power management component. In this paper, we provide abstracted concepts of a system power manager (PM), device power managers, and application power managers. We present relationship and interactions of these managers with each using unified modeling language (UML) class diagrams, sequence diagrams and state charts. We recommend that PM must be implemented at operating system level in any embedded device. We also recommend the interfaces for interactions between PM and the devices power manager, as well as PM and application power manager. Device driver and application developers can easily use this object oriented approach to make the embedded system more power efficient, easy to maintain, and faster to develop.

关键词： power management policy manager Embedded Device Policy Manager object oriented Approach

来源：评论

学校读者我要写书评

暂无评论

ActiveChartsIDE - An integrated software development environment comprising a component for simulating UML 2 activity charts

ActiveChartsIDE - An integrated software development environ...

引用

19th Annual european Simulation and Modelling conference, ESM 2005

作者： Sarstedt, Stefan Gessenfiarter, Dominik Kohlrneyer, Jens Raschke, Alexander Schneiderhan, Matthias Department of Programming Methodology and Compiler Construction University of Ulm 89069 Ulm Germany

ISBN: (纸本)9077381228

Modeling the behavior of software at an abstract level and using supporting simulation facilities offer great advantages in developing software systems. In this paper we present our implement at ion and simulation environment ActiveChartsIDE, a tool for object oriented software development. Our approach enables the reuse of large parts of design artifacts for implementation by interpreting UML 2 activity charts, which are used to model the control flow of an application. the central component in our approach is the model interpreter, which is responsible for executing the activity charts. An optional visualization component implemented by the ActiveChartsIDE realizes debugging and simulation functionality to assist quality assurance. We give a brief overview of our approach and illustrate our tool and its central components by means of a small example.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

programming Languages and Systems — ESOP '94 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540483762

ISBN: (纸本)9783540578802

this volume contains the papers selected for presentation at the fifth european Symposium on programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. the scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.

关键词： Software Engineering/programming and Operating Systems theory of Computation programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Towards migrating object-oriented frameworks to enable synthesis of product line members 15

Towards migrating object-oriented frameworks to enable synth...

引用

19th International Software Product Line conference, SPLC 2015

作者： Heineman, George Hoxha, Armend Dudder, Boris Rehof, Jakob WPI 100 Institute Road WorcesterMA01609 United States Technical University of Dortmund Otto-Han Str. 12 Dortmund Germany

ISBN: (纸本)9781450336130

For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. the framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. these units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications. © 2015 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering 13th

Quantitative approaches in object-oriented software engineer...

引用

13th european conference on object-oriented programming, ECOOP 1999

作者： e Abreu, Fernando Brito Zuse, Horst Sahraoui, Houari Melo, Walcelio INESC Portugal Technische Universitat Berlin Germany Centre de Recherche Informatique de Montréal Canada Oracle Brazil

ISBN: (纸本)354066954X

this full-day workshop was organized in four sessions. the first three were thematic technical sessions dedicated to the presentation of the recent research results of participants. Seven, out of eleven accepted submissions were orally presented during these three sessions. the first session also included a metrics collection tool demonstration. the themes of the sessions were, respectively, "Metrics Definition and Collection", "Quality Assessment" and "Metrics Validation". the last session was dedicated to the discussion of a set of topics selected by the participants. © Springer-Verlag Berlin Heidelberg 1999.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：