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

Working Conference on Reverse Engineering

作者： Peter Ebraert Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

ISBN: (纸本)9780769534299;0769534295

A growing trend in software construction advocates the encapsulation of software building blocks as features which better match the specification of requirements. As a result, programmers find it easier to design and compose different system variations. Feature-oriented programming (FOP) is the research domain that targets this trend. We argue that the state-of-the-art approaches to FOP lack expressiveness because they specify a feature as a set of building blocks rather than a transition that has to be applied on a system in order to add that feature's functionality to the *** propose to specify features as sets of first-class change objects which can add, modify or delete building blocks to or from a software system. We present ChEOPS, a proof-of-concept implementation of this approach and use it to show how our approach contributes to FOP on three levels: expressiveness, composition verification and bottom-up FOP.

关键词： Unified modeling language Software programming Software systems Adaptation model Cameras Software engineering

来源：评论

学校读者我要写书评

暂无评论

A formal foundation for object-oriented software evolution

A formal foundation for object-oriented software evolution

引用

International Conference on Software Maintenance (ICSM)

作者： T. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

My PhD thesis claims that the principles behind object-oriented software evolution are independent of a particular domain or phase in the software lifecycle. To validate this claim, a formalism based on graphs and graph rewriting was developed and applied to a particular aspect of software evolution, namely the problem of software upgrading and software merging. When the same piece of software is modified in parallel by different software developers, unexpected inconsistencies can arise. Formal support can be provided to detect and resolve these inconsistencies in a general way.

关键词： Contracts Merging Software reusability Aging Collaborative software Genetic programming Object oriented programming Application software Unified modeling language Software architecture

来源：评论

学校读者我要写书评

暂无评论

Identifying refactoring opportunities using logic meta programming

Identifying refactoring opportunities using logic meta progr...

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： T. Tourwe T. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

We show how automated support can be provided for identifying refactoring opportunities, e.g., when an application's design should be refactored and which refactoring(s) in particular should be applied. Such support is achieved by using the technique of logic meta programming to detect so-called bad smells and by defining a framework that uses this information to propose adequate refactorings. We report on some initial but promising experiments that were applied using the proposed techniques.

关键词： Logic programming Guidelines Degradation Automatic programming Aging Computer languages Phase detection Software performance Application software Inspection

来源：评论

学校读者我要写书评

暂无评论

Managing software evolution through reuse contracts

Managing software evolution through reuse contracts

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： C. Lucas P. Steyaert K. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

Assessing the impact of changes in one part of a software system on other parts remains one of the most compelling problems in software maintenance. This problem can be relieved by making implicit dependencies between different system parts explicit. We propose to explicitly document interactions between different system parts by means of reuse contracts that can only be manipulated by formal reuse operators. Reuse contracts and their operators facilitate managing the evolution of a software system by indicating how much work is needed to update the system, by pointing out when and which problems might occur and where and how to test and adjust the system.

关键词： Contracts Software systems System testing Documentation Software maintenance Aging Software testing Software engineering Impedance

来源：评论

学校读者我要写书评

暂无评论

Termination of programs over the union of intervals

Termination of programs over the union of intervals

引用

2010 3rd International Conference on Advanced Computer Theory and Engineering, ICACTE 2010

作者： Mu, Lin Jin, Taige Li, Yi Luo, Jiawei Laboratory for Automated Reasoning and Programming Chengdu Inst. of Computer Application CAS Chengdu China Lab. of CRTC University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9781424465408

For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in the above loop is not linear, the loop is called nonlinear. In this paper, we investigate how to solve the termination of the above loop by deciding whether a fixed point exists, when the constraints are the union of intervals and the updating functions are polynomials. Furthermore, when all fixed points are on the boundaries of the union of intervals, we also establish a corresponding necessary and sufficient condition of nonterm in at ion. © 2010 IEEE.

关键词： Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

Asynchronous leasing

Asynchronous leasing

引用

Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

作者： R. Boichat P. Dutta R. Guerraoui Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland

Leasing is a very effective way to improve the performance of distributed algorithms without hampering their fault tolerance. The notion of leasing has traditionally been defined using a global notion of "real time" and was hence strongly tied to synchronous system models. This paper introduces a notion of leasing devised for an asynchronous system model. We give precise properties of our lease abstraction, and show how it can be implemented in an asynchronous system model with a logical notion of time. We then illustrate its use by showing how it significantly improves the performance of a consensus-based total-order broadcast algorithm.

关键词： Broadcasting Clocks Distributed algorithms Fault tolerance Laboratories Real time systems Contracts Synchronization

来源：评论

学校读者我要写书评

暂无评论

OS support for P2P programming: a case for TPS

OS support for P2P programming: a case for TPS

引用

International Conference on Distributed Computing Systems

作者： S. Baehni P.T. Eugster R. Guerraoui Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland

Just as the remote procedure call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, type-based publish-subscribe (TPS) can be viewed as a high-level candidate abstraction for building peer-to-peer (P2P) applications over WANs. This paper relates our preliminary, though positive, experience of implementing and using TPS over JXTA, which can be viewed as the P2P counterpart to sockets. We show that, at least for P2P applications with the Java type model, TPS provides a high-level programming support that ensures type safety and encapsulation, without hampering the decoupled nature of these applications. Furthermore, the loss of flexibility (inherent to the use of any high level abstraction) and the performance overhead, are negligible with respect to the simplicity gained by using TPS.

关键词： Computer aided software engineering Encapsulation Sockets Libraries Peer to peer computing Safety Protocols Java Internet Operating systems

来源：评论

学校读者我要写书评

暂无评论

Prognosis for insulated gate bipolar transistor based on Gaussian process regression

Prognosis for insulated gate bipolar transistor based on Gau...

引用

2013 IEEE International Conference on Prognostics and Health Management, PHM 2013

作者： Hong, Sheng Zhou, Zheng Lv, Chuan Guo, Hongyi Science and Technology Laboratory Reliability and Environmental Engineering School of Reliability and System Engineering Beijing China System Engineering and Programming Department Jiangxi Electric Power Design Institute Jiangxi province China

ISBN: (纸本)9781467357227

The failure issues of power insulated gate bipolar transistor (IGBT) modules are mainly related to thermal and ther mo-mechanical aging mechanism. This aging causes degradation of the device performance and faults which can lead to the failure bringing huge loss and catastrophic influence. To avoid those failures, the monitoring of the device operation and the detection of an aging state remain as a priority. This paper, at first, describes the failure mechanism of power cycling by analyzing of the structure of lead-based solder and joint failure due to solder fatigue. Secondly, Gaussian Process Regression (GPR) model supporting uncertainty representation is used to realize the prognosis for the junction temperature of the IGBT. Furthermore, the comparison of GPR prediction with the Neural Network algorithm has been achieved, and the dynamic model is introduced to improve the prediction accuracy for the IGBT health assessment. Meantime, GPR owns more simple computational complexity and less time consuming. © 2013 IEEE.

关键词： Junction temperature

来源：评论

学校读者我要写书评

暂无评论

An alternative to Quiescence: Tranquility

An alternative to Quiescence: Tranquility

引用

International Conference on Software Maintenance (ICSM)

作者： Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and violates the black-box design principle. We introduce a weaker condition, tranquility; easier to obtain, less disruptive for the system and still sufficient to ensure application consistency. We also present an implementation of this concept in a component middleware platform

关键词： Application software Runtime Sufficient conditions Computer science Middleware Web services Switches Telecommunication switching Banking Software systems

来源：评论

学校读者我要写书评

暂无评论

Experimental maternal treatment with dexamethasone during lactation induces neonatal testicular and epididymal oxidative stress;Implications for early postnatal exposure

引用

Pathophysiology 2017年第4期24卷 261-265页

作者： Jeje, S.O. Ola-Mudathir, F.K. Raji, Y. Laboratory for Reproductive Physiology and Developmental Programming Department of Physiology University of Ibadan Ibadan Nigeria Department of Physiology School of Health and Health Technology Federal University of Technology Akure Nigeria Department of Physical and Chemical Sciences Elizade University Ilara Mokin Ondo State Nigeria

Maternal treatment with dexamethasone during lactation alters reproductive functions and increases serum corticosterone in the male offspring. Excess corticosterone may induce oxidative stress. This study was designed to evaluate the effects of maternal treatment with dexamethasone during lactation on oxidative stress indices in the testis and epididymis of a male offspring. Twenty lactating dams were divided into 4 groups (n = 5). Group 1 was administered 0.02 ml/100 g/day normal saline subcutaneously at lactation days 1–21. Groups 2, 3, and 4 were administered 100 μg/kg/day dexamethasone (Dex) subcutaneously at lactation days (LD) 1–7, 1–14, and 1–21 respectively. Testis and epididymis malondialdehyde (MDA), catalase and superoxide dismutase (SOD) activities were measured as markers of oxidative stress. The mean testis and epididymis MDA were significantly raised (p < 0.05) in the dexamethasone-treated groups when compared with control. This was accompanied with a significant reduction (p < 0.05) in SOD and catalase activities in these tissues in the DexLD 1–21, when compared with control. The mean total protein level of the epididymis was significantly reduced (p < 0.05) in all the dexamethasone treated groups when compared with control. In conclusion, maternal treatment with dexamethasone during the first two weeks of lactation and throughout lactation may lead to increase in oxidative stress in the testis and epididymis of the male offspring of Wistar rats. © 2017 Elsevier B.V.

关键词： Antioxidant enzymes Dexamethasone Lactation Offspring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：