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

The MultiMedia maintenance management (M4) system

International Conference on Computational Science, ICCS 2001

作者： McCrindle, Rachel J. Applied Software Engineering Research Group Department of Computer Science University of Reading PO Box 225 Reading Berkshire RG6 6AY United Kingdom

ISBN: (纸本)3540422331

Although adoption of a software process model or method can realise significant benefits, there is generally a need to provide a level of computerised support if it is to be usefully applied to large real-world systems. This is particularly true in relation to the software maintenance discipline, where many of the problems to date have typically arisen from deficiencies in recording and being able to easily access any knowledge regained about a system during maintenance. The MultiMedia Maintenance Management (M4) system has been designed and prototyped as a meta-CASE framework in order to promote maximum process flexibility and product extensibility. As such, a variety of bespoke or host-resident tools for activities such as process management, information reclamation and documentation, configuration management, risk assessment etc. may be plugged into the M4 system and activated through a universal front-end. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Interpreting Abstract Interpretations in Membership Equational Logic

引用

Electronic Notes in Theoretical computer Science 2001年第4期59卷 271-285页

作者： Bernd Fischer Grigore Roşu Research Institute for Advanced Computer Science Automated Software Engineering Group NASA Ames Research Center Moffett Field California 94035 USA

We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations “for free.” Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks an abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specific loss of information during abstraction, and to compare different abstractions with each other.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Collaboration-based design of sdl systems 1

引用

10th International Specification and Description Language Forum, SDL 2001

作者： Roessler, Frank Geppert, Birgit Gotzhein, Reinhard Avaya Inc Software Technology Research 600-700 Mountain Ave. P.O. Box 636 Murray HillNJ07974-0636 United States Computer Networks Group Computer Science Department University of Kaiserslautern P.O. Box 3049 KaiserslauternD-67653 Germany

ISBN: (数字)9783540482130

ISBN: (纸本)3540422811

The concept of collaborations capturing dynamic aspects of a distributed system across agent boundaries is elaborated in the context of SDL-2000. Several ways of composing collaborations are introduced, with collaborations being implicitly represented as SDL fragments. A new language for their explicit formal description, called CoSDL (Collaborations in SDL systems) is then introduced and illustrated. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Making movies: Watching software evolve through visualisation

引用

International Conference on Computational Science, ICCS 2001

作者： Cain, James Westland McCrindle, Rachel Jane Quantel Limited Turnpike Road Newbury BerkshireRG14 2NE United Kingdom Applied Software Engineering Research Group Department of Computer Science University of Reading Whiteknights PO Box 225 Reading BerkshireRG6 6AY United Kingdom

ISBN: (纸本)3540422331

This paper introduces an innovative visualisation technique for exposing the software defects that develop as a software project evolves. The application of this technique to a large-scale industrial software project is described together with the way in which the technique was modified to enable integration with the software configuration management process. The paper shows how a number of forces acting on the project can be equated to changes in the visualisations and how this can be used as a measure of the quality of the software. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

The influence of proportional jitter and delay on end to end delay in differentiated service network

The influence of proportional jitter and delay on end to end...

引用

IEEE International Symposium on Network Computing and Applications, NCA 2001

作者： Quynh, Thu Ngo Karl, H. Wolisz, A. Rebensburg, K. Interdepartmental Research Center for Networking and Multimedia Technology PRZ/FSP-PV/TUBKOM Technical University of Berlin Strasse des 17. Juni 136 Berlin Germany Telecommunication Networks Group Department of Electrical Engineering and Computer Science Technical University of Berlin Strasse des 17. Juni 136 Berlin Germany

ISBN: (纸本)0769514324

There exist some studies in proportional scheduling algorithms for differentiated service networks which schedule the packets between different classes proportionally based on certain metrics, such as bandwidth, loss and delay. In this paper, the behaviors of RJPS (Relative Jitter Packet Scheduler) and another proportional delay scheduler (WTP), as well as its influence on the playout buffer, which uses the Concord delay adjustment algorithm, are examined. Our simulations show that RJPS is more convergent and produces a smaller delay than WTP via the same network with the same loss rate. Finally, we propose a network using both RJPS and WTP for minimizing the network delay of each class. © 2001 IEEE.

关键词： delay Differentiated Service jitter proportional scheduling

来源：评论

学校读者我要写书评

暂无评论

Certifying domain-specific policies 01

Certifying domain-specific policies

引用

IEEE International Conference on Automated software engineering (ASE)

作者： M. Lowry T. Pressburger G. Rosu Automated Software Engineering Group NASA Ames Research Center Moffett Field CA USA Research Institute for Advanced Computer Science NASA Ames Research Center Moffett Field CA USA

ISBN: (纸本)076951426X

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain-specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated. Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

关键词： Logic programming Equations software safety computer languages Aerospace safety Product safety Certification software engineering computer science NASA

来源：评论

学校读者我要写书评

暂无评论

The influence of proportional jitter and delay on end to end delay in differentiated service network

The influence of proportional jitter and delay on end to end...

引用

IEEE International Symposium on Network Computing and Applications

作者： Thu Ngo Quynh H. Karl A. Wolisz K. Rebensburg Interdepartmental Research Center for Networking and Multimedia Technology PRZ FSP-PV TUBKOM Technical University Berlin Berlin Germany Telecommunication Networks Group Department of Electrical Engineering and Computer Science Technical University Berlin Berlin Germany

ISBN: (纸本)0769514324

关键词： Jitter Intelligent networks Diffserv networks Scheduling algorithm Processor scheduling Delay estimation Computational modeling Bandwidth Business process re-engineering Network topology

来源：评论

学校读者我要写书评

暂无评论

A TV program generation system using digest video scenes and a scripting markup language

A TV program generation system using digest video scenes and...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： Y. Shirota T. Hashimoto A. Nadamoto T. Hattori A. Iizawa K. Tanaka K. Sumiya Software Research Center Imaging System Business Group Ricoh Company Limited Japan Division of Information and Media Science Graduate School of Science and Technology Kobe University Japan Department of Computer and Systems Engineering Graduate School of Science and Technology Kobe University Japan Division of Urban Information Systems Research Center for Urban Safety and Security Kobe University Japan

ISBN: (纸本)0769509819

This paper describes a TV program generation system using digest video scenes that are retrieved from video streams with the program indexes. The key features of the system are: (1) TV programs can be dynamically generated from digest video scenes selected by user preference. (2) Directions can be added using a happiness or sadness level based on the user preferences. (3) Personalized TV programs for an individual viewer can be made. The procedures taken by the system are as follows: (1) Conjunctive expressions between scenes are automatically generated; (2) Emotional expressions are automatically generated by user preference; (3) TV program metaphors are defined; (4) Direction templates corresponding to the metaphors are defined; (5) These expressions and definitions are coded using a markup language, and (6) Contents such as virtual characters and movies are synchronized. The resultant program can be shown on a TV set.

关键词： Layout Markup languages TV broadcasting Satellite broadcasting Information retrieval Broadcast technology Digital TV Companies Streaming media Character generation

来源：评论

学校读者我要写书评

暂无评论

Measuring technology effects on software change cost

引用

BELL LABS TECHNICAL JOURNAL 2000年第2期5卷 7-18页

作者： Atkins, DL Mockus, A Siy, HP Software Production Research Department Bell Labs Eugene Oregon Software Production Research Department Bell Labs Naperville Illinois Switching Architecture Performance and Engineering Department Lucent's Service Provider Networks Group Naperville Illinois

We describe a methodology for precise quantitative measurement of technology impact on software change effort. The methodology employs measures of small software changes to determine the effect of technology. We illustrate this approach in a detailed case study on the impact of using two particular technologies-a version-sensitive source code editor and a domain-engineered application environment-in a telecommunications product In both cases, the change effort was reduced. The methodology can precisely measure cost savings in change effort and is simple and inexpensive, since it relies on information automatically collected by Version control systems.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Deriving quantified safety requirements in complex systems 19th

Deriving quantified safety requirements in complex systems

引用

19th International Conference on computer Safety, Reliability and Security, SAFECOMP 2000

作者： Lindsay, Peter A. McDermid, John A. Tombs, David J. Software Verification Research Centre University of Queensland Australia High Integrity Systems Engineering Group Dept of Computer Science University of York United Kingdom

ISBN: (纸本)3540411860

A variety of hazard analysis techniques have been proposed for software-based systems but individually the techniques are limited in their ability to cope with system complexity, or to derive and prioritise component safety requirements. There is also confusion in practice about whether the techniques are being used to assess risk or to assign targets. This paper proposes a way of integrating hazard analysis techniques to solve these problems. The resulting process enables functional safety requirements to be derived for logically complex components such as software, together with target (maximum acceptable) failure rates. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：