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

Information and software Technology 2004年第15期46卷 987-988页

作者： Huimin Lin Hans-Dieter Ehrich T.H. Tse Laboratory for Computer Science Institute of Software Chinese Academy of Sciences P.O. Box 8718 Beijing 100080 China Institute of Information Systems Technical University of Braunschweig Braunschweig Germany Department of Computer Science The University of Hong Kong Hong Kong China

来源：评论

学校读者我要写书评

暂无评论

A study on the current state of the art in tool-supported UML-based static reverse engineering

A study on the current state of the art in tool-supported UM...

引用

Working Conference on Reverse Engineering

作者： R. Kollmann P. Selonen E. Stroulia T. Systa A. Zundorf Department of Computer Science University of Brethemen Germany Software Systems Laboratory Tampere University of Technology Finland Computing Science Center University of Alberta Canada Institute for Software Technical University of Braunschweig Germany

Today, software-engineering research and industry alike recognize the need for practical tools to support reverse-engineering activities. Most of the well-known CASE tools support reverse engineering in some way. The Unified Modeling Language (UML) has emerged as the de facto standard for graphically representing the design of object-oriented software systems. However, there does not yet exist a standard scheme for representing the reverse-engineered models of these systems. The various CASE tools usually adopt proprietary extensions to UML and, as a result, it is difficult, or even impossible, to ensure that model semantics remains unambiguous when working with different tools at the same time. In this paper, we examine the capabilities of the two most successful industrial-strength CASE-tools in reverse engineering the static structure of software systems and compare them to the results produced by two academic prototypes. The comparisons are carried out both manually and automatically using a research prototype for manipulating and comparing UML models.

关键词： Reverse engineering Unified modeling language Object oriented modeling computer industry computer aided software engineering software systems software prototyping software standards software design Prototypes

来源：评论

学校读者我要写书评

暂无评论

OPEN: a flexible OO/CBD process for software-intensive systems development, a UML exposition 01

OPEN: a flexible OO/CBD process for software-intensive syste...

引用

Proceedings of the 23rd International Conference on software Engineering

作者： Houman Younessi Brian Henderson-Sellers Rensselaer Initiative in Software Engineering (RISE) Associate Professor of Computer Science Rensselaer Polytechnic Institute Rensselaer at Hartford Centre for Object Technology Applications and Research Professor of Information Systems Faculty of Information Technology University of Technology Sydney

ISBN: (纸本)9780769510507

Object technology is an approach that is increasingly being adopted for the development of quality software and software-intensive systems. Recent experience has demonstrated that it provides a sophisticated environment to support high quality software engineering practice. However, the use of object technology should not be restricted to languages but should encompass analysis, design, V&V and many such aspects belonging to the methodological dimension of the development life-cycle. Furthermore, it should also cover other issues belonging to the technological and contextual aspects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formalizing openMP performance properties with ASL 3rd

Formalizing openMP performance properties with ASL

引用

3rd International Symposium on High Performance Computing, ISHPC 2000

作者： Fahringer, Thomas Gerndt, Michael Riley, Graham Träff, Jesper Larsson Institute for Software Technology and Parallel Systems University of Vienna Austria Institute for Computer Science LRR Technical University of Munich Germany Department of Computer Science University of Manchester United Kingdom C and C Research Laboratories NEC Europe Ltd United Kingdom

ISBN: (纸本)9783540411284

Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and analyzing performance data which is driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the programmer. We believe that the implicit knowledge applied in this cyclic process should be formalized in order to provide automatic performance analysis for a wider class of programming paradigms and target architectures. This article describes the performance property specification language (ASL) developed in the APART Esprit IV working group which allows specifying performance-related data by an object-oriented model and performance properties by functions and constraints defined over performance-related data. Performance problems and bottlenecks can then be identified based on user-or tool-defined thresholds. In order to demonstrate the usefulness of ASL we apply it to OpenMP by successfully formalizing several OpenMP performance properties. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Strong practical stability for a class of 2D linear systems

Strong practical stability for a class of 2D linear systems

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D. Owens Institute of Robotics and Software Engineering Technical University of Zielona Gora Poland Department of Electronics and Computer Science University of Southampton Southampton UK Institute of Computer Science and Electronics Technical University of Zielona Gora Poland Department of Automatic Control and Systems Engineering University of Sheffield UK

Linear repetitive processes are a distinct class of 2D linear systems of both theoretical and practical interest. The stability theory for these processes currently consists of two distinct concepts termed asymptotic stability and stability along the pass respectively where the former is a necessary condition for the latter. Recently applications have arisen where asymptotic stability is too weak and stability along the pass is too strong for meaningful progress to be made. This paper develops the concept of strong practical stability for such cases.

关键词： Linear systems Asymptotic stability computer science State-space methods Robotics and automation software engineering systems engineering and theory Metals industry Iterative algorithms Electrical equipment industry

来源：评论

学校读者我要写书评

暂无评论

On the implementation of the Opus coordination language

引用

Concurrency and Computation: Practice and Experience 2000年第4期12卷

作者： Erwin Laure Matthew Haines Piyush Mehrotra Hans Zima Institute for Software Technology and Parallel Systems University of Vienna Liechtensteinstrasse 22 A-1090 Vienna Austria Department of Computer Science University of Wyoming Laramie WY 82071-3682 U.S.A. Institute for Computer Applications in Science and Engineering NASA Langley Research Center Mail Stop 132C Hampton VA 23681-0001 U.S.A.

Opus is a new programming language designed to assist in coordinating the execution of multiple, independent program modules. With the help of Opus, coarse grained task parallelism between data parallel modules can be expressed in a clean and structured way. In this paper we address the problems of how to build a compilation and runtime support system that can efficiently implement the Opus constructs. Our design considers the often-conflicting goals of efficiency and modular construction through software re-use. In particular, we present the system requirements for an efficient Opus implementation, the Opus runtime system, and describe how they work together to provide the underlying services that the Opus compiler needs for a broad class of machines. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： Opus task parallelism data parallelism coordination

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

1999 Information, Decision and Control, IDC 1999

作者： Galkowski, K. Rogers, E. Gramacki, A. Gramacki, J. Owens, D.H. Technical University of Zielona Gora Institute of Robotics and Software Engineering Zielona Gora Poland University of Southampton Image Speech and Intelligent Systems Research Group Department of Electronics and Computer Science SouthamptonSO17 lBJ United Kingdom University of Exeter Centre for Systems and Control Engineering School of Engineering ExeterEX4 4QF United Kingdom

ISBN: (纸本)0780352564

Repetitive, or multipass, processes are a class of 2D systems of both practical and algorithmic/theoretical interest whose dynamics cannot be analysed or controlled using standard (1D) systems theory. Recently it has been shown that the modelling of the boundary conditions, also known as the process initial conditions, is a crucial feature in the analysis and control of these processes. This paper presents some further results on the effects of so-called 'dynamic' process initial conditions on the controllability and stability properties of discrete linear repetitive processes. Previous work has shown that these dynamic process initial conditions alone can destroy the stability properties of these processes. Hence their effects must be 'adequately' accounted for the process modelling stage in order to ensure that subsequent analysis does not lead to incorrect results/conclusions. The main results developed in this paper can be summarised as follows. (i) Computationally efficient stability tests which can, in effect, be applied using standard, or 1D, linear systems tests. (ii) Characterisation of so-called pass controllability in the form of matrix rank based conditions. (iii) Conditions under which the dynamic process initial conditions can be selected to ensure stability and pass controllability. © 1999 IEEE.

关键词： Controllability

来源：评论

学校读者我要写书评

暂无评论

Dynamic process initial conditions in repetitive processes. Controllability and stability analysis

Dynamic process initial conditions in repetitive processes. ...

引用

Information, Decision and Control (IDC)

作者： K. Galkowski E. Rogers A. Gramacki J. Gramacki D.H. Owens Institute of Robotics and Software Engineering Technical University of Zielona Góra Zielona Gora Poland Department of Electronics and Computer Science Image Speech and Intelligent Systems Research Group University of Southampton Southampton UK Institute of Computer Engineering and Electronics Technical University of Zielona Góra Zielona Gora Poland School of Engineering Centre for Systems and Control Engineering University of Exeter Exeter UK

关键词： Stability Controllability System testing Control system analysis Algorithm design and analysis Control systems Boundary conditions Process control Standards development Linear systems

来源：评论

学校读者我要写书评

暂无评论

Engineering off-the-shelf solutions: A life cycle view

引用

NAVAL ENGINEERS JOURNAL 1996年第3期108卷 181-190页

作者： Belair, D Eagan, M [?]Doug Belair is the program manager for Advanced Programs in the Fleet Ballistic Missile/Shipboard business area at Lockheed Martin Defense Systems. He joined Defense Systems in 1979 with a Bachelor's degree in Computer Science and held a variety of positions in software and systems engineering throughout his early career. In 1985 Doug received a Master's degree in Industrial Management from the Krannert School of Management at Purdue University as part of a GE executive training program and has subsequently held increasingly complex and responsible engineering and program management positions associated with Fire Control System advanced development. Doug is currently responsible for new business opportunities and has received a number of awards including the inaugural Lockheed Martin NOVA award for technical excellence. He has been associated with the application of Off-the-Shelf products for mission critical applications since 1989 and has presented the subject often to both government and industry.

This paper describes a market driven life cycle methodology for application of off-the-shelf products and provides anecdotal lessons for each of the life cycle phases. In order to form a framework for further discussion, a model of the off-the-shelf marketplace is introduced to define a range of products from low cost commodities to high-end niche or specialty items. Within this framework, strategies are recommended for defining product requirements both technical and programmatic, surveying the market to find products that meet those requirements and then acceptance testing those products to ensure they do in fact perform as advertised. Recommendations are provided in the area of product tailoring, if tailoring is deemed a cost effective alternative to unique design. The pitfalls of managing ''off-the-shelf'' vendors as subcontractors during the tailoring phase is also described. Product procurement is defined to include not only those steps required to procure product quantities for deploy ment but also steps to ensure that those products meet the same requirements as those accepted during the selection phase. Three product support strategies are next described. The strategies range from a traditional ''commercial'' approach with support provided within the vendor's infrastructure to a more traditional ''military'' approach in which vendors are subcontracted to provide longer term support. Selection of the appropriate strategy is based on a balance of cost, desired product life and desired level of stability within the system configuration.

关键词： Electronic ship equipment

来源：评论

学校读者我要写书评

暂无评论

Optimizing the NASA technical report server

引用

INTERNET RESEARCH-ELECTRONIC NETWORKING applications AND POLICY 1996年第1期6卷 64-&页

作者： Nelson, ML Maa, MH Michael L. Nelson is the “webmaster” for NASA Langley Research Center Computer Systems Branch Mail Stop 157A 15 Langley Boulevard Hampton VA 23681‐0001 USA. Tel: 804 8648511 Fax: 804 8648342 E‐mail: <m.l.nelson@larc.nasa.gov> . He has also worked with others to implement report servers software servers technology transfer databases and other World Wide Web services and is also the technical lead for NASA Langley Research Center’s workstation clustering activities. Ming‐Hokng Maa is a NASA Langley Research Center Cooperative Education Student e‐mail: <m.h.maa@larc.nasa.gov> pursuing his BS in computer engineering/computer science at the Massachusetts Institute of Technology. He has previously held research positions at nView Corp. and the Inter‐National Research Institute Inc Ming‐Hokng Maa is a NASA Langley Research Center Cooperative Education Student e‐mail: <m.h.maa@larc.nasa.gov> pursuing his BS in computer engineering/computer science at the Massachusetts Institute of Technology. He has previously held research positions at nView Corp. and the Inter‐National Research Institute Inc

Explains how the NASA technical Report Server, a World Wide Web report distribution NASA technical publications service, has been modified for performance enhancement, greater protocol support and human interface optimization. Results include: parallel database queries, significantly decreasing user access times by an average factor of 2.3;access from clients behind firewalls and/or proxies which truncate excessively long Uniform Resource Locators;access to non-Wide Area Information Server (WAIS) databases and compatibility with the Z39-50.3 protocol;and a streamlined user interface.

关键词： distribution information retrieval information services Internet

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：