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

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Xiaoping Jia S. Skevoulis Division of Software Engineering School of Computer Science Telecommunication and Information Systems De Paul University Chicago IL USA

This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carries out the static analysis of Java code automatically. Our approach can detect potential bugs and report them before the program is executed. For a Java class, invariants related to the category of error under examination are automatically generated and used to assess the validity of variable usage in the implementation of this class. Our approach is distinctive in its emphasis to provide a practical generic mechanism for error detection that is capable of addressing error detection for a variety of error categories via a web of specialized components. A research prototype has been developed that demonstrates the feasibility and effectiveness of our approach.

关键词： Runtime Java computer errors computer bugs Prototypes computer science Information analysis software engineering Information systems Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Detecting null pointer violations in Java programs

Detecting null pointer violations in Java programs

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Xiaoping Jia S. Sawant J. Zhou S. Skevoulis Division of Software Engineering School of Computer Science Telecommunication and Information Systems De Paul University Chicago IL USA

The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that quality should be assured by applying testing, analysis and formal methods to rigorously defined precode artifacts. The detection of null pointer violation errors is definitely such a goal. This way of applying formal methods has a great potential to increase our confidence in the software. Our goal is to provide a practical mechanism to assist the application of formal methods in the early detection of null pointer violation errors in programs. Our solution is theorem proving based and is focused on the identification of the possible places in which a theorem prover could assist in the detection of null pointer violation errors and the formulation of the necessary proof obligations.

关键词： Java computer bugs Application software computer languages software engineering computer science Information systems Testing Runtime Program processors

来源：评论

学校读者我要写书评

暂无评论

An Efficient Method for Version Control of a Tree Data Structure

引用

software: Practice and Experience 1999年第7期27卷

作者： ESTHER JINEE CHOI YONG RAE KWON Software Engineering Division System Engineering Research Institute P.O. Box 1 Yusong-gu Taejon 305-333 Korea Department of Computer Science Korea Advanced Institute of Science and Technology (KAIST) Korea

A new method for version controlling of a tree structure is presented. The key feature of the method is that the latest state of a tree is retained and other versions are constructed from it on request, and information on the change history of a node is maintaind in its parent node. Several algorithms for efficient manipulation of the tree have been developed, and it has been demonstrated that they correctly manipulate the tree. The performance of these algorithms has been compared with those of other tree-based methods, and found to be nearly optimal in all aspects of the comparison. © 1997 John Wiley & Sons, Ltd.

关键词： tree structure change management history version control

来源：评论

学校读者我要写书评

暂无评论

Code synthesis based on object-oriented design models and formal specifications

Code synthesis based on object-oriented design models and fo...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Xiaoping Jia S. Skevoulis Division of Software Engineering School of Computer Science Telecommunication and Information Systems De Paul University Chicago IL USA

Presents an approach to synthesizing functional and robust code from object-oriented design models and Z data and operation specifications. The approach used is based on an integrated notation of the Unified Modeling Language (UML) and a slightly extended Z notation to include object-oriented concepts and structures. Our approach generates fully functional code which can be compiled and executed without modifications. The information from object-oriented analysis and design models along with the formal specifications are combined, analyzed and translated into an intermediate representation from which code can be generated. A research prototype has been developed to demonstrate the feasibility and the effectiveness of our approach.

关键词： Formal specifications Object oriented modeling Animation Unified modeling language Synthesizers Performance analysis Prototypes Robustness Information analysis Programming

来源：评论

学校读者我要写书评

暂无评论

Load adjustment and filtering based on process criticality

Load adjustment and filtering based on process criticality

引用

IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)

作者： Tei-Wei Kuo Shie-Kai Ni Giun-Haur Huang Real Time Systems Laboratory Department of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan Department of New Technology Development Platform Software Division Acer Incorporated Taipei Taiwan System Software Laboratory Institute for Information Industry Taipei Taiwan

ISBN: (纸本)081869209X

This paper generalizes the load scaling techniques proposed in (Kuo and Mok, 1991) for fixed-priority real-time applications. A framework is proposed to adjust the system workload by relating the criticality and flexibility of a process to the resource allocation problem. A load adjustment procedure based on the approximation algorithm (Ni et al., 1997) is proposed to maximize the system profit in an on-line fashion. When the list of allowable configurations is implicitly given by scalable periodic processes, the corresponding load filtering problem is shown to be NP-complete. We also prove the upper bound of the system profit and provide a mechanism to balance the schedulability and the maximum profit of the system.

关键词： Filtering Resource management Job shop scheduling Timing Real time systems Approximation algorithms Upper bound Laboratories Frequency computer science

来源：评论

学校读者我要写书评

暂无评论

Metabolic pathway interface to molecular biology databases

Metabolic pathway interface to molecular biology databases

引用

International Working Conference on Scientific and Statistical Database Management

作者： B. Zeeberg K. Watanabe S. Goto R. Overbeek L. Kerschberg G. Michaels Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University USA Institute for Computational Science and Informatics and Westat George Mason University Institute for Chemical Research Kyoto University Division of Mathematics and Computer Sciences Argonne National Laboratory Information and Software Systems Engineering George Mason University Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University

We present results of providing database support to biomedicine via federation of SDB Cooperation/Integration based upon the KEGG GUI for molecular biology. The federation provides a common link to three molecular biology databases. The added value of the federation is freedom from consulting multiple references to ascertain the full set of enzymatic reactions in a metabolic pathway, and the option of selecting multiple queries to submit to the federated SDBs. Each of the SDBs is extensive, but incomplete. The union of the SDBs, implemented transparently by the federation, is more complete. Each SDB provides a different approach to the options available for data presentation and a different set of Web server tools for data analysis. Thus, an important part of the added value of the federation is the cross-fertilization available in the union of the molecular biological content, the presentation of data, and the tools available for analysis.

关键词： Biology computing Spatial databases Sequences Informatics Bioinformatics Biotechnology Biomedical computing Web server Chemical engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL science 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

Interview with Takashi Sano

引用

Journal of software: Evolution and Process 1998年第4期9卷

作者： Takashi Sano Wei-Tek Tsai Sanjai Rayadurgam Software Factory Department SE Technical Service and Support Division Fujitsu Limited 9-3 Nakase 1-chome Mihama-ku Chiba-city Chiba 261 Japan Software Engineering Laboratory Department of Computer Science University of Minnesota Minneapolis MN 55455 U.S.A.

In this interview, Takashi Sano reviews the origin and history of the year 2000 problem in Japan, and summarizes its status in Japan as of late 1996. He presents a way for software vendors to make this problem known to the software community because the problem is very serious, with far reaching impacts on an organization's economics, demand for talent and workforce scheduling. Then, he discusses the core techniques used at Fujitsu to tackle the year 2000 problem when a re-engineering approach is used. Finally, he provides an overview of a relevant software tool developed by Fujitsu. © 1997 John Wiley & Sons, Ltd.

关键词： year 2000 readiness Japanese maintenance Japanese software engineering re-engineering software tools software maintenance

来源：评论

学校读者我要写书评

暂无评论

Services supporting management of distributed applications and systems

引用

IBM Systems Journal 1997年第4期36卷 508-525页

作者： Bauer, M.A. Bunt, R.B. El Rayess, A. Finnigan, P.J. Kunz, T. Lutfiyya, H.L. Marshall, A.D. Martin, P. Oster, G.M. Powley, W. Rolia, J. Taylor, D. Woodside, M. Middlesex College Department of Computer Science University of Western Ontario London ONT Canada Department of Computer Science University of Saskatchewan Saskatoon SAS Canada IBM Software Solutions Division Toronto Laboratory North York ONT Canada Department of Computer Science University of Waterloo Waterloo ONT Canada Department of Computer Science Middlesex College University of Western Ontario London ONT Canada Department of Computer Science Middlesex College University of Western Ontario London ONT Canada Department of Computing and Information Science Queen''s University Kingston ONT Canada Department of Systems and Computer Engineering Carleton University Ottawa ONT Canada Department of Systems and Computer Engineering Carleton University Ottawa Canada

A distributed computing system consists of heterogeneous computing devices, communication networks, operating system services, and applications. As organisations move toward distributed computing environments, there will be a corresponding growth in distributed applications central to the enterprise. The design, development, and management of distributed applications presents many difficult challenges. As these systems grow to hundreds or even thousands of devices and similar or greater magnitude of software components, it will become increasingly difficult to manage them without appropriate support tools and frameworks. Further, the design and deployment of additional applications and services will be, at best, ad hoc without modelling tools and timely data on which to base design and configuration decisions. This paper presents a framework for management of distributed applications and systems. The framework is based on a set of common management services that support management activities. The services include monitoring, control, configuration, and data repository services. A prototype system built on the framework is described that implements and integrates management applications providing visualisation, fault location, performance monitoring and modelling, and configuration management. The prototype also demonstrates how various management services can be implemented.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Automatic verification of requirement specifications

Automatic verification of requirement specifications

引用

Australian and New Zealand Conference on Intelligent Information Systems

作者： Gi-Hwon Kwon Cheol-Joo Jeong Yeon-Dae Chung Department of Computer Science Kyonggi University Suwon Gyeonggi South Korea Software Engineering Division Systems Engineering Research Institute Daejeon South Korea

ISBN: (纸本)0818682183

Use of formal specification does not a priori guarantee correctness. So far a number of animation approaches have been used for validating formal specification correctness. However, they require complex validation procedures and exhaustive testing and have some intrinsic limitations. On the other hand, formal specification can be validated by showing that certain properties are logical consequences of the specification, which is called formal reasoning or verification. Tool support, in particular an automated theorem prover, is needed for this task. We discuss some experiences in formal specification validation with the automated theorem prover.

关键词： Formal specifications Animation Testing software engineering computer languages computer science Abstracts Natural languages Costs Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：