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

iSSTA 00 Proceedings of the ACM SiGSOFT 2000 international Symposium on software Testing and Analysis

作者： Peters, Dennis K. Parnas, David L. Electrical and Computer Engineering Fac. of Eng. and Applied Science Memorial University of Newfoundland St. John's Nfld. Canada Department of Computing and Software Faculty of Engineering McMaster University Hamilton Ont. Canada

ISBN: (纸本)1581132662

Before designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behaviour of a target system and reports if that behaviour is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system. if the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviours to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolerance. Because of the limitations of the devices used by the monitor to observe the environmental quantities, there is unavoidable potential for false reports, both negative and positive. This paper discusses design of monitors for real-time systems, and examines the conditions under which a monitor will produce false reports. We describe the conclusions that can be drawn when using a monitor to observe system behaviour.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Distributed user tracking concepts for augmented reality applications

Distributed user tracking concepts for augmented reality app...

引用

iEEE and ACM international Symposium on Augmented Reality

作者： G. Klinker R. Reicher B. Brugge Department of Computer Science Chair for Applied Software Engineering Technical University Munich Munich Germany

Augmented reality (AR) constitutes a new user interface paradigm. Using light head-sets and hand-held or worn computing equipment, users can roam their daily working environment while being continuously in contact with their computer systems. For AR to work properly in a large factory, new system architectures have to be designed with consideration of the special requirements imposed by AR. in particular, AR requires real-time facilities to track the user's position and viewing direction. in the past, various carefully calibrated sensing devices have been used for this purpose, including magnetic trackers and active LED systems. Research is now focusing on computer vision-based methods. it is our hypothesis that, in the future, the most successful indoor approaches will combine local (user-worn) vision-based tracking methods with global user tracking schemes from fixed (wall-mounted) sensors, using mobile wireless networking technology to allow the user-worn system to communicate with the globally available sensing infrastructure in an intelligent building. We propose the concept of "AR-ready" intelligent buildings which provide built-in tracking services via different sensing modalities.

关键词： Augmented reality intelligent sensors Handheld computers Wireless sensor networks intelligent structures User interfaces Production facilities computer architecture Real time systems Magnetic devices

来源：评论

学校读者我要写书评

暂无评论

All-solid-state Cr:forsterite laser generating 14-fs pulses at 1.3 μm

All-solid-state Cr:forsterite laser generating 14-fs pulses ...

引用

Conference on Lasers and Electro-Optics, CLEO 2000

作者： Chudoba, C. Fujimoto, J.G. ippen, E.P. Haus, H.A. Morgner, U. Kartner, F.X. Scheurer, V. Angelow, G. Tschudi, T. Department of Electrical Engineering and Computer Science Research Laboratory of Electronics Massachusetts Institute of Technology CambridgeMA02139 United States D-76I31 Germany Institute for Applied Physics TH Darmstadt D-64289 Germany

14-fs pulses at 1.3 |im were generated by an all-solid-state, Kerr-lens mode-locked Cr:forsterite laser using doublé chirped mirrors. The spectral bandwidth (FWHM) was 250 nm with an 80 mW average power and 100 M... 详细信息

ISBN: (纸本)9781557528209

关键词： Laser mirrors

来源：评论

学校读者我要写书评

暂无评论

A connection between the star problem and the finite power property in trace monoids? (extended abstract)

A connection between the star problem and the finite power p...

引用

26th international Colloquium on Automata, Languages and Programming, iCALP 1999

作者： Kirsten, Daniel Department of Computer Science Institute of Software Engineering I Dresden University of Technology D-01062 Dresden Germany

ISBN: (纸本)3540662243

This paper deals with a connection between the star pro- blem and the finite power problem in trace monoids. Both problems are decidable in trace monoids without C4 submonoid [21] but remain open in all other trace monoids. We show a connection between these problems. Assume two disjoint trace monoids iM(Γ iΓ ) and iM(Δ iΔ). Assume further a recognizable langu- Age L ⊆ iM(Γ iΓ )×iM(Δ iΔ) such that every trace in L contains at least one letter in γ and at least one letter in Δ. Our main theorem asserts that L * is recognizable iff L has the finite power property. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Stars

来源：评论

学校读者我要写书评

暂无评论

Combining logical agents with rapid prototyping for engineering distributed applications

Combining logical agents with rapid prototyping for engineer...

引用

1999 software Technology and engineering Practice, STEP 1999

作者： Dart, Philip Kazmierczak, Ed. Sterling, Leon Martelli, Maurizio Mascardi, Viviana Zini, Floriano Subrahmanian, V.S. Department of Computer Science and Software Engineering University of Melbourne Parkville3052 Australia D.I.S.I. - Universita di Genova via Dodecaneso 35 Genova16146 Italy Department of Computer Science University of Maryland A.V. Williams Building College ParkMD20742 United States

ISBN: (纸本)0769503284

The realization of new distributed and heterogeneous software applications is a challenge that software engineers have to face. Logic programming and multi-agent systems can play a very effective role in the rapid prototyping of new software products. This paper proposes a general approach to the prototyping of complex and distributed applications modelled as multi-agent systems and outlines the autonomous research experiences of different research groups from which the approach originates. All the experiences have logic programming as the common foundation and deal with different aspects of the problem: integration of heterogeneous data and reasoning systems, animation of formal specifications and the development of agent-based software. The final goal is joining these diverse experiences into a unique open framework. © 1999 iEEE.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Drawing Clustered Graphs on an Orthogonal Grid

引用

Journal of Graph Algorithms and Applications 1999年第4期3卷 3-29页

作者： Eades, Peter Feng, Qingwen Nagamochi, Hiroshi Department of Computer Science and Software Engineering University of Newcastle Australia Tom Sawyer Software United States Department of Applied Mathematics and Physics Kyoto University Japan

Clustered graphs are graphs with recursive clustering structures over the vertices. For graphical representation, the clustering structure is represented by a simple region that contains the drawing of all the vertices which belong to that cluster. in this paper, we present an algorithm which produces planar drawings of clustered graphs in a convention known as orthogonal grid rectangular cluster drawings. if the input graph has n vertices, then the algorithm produces in O(n) time a drawing with O(n2 ) area and at most 3 bends in each edge. This result is as good as existing results for classical planar graphs. Further, we show that our algorithm is optimal in terms of the number of bends per edge. © 1999, Brown University. All rights reserved.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Combining logical agents with rapid prototyping for engineering distributed applications

Combining logical agents with rapid prototyping for engineer...

引用

iEEE international Workshop on software Technology and engineering Practice (STEP)

作者： P. Dart Ed. Kazmierczak L. Sterling M. Martelli V. Mascardi F. Zini V.S. Subrahmanian Department of Computer Science & Software Engineering University of Melbourne Parkville Australia D.I.S.I. Università di Genova Genoa Italy Department of Computer Science University of Maryland College Park MD USA

关键词： Prototypes Design engineering Application software Multiagent systems software prototyping computer science software engineering Logic programming Animation software systems

来源：评论

学校读者我要写书评

暂无评论

Environmental issues in industry: Concepts and Case Study

引用

iFAC Proceedings Volumes 1999年第2期32卷 6496-6500页

作者： Ulrich Briefs Ralf Schimweg Ewa Kubisa I.R.S. NL-6061 CD Posterholt Hoofdstr. 34 MA&T Consultancy and Software Krantzstr. 7 D-52070 Aachen Germany Department of Computer Science in Mechanical Engineering (HDZ/IMA) Dennewartstr.27D-52068 Aachen Germany

industrial production is one of the main pollution sources. Modern technology design facilitates the development of “Clean-Technologies”. A shift towards this new paradigm in production in general is needed. information and communication technologies allow an appropriate information management which supports the integration of such ecological criteria into managerial decision-making. in this report, a case study describes the application of such environment-oriented information management: the clustering of production sites as a sustainable network of modem industrial production and services.

关键词： Environmental engineering information technology management systems

来源：评论

学校读者我要写书评

暂无评论

Monitoring and measuring the change‐prediction process at different granularity levels: an empirical study

引用

software Process: improvement and Practice 1998年第1期4卷 3-10页

作者： Mikael Lindvall Applied Software Engineering Laboratory Department of Computer and Information Science Linköping University S-581 83 Linköping Sweden

Monitoring and measuring industrial software processes are necessary for understanding processes and establishing baselines for process improvement. in this paper we monitor and measure the capability of experienced software developers to predict software change caused by new requirements to an existing software system (i.e. impact analysis) at different levels of granularity. The study shows a general underprediction and that the accuracy of the prediction deteriorated with increasing level of detail. The results were non-intuitive for the practitioners participating in the study and therefore important to consider when revising current processes and cost models based on such estimates. The study is a good example of how software industry can co-operate with university researchers in monitoring, measuring and evaluation of current practices. The results will be used by the organization as a baseline for further studies of subsequent releases of the product. Copyright © 1998 John Wiley & Sons, Ltd.

关键词： process monitoring change management impact analysis empirical studies traceability

来源：评论

学校读者我要写书评

暂无评论

The visibility of maintenance in object models: an empirical study

The visibility of maintenance in object models: an empirical...

引用

international Conference on software Maintenance (iCSM)

作者： M. Lindvall M. Runesson Sapient Corporation San Francisco CA USA Applied Software Engineering Lab Department of Computer and Information Science Linköping University Linkoping Sweden

This empirical study analyzes changes in C++ source code which occurred between two releases of an industrial software product and compares them with entities and relations available in object-oriented modeling techniques. The comparison offers increased understanding of what changes can and cannot be described using such object models. The goals were to investigate if the object model in this particular project is either abstract and stable or detailed and sensitive to change, and whether or not changes made to the C++ source code are visible in the object model. Four metrics for characterization of change are formally defined and used, namely correctness, completeness, compliance, and visibility factor. The major finding is that even though many of the classes are changed, the majority of these changes turn out to be invisible in the object model. That is, changes made on the source code level are of a finer granularity than available in common object modeling concepts. This may explain why object models seem to be of little use in release-oriented development.

关键词： Object oriented modeling Cities and towns software systems Telecommunication traffic industrial relations software design Open source software Design methodology Books Radio spectrum management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：