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

A Component Based Approach for the Embedded Software Evolution

A Component Based Approach for the Embedded Software Evoluti...

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Gongjian Zhou Ping Jiang Dep.Of Information and Control TongJi UniversityShanghaiChina

ISBN: (纸本)0780379411

OSGi provides a dynamic and versatile platform forthe embedded software evolution. Using this platform,products can be easily upgraded, flexibly reconfiguredand managed for its after-sale services. In OSGi,applications are made up of bundles. The variousfunctions of a product are implemented throughinteractions and co-operations between the bundles. As aresult, how to efficiently and effectively manage thesebundles becomes prominent for the after-sale productsevolution. This article presents a component-basedapproach, where the services and its implementations aredivided into different bundles and are managed by aLeaderBundle for reconfiguration and update.

关键词： embedded systems software maintenance configuration management object-oriented programming component based approach embedded software evolution OSGi product upgrade product reconfiguration product management after-sale services after-sale product evolution bundles

来源：评论

学校读者我要写书评

暂无评论

Checking ownership and confinement

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2004年第7期16卷 671-687页

作者： Potanin, A Noble, J Biddle, R Victoria Univ Wellington Sch Math & Comp Sci Wellington New Zealand

A number of proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. It is not clear how practical these proposals are, that is, how well they relate to the kinds of programs currently written in Java-like languages. To address this problem, we analysed heap snapshots from a corpus of Java programs. Our results indicate that object-oriented programs do in fact exhibit symptoms of encapsulation in practice, and that proposed models of uniqueness, ownership, and confinement can usefully describe the aliasing structures of object-oriented programs. Understanding the kinds of aliasing present in programs should help us to design formalisms to make explicit the kinds of aliasing implicit in object-oriented programs. Copyright (C) 2004 John Wiley Sons, Ltd.

关键词： aliasing uniqueness ownership confinement object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Semantic Analysis and Dynamic Representation for Collaborative Design of Distributed Multimedia Systems

Semantic Analysis and Dynamic Representation for Collaborati...

引用

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Mangtang CHAN Kecheng LIU City University of Hong Kong University of Reading

ISBN: (纸本)0780379411

Design of distributed multimedia systems (DMMS)poses a number of challenges and yet it has beenapproached with traditional software engineeringmethodologies. On the other hand, Semantic analysisand representation of dynamic behavior attract theattention of the software design community. Thispaper reported the attempt of applying a newapproach to the design of DMMS, with emphasis inthe sharing and managing of design knowledgecollaboratively. A semantic model of DMMS and itsknowledge were represented with a semanticdatabase. Various design scenarios were used todescribe the use of the model. How the knowledge inthe semantic database could be used forcollaborative design was also examined.

关键词： multimedia computing groupware software engineering object-oriented programming semantic analysis dynamic design representation distributed multimedia systems DMMS software engineering software design collaborative design knowledge sharing collaborative design knowledge management semantic database

来源：评论

学校读者我要写书评

暂无评论

A Model of Intention Maintenance in Real-Time CSCW

A Model of Intention Maintenance in Real-Time CSCW

引用

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Xu Haishui Fu Xiufen Li Shixian Tang Yong Zhongshan University Guangdong University of Technology Huazhong University of Science and Technology Guangdong University of Technology

ISBN: (纸本)0780379411

Real-time consistency on intention maintenancein CSCW has been increasingly focused since someissues have been *** since intentionconsistency among collaborative users involvesmany non-deterministic factors,especially differenthuman *** evolution in such aspect *** and Exclusion Transformationoperations during processing the intentionconsistency are mostly adopted by *** twooperations are consistency maintenance ofprocess-oriented,which transforms each operationcaptured,so they are low efficient and a little costlyfor a real-time site users，In this paper,afinal-oriented method is proposed,which does nottransform each operation as soon as it is capturedbut focuses on the intention consistency ofphase orfinal effects of cooperative operations while tryingto hold the consensus of relevant distributedsite-users．A processing model is also given in orderto depict the mechanism of consistency processing．

关键词： software maintenance groupware object-oriented programming real-time systems intention maintenance real-time CSCW computer supported cooperative work human intentions intention consistency final-oriented method consistency processing real-time consistency cooperative operations

来源：评论

学校读者我要写书评

暂无评论

A Concurrent Design Approach for Data Flow Dominated Embedded Systems

A Concurrent Design Approach for Data Flow Dominated Embedde...

引用

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Baifeng Wu Chenglian Peng Fudan University Shanghai 200433P.R.China

ISBN: (纸本)0780379411

The increased complexity and short life cycle of toady'sembedded systems increase the need ofmore aggressivemethodology capable of designing systems quicker andmore *** this paper with the hetp of Dynamic DataFloW modeling technique and a component-orientedimplementation architecture we presents a concurrentdesign approach for data flow dominated *** approach can decompose the design processof an embedded system into a lot of separate design itemswith the consistency being *** generation ofimplementation code framework for hardwarelsoftwarecomponents and implementation code for，different types ofdata paths not onty accelerates the design process，butalso provides a guarantee for the integrity of the target system．

关键词： data flow analysis embedded systems object-oriented programming computational complexity concurrent design embedded systems data flow modeling component-oriented architecture hardware-software components data paths design process system integrity software components

来源：评论

学校读者我要写书评

暂无评论

Implementation of international accounting standard 39 04

Implementation of international accounting standard 39

引用

Proceedings of the 5th international conference on Computer systems and technologies

作者： Sevdalina Draganova Svetlozar Stefanov EuroRisk Systems Ltd Varna University of Economics Varna

ISBN: (纸本)9789549641387

The paper describes an implementation of a module for calculating fair values and balance values of financial instruments, according to International Accounting Standard 39. Position balance values are estimated by Amortization Cost Method (method of effectiveness rate of interest). This module is part of Portfolio Management System (PMS) of Much-Net AG. The module is developed in Microsoft Visual C++. The application is a Windows PC based system that operates on many database/data sources.

关键词： financial statements computer systems and technologies international accounting standard 39 effectiveness interest method object-oriented programming amortization cost method

来源：评论

学校读者我要写书评

暂无评论

Education and training in computer simulation: a way to nested simulation 04

Education and training in computer simulation: a way to nest...

引用

Proceedings of the 5th international conference on Computer systems and technologies

作者： Ivan Krivy Eugene Kindler University of Ostrava

ISBN: (纸本)9789549641387

This paper deals first with the results of training students in computer simulation at the Computer Science Department of the University of Ostrava during the last 15 years. Education and training in computer simulation are based on an obligatory course of SIMULA taking two semesters. The special attention is paid to implementing nested (especially reflective) simulation models of production and logistic systems for enterprises and institutions outside educational system.

关键词： education and training reflective simulation SIMULA language nested simulation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Order-Assigned Strategy of Classes Integration Testing Based on Test Level

An Order-Assigned Strategy of Classes Integration Testing Ba...

引用

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Qi'an Chen Xiaojiang Li Department of Computer Science XiaMen University Xiamen 361005 China Department of Test Engineering The Academy of Equipment C & T Beijing 101416 China

ISBN: (纸本)0780379411

It is very important how to find the test order ofclasses in OO programs to make the test work reduced. Inthis Paper, An order-assigned strategy of classesintegration testing is presented. It considers not only thestatic dependency but also dynamic dependency relationbetween classes in OO programs. Based on it, the testinglevel of all classes are defined and ordered. A testinglevel order automatic generating tool--TLOGOS,implements the above strategy. This tool has been used inYSS2000 Electric Power Monitor&Control System, andreduced the test works obviously.

关键词： object-oriented programming automatic test software power engineering computing diagnostic expert systems order-assigned strategy class integration testing object-oriented programs static dependency dynamic dependency relation testing level order automatic generating tool TLOGOS YSS2000 Electric Power Monitor&Control System

来源：评论

学校读者我要写书评

暂无评论

Decompositional verification of component-based systems-a hybrid approach 04

Decompositional verification of component-based systems-a hy...

引用

IEL Citation

作者： Gaoyan Xie Washington State University Pullman WA

ISBN: (纸本)0769521312

Component-based software development has been increasingly adopted as a standard engineering practice to build large systems with prefabricated components. Although this development method enjoys the great benefits of reusing valuable software assets, reducing development costs, improving productivity, etc., it also poses serious challenges to the quality assurance problem of component-based systems, since prefabricated components can not be simply trusted and they could be a new source of system failures. Solving this problem is of vital importance to safety-critical and mission-critical systems. This paper introduces a decompositional verification approach for component-based systems through both formal analysis (model-checking) and traditional software testing.

关键词： program testing formal verification object-oriented programming system recovery safety-critical software decompositional verification component-based systems component-based software development software assets quality assurance problem prefabricated components system failures safety-critical systems mission-critical systems formal analysis model checking software testing

来源：评论

学校读者我要写书评

暂无评论

A Java™ universal vehicle router for routing unmanned aerial vehicles

引用

International Transactions in Operational Research 2004年第3期11卷 259-275页

作者： Harder, R.W. Hill, R.R. Moore, J.T. Air Force Personnel Operations Agency Crystal City VA United States Department of Biomedical Industrial and Human Factors Engineering Wright State University Dayton OH United States Department of Operational Sciences Air Force Institute of Technology Dayton OH United States

We consider vehicle routing problems in the context of the Air Force operational problem of routing unmanned aerial vehicles from base locations to various reconnaissance sites. The unmanned aerial vehicle routing problem requires consideration of heterogeneous vehicles, vehicle endurance limits, time windows, and time walls for some of the sites requiring coverage, site priorities, and asymmetric travel distances. We propose a general architecture for operational research problems, specified for vehicle routing problems, that encourages object-oriented programming and code reuse. We create an instance of this architecture for the unmanned aerial vehicle routing problem and describe the components of this architecture to include the general user interface created for the operational users of the system. We employ route building heuristics and tabu search in a symbiotic fashion to provide a user-defined level-of-effort solver interface. Empirical tests of solution algorithms parameterized for solution speed reveal reasonable solution quality is attained. © 2004 Wiley Periodicals, Inc.

关键词： Empirical analysis object-oriented programming Tabu search Vehicle routing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：