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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

491 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

320 篇 工学
- 241 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 29 篇 控制科学与工程
- 21 篇 机械工程
- 18 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 建筑学
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 17 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 6 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 eiter thomas
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

506 篇 英文
5 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 511 条记录，以下是481-490 订阅

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

详细简洁

排序：

A framework for QoS management

A framework for QoS management

引用

39th international conference on Technology of Object-Oriented Languages and Systems (TOOLS 39)

作者： Contreras, JL Sourrouille, JL Inst Natl Sci Appl F-69621 Villeurbanne France

ISBN: (纸本)0769512518

Quality of Service (QoS) becomes an important issue as systems are more open, therefore less predictable. In such contexts it is difficult to ensure via static approaches that a system will provide the expected QoS. In dynamic approaches, sen,ices are adapted to provide the best QoS according to the execution context. this article describes an object-based framework, to deal with QoS in domains in which temporal faults is a major QoS criterion. the QoS optimization policy influences most of the architectural design decisions. the implementation is based on metaobjects that collectively manage the QoS and form a two decision-levels framework: at global level, objects share the same decision policy aiming to reduce timing faults, while at object level any specific QoS criteria may be applied. QoS description is made using UML extension mechanisms. Finally, the main phases of QoS management are detailed: prediction, establishment and operational, including observation and negotiation.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Requirements-based testing: an overview

Requirements-based testing: an overview

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： G. Mogyorodi Starbase Corporation

the article provides an overview of the requirements based testing (RBT) process and an overview of CaliberRBT, the tool that supports the RBT process. the intended audience for the paper is project managers, development managers, developers, test managers and test practitioners who are interested in understanding requirements based testing and how it can be applied to their organization.

关键词： logic testing System testing Costs Project management Software development management programming Life testing Software testing Error correction Computer bugs

来源：评论

学校读者我要写书评

暂无评论

A three-view model for developing object-oriented frameworks

A three-view model for developing object-oriented frameworks

引用

39th international conference on Technology of Object-Oriented Languages and Systems (TOOLS 39)

作者： Hayase, T Ikeda, N Matsumoto, K Toshiba Corporation Kawasaki Japan

ISBN: (纸本)0769512518

this paper describes a three-view model for developing object-oriented frameworks, Ve propose a new methodology based on this model, and demonstrate its effectiveness using an example of practical industrial applications. this model can lead software engineers to a framework that has high reusability, portability, and maintainability. these quality factors of applications are especially important in a domain that has high repeatability and changeability of hardware and software environment. the three-view model consists of a domain analysis view, a layer view, and a mechanism view. the domain analysis view is used to clarify all information and domain knowledge by using a new concept that ive call Domain Reference Models (DRM), which is reference models for modeling domain-specific objects, so that a framework, has high reusability. the layer view is used to divide a framework into three layers that are piled zip vertically: an infrastructure layer, a generic layer, and a domain layer. Because software engineers can replace a part of the framework for restriction oil implementation, the framework has high portability. the mechanism view is used to decide which mechanism of whitebox frame works or blackbox frameworks. By using this guideline, the framework has high maintainability. We applied our approach to the framework development for an industrial monitoring applications. By developing a prototype, ive have a prospect of withdrawing the development costs of the framework, by five or six times of application deployment. In this application, ive estimate several ten times of application deployment. therefore, it is effective for software engineers to develop a framework based on the three-view model.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dynamic wrappers: handling the composition issue with JAC

Dynamic wrappers: handling the composition issue with JAC

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： R. Pawlak L. Duchien G. Florin L. Seinturier Laboratory CEDRIC CNAM Paris France Laboratory LIP6 University of Paris 6 Paris France

Modern applications, and especially distributed ones, need flexibility and dynamic evolution. these goals can be partially reached with separation of concerns. However, a static approach is not sufficient when trying to get dynamic adaptation during the application execution-time. We present the JAC (Java Aspect Components) framework that meets dynamic adaptation by using the notions of dynamic wrappers in order to achieve separation of concerns for non-functional programs, and of wrapping controllers to implement the composition of wrappers (maybe coming from different programmers) at wrap-time and at call-time.

关键词： Dynamic programming programming profession Wrapping Java Control systems Prototypes Runtime

来源：评论

学校读者我要写书评

暂无评论

Visual component composition using composition patterns

Visual component composition using composition patterns

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： B. Wydaeghe W. Vanderperren Vrije Universiteit Brussel Brussels Belgium

We improve current visual component composition environments by introducing composition patterns as first class objects that can be defined, stored and reused independently of the components. We document both components and composition patterns using an extended sequence diagram notation. For a component, typical usage protocols are specified while a composition pattern specifies how a set of roles interact. From this documentation, we check whether a component can work as described by a composition pattern using finite state automata theory and we generate glue-code for the composition. In this paper we present our approach, explain the checking algorithm and glue code generation and discuss the tool support we developed.

关键词： Protocols Automata Documentation programming profession Java programming environments Internet

来源：评论

学校读者我要写书评

暂无评论

Defining and building the Eiffel binding for COM

Defining and building the Eiffel binding for COM

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： M. Nudelman Interactive Software Engineering Inc. Goleta CA USA

the EiffelCOM wizard allows Eiffel developers to easily create new COM components and also reuse the existing ones. the development of the EiffelCOM wizard has required defining the Eiffel binding for COM. the binding needs to preserve the simplicity and consistency of the Eiffel language and should be easy to use. this article describes the choices that EiffelCOM development team has made during the development of the EiffelCOM wizard.

关键词： Runtime programming profession Assembly systems Wrapping Libraries Software engineering Computer industry Software systems Application software Middleware

来源：评论

学校读者我要写书评

暂无评论

the .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

The .NET Contract Wizard: adding Design by Contract to langu...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： K. Arnout R. Simon Interactive Software Engineering Inc. Goleta CA USA

Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. this observation convinced ISE to build a new product, the Contract Wizard, which aims at providing .NET developers with the ability to add contracts to a .NET assembly independently from the .NET language it was initially written in. the paper first gives an overview of the existing implementation of Design by Contract in various programming languages. It then explains how the new ISE Contract Wizard works by providing a guided tour of the product.

关键词： Contracts Software engineering Assembly Computer languages Software systems High level languages Buildings programming profession Power system reliability Writing

来源：评论

学校读者我要写书评

暂无评论

Implementing dynamic language features in Java using dynamic code generation

Implementing dynamic language features in Java using dynamic...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： T.M. Breuel Xerox-PARC Palo Alto CA USA

Compared to dynamic object-oriented languages like CommonLisp or Smalltalk, Java has a fairly simple and restrictive object and type system. Some of the key differences between Java and these other languages are that they offer structural conformance, automatic delegation and dynamic mix-ins. When such constructs are needed in a language like Java, they are usually expressed in terms of standard object-oriented design patterns, requiring the manual implementation of "glue" or "helper" classes. this paper describes ways in which such features can be provided efficiently and automatically in terms of Java's platform-independent binary format and dynamic loading mechanisms. the implementation does not require any changes to the Java runtime environment, byte-codes or class loader, and it yields a performance that is comparable to manually implemented design patterns. the approach should prove useful both as a programming tool for Java and as a strategy for building efficient implementations of dynamic languages on top of the Java Virtual Machine.

关键词： Java Runtime Dynamic programming Reflection Virtual machining Buildings Computer languages Casting programming profession Bibliographies

来源：评论

学校读者我要写书评

暂无评论

Simple support for design by contract in C++

Simple support for design by contract in C++

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： P. Guerreiro Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Caparica Portugal

Design by contract can be seen as an advanced software engineering technique for building quality software in a professional environment or as a fundamental programming concept, useful even for elementary programming. If design by contract is an afterthought, sophisticated tool support, with macros, preprocessors or patterns is acceptable. If it is to be used from the very first programs, it must not be yet another difficult obstacle to the novice programmer. this point of view seems to recommend Eiffel as the sole vehicle for the early introduction of design by contract. However, compromises are possible, if your organization mandates C++, for example. For design by contract in C++ we use a class template, Assertions , which is inherited by the classes we are specifying. this class handles preconditions, postconditions and class invariants, and supports the "old" notation. the assertions themselves are not difficult to implement but the "old" notation, which is necessary in order to compare the value of an attribute in a postcondition with its value at an earlier stage in the function, raises interesting issues. In most common situations, using the assertions is straightforward. there are, however, more rare cases involving inheritance and recursion that must be handled with a discipline.

关键词： Contracts programming profession Java Libraries Design engineering Software quality Vehicles Computer languages Software tools Software design

来源：评论

学校读者我要写书评

暂无评论

Separation of data and presentation for the next generation Internet using the four-tier architecture

Separation of data and presentation for the next generation ...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： R. Behravanfar

As the Internet is fast becoming a network of variety types of content accessed by a multitude of devices as well as the personal computer, software and systems design is beginning to once again change dramatically. We explore the state of content and architecture on the Internet, where it is today and where it is going. Subsequently, we introduce the concept of the presentation server and its role as the fourth-tier in a scalable, reliable, and flexible back-end solution for the Internet. We discuss data, audio, and visuals as the content of a given system on the Internet. We also discuss the capabilities required from the next generation clients to this content. Furthermore, we discuss the four-tier architecture, the role of the presentation server within this four-tier architecture, and the responsibilities of a presentation server. Finally, we look at the benefits of the four-tier architecture, some specific implementation possibilities, and how it fits within the Internet as we know it today.

关键词： Internet HTML XML Cellular phones Web server Computer architecture Microcomputers Software systems logic devices Fuzzy sets

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：