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

20th IEEE/ACM International Conference on Automated software engineering, ASE 2005

作者： Betin-Can, Aysu Bultan, Tevfik Lindvall, Mikael Lux, Benjamin Topp, Stefan Computer Science Department University of California Santa Barbara CA 93106 United States Fraunhofer Center for Experimental Software Engineering 4321 Hartwick Road College Park MD 20742 United States

We present an experimental study which demonstrates that model checking techniques can be effective in finding synchronization errors in safety critical software when they are combined with a design for verification approach. We apply the concurrency controller design pattern to the implementation of the synchronization operations in Java programs. This pattern enables a modular verification strategy by decoupling the behaviors of the concurrency controllers from the behaviors of the threads that use them using interfaces specified as finite state machines. The behavior of a concurrency controller can be verified with respect to arbitrary numbers of threads using infinite state model checking techniques, and the threads which use the controller classes can be checked for interface violations using finite state model checking techniques. We present techniques for thread isolation which enables us to analyze each thread in the program separately during interface verification. We conducted an experimental study investigating the effectiveness of the presented design for verification approach on safety critical air traffic control software. In this study, we first reengineered the Tactical Separation Assisted Flight Environment (TSAFE) software using the concurrency controller design pattern. Then, using fault seeding, we created 40 faulty versions of TSAFE and used both infinite and finite state verification techniques for finding the seeded faults. The experimental study demonstrated the effectiveness of the presented modular verification approach and resulted in a classification of faults that can be found using the presented approach. Copyright 2005 ACM.

关键词： Air traffic control

来源：评论

学校读者我要写书评

暂无评论

Generating testable hypotheses from tacit knowledge for high productivity computing

Generating testable hypotheses from tacit knowledge for high...

引用

2nd International Workshop on software engineering for High Performance Computing System Applications, SE-HPCS '05, Co-located with the International Conference on software engineering, ICSE 2005

作者： Asgari, Sima Hochstein, Lorin Basili, Victor Zelkowitz, Marvin Hollingsworth, Jeff Carver, Jeff Shull, Forrest Computer Science Department University of Maryland College Park MD 20742 United States Fraunhofer Center for Experimental Software Engineering College Park MD 20742 United States Mississippi State University Mississippi State MS 39762 United States

ISBN: (纸本)1595931171

In this research, we are developing our understanding of how the high performance computing community develops effective parallel implementations of programs by collecting the folklore within the community. We use this folklore as the basis for a series of experiments, which we expect, will validate or negate these assumptions. © 2005 ACM.

关键词： folklore elicitation high productivity development time experimental studies hypothesis generation tacit knowledge solicitation testable hypotheses

来源：评论

学校读者我要写书评

暂无评论

Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis

Using Visualization to Understand Dependability: A Tool Supp...

引用

Annual IEEE/ NASA Goddard Workshop on software engineering

作者： P. Donzelli D. Hirschbach V. Basili Computer Science Department University of Maryland College Park MD USA Computer Science Department Fraunhofer Center for Experimental Software Engineering University of Maryland College Park MD USA

Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services characteristics and quality properties, failure modes and tolerable failure rates, reactions and recovery time in case of failure, and so on. Visualization helps cope with this complexity. In this paper, we build upon a practical framework for eliciting and modeling dependability requirements to show how graphical data representation can facilitate requirements analysis during the requirements elicitation and definition process. An air traffic control system, adopted as a testbed within the NASA high dependability computing project, is used as a case study

关键词： software engineering Data visualization NASA Failure analysis Educational institutions Air traffic control System testing computer science Information processing Context-aware services

来源：评论

学校读者我要写书评

暂无评论

Towards Reusable Measurement Patterns

Towards Reusable Measurement Patterns

引用

International Symposium on software Metrics

作者： M. Lindvall P. Donzelli S. Asgari V. Basili Fraunhofer Center for Experimental Software Engineering College Park MD USA Computer Science Department University of Maryland College Park MD USA

software measurement programs can help organizations make better decisions regarding their software projects. However, creating and establishing software measurement programs can be both costly and difficult. This paper addresses the problem by focusing on reusability of metrics for software measurement programs through the identification of measurement patterns. We illustrate our work with identifying measurement patterns by providing an extensive and detailed measurement example that is broken down into interdependent building blocks and activities.

关键词： software measurement Time measurement software quality Educational institutions Costs Buildings computer science software engineering Aggregates software design

来源：评论

学校读者我要写书评

暂无评论

Calculating ROI for software product lines (vol 21, pg 23, 2004)

引用

IEEE software 2004年第5期21卷 14-14页

作者： Böckle, G Product Line Engineering Project Leader Siemens Corporate Technology. Senior Member Technical Staff Carnegie Mellon University''s Software Engineering Institute. Associate Professor of Computer Science Clemson University. Department Heal for Software Product Lines Fraunhofer Institute for Experimental Software Engineering. Department Head of Requirement and Usability Engineering Fraunhofer Institute for Experimental Software Engineering

Product line engineering has become an important and widely used approach for efficiently developing portfolios of software products. The idea is to develop a set of products as a single, coherent development task from a core asset base, a collection of artifacts specifically designed for use across a portfolio. This approach produces order-of-magnitude economic improvements compared to one-at-a-time software system development. Because the product line approach isn't limited to specific technical properties of the planned software but rather focuses on economic characteristics, high return on investment has become the anthem of the approach's protagonists. Despite this focus on ROl, most of the economic arguments for the product line community are based on singular data points derived from case studies or on reasonableness and simplistic cost curves. A manager must describe the situations in which the model can be applied. Almost all product line adoption scenarios involve fielding a set of existing or planned products as one or more product lines.

关键词： PRODUCT management PRODUCT lines RATE of return software engineering PORTFOLIO management (Investments) computer software development

来源：评论

学校读者我要写书评

暂无评论

Combination model checking: approach and a case study

Combination model checking: approach and a case study

引用

IEEE International Conference on Automated software engineering (ASE)

作者： Yunja Choi M.P.E. Heimdahl Fraunhofer Institute of Experimental Software Engineering (IESE) Germany Department of Computer Science and Engineering University of Minnesota USA

We present combination model checking approach using a SAT-based bounded model checker together with a BDD-based symbolic model checker to provide a more efficient counter example generation process. We provide this capability without compromising the verification capability of the symbolic model checker. The basic idea is to use the symbolic model checker to determine whether or not a property holds in the model. If the property holds, we are done. If it does not, we preempt the counterexample generation and use the SAT-based model checker for this purpose. An application of the combination approach to a version of a Flight Guidance System (FGS) from Rockwell Collins, Inc. shows huge performance gain when checking a collection of several hundred properties.

关键词： computer aided software engineering Counting circuits Data structures Boolean functions software engineering NASA computer science Performance gain Usability Acceleration

来源：评论

学校读者我要写书评

暂无评论

Issues in using students in empirical studies in software engineering education

Issues in using students in empirical studies in software en...

引用

International Symposium on software Metrics

作者： J. Carver L. Jaccheri S. Morasca F. Shull Experimental Software Engineering Group Department of Computer Science University of Maryland College Park MD USA Department of Computer and Information Science Norwegian University of Science and Technology Trondheim Norway Dipartimento di Scienze Chimiche Fisiche e Matematiche Universitàdegli Studi dell E28099Insubria Como Italy Fraunhofer Center for Experimental Software Engineering MD

Several empirical studies have been carried out with college students as subjects in the last few years. Researchers often use these studies to pilot experiments before they are carried out in industrial environments. Reports on these studies usually focus on the results obtained and issues such as their external validity. However, the effects and value of empirical studies with students may go beyond the contribution to scientific literature. For instance, the pedagogical challenges and value of these studies is hardly ever stressed. We identify four primary actors that are involved in these empirical studies, i.e., researchers, students, instructors, and industry. We discuss the costs and benefits of empirical studies with students for these actors, which are different because of the actors' different goals, expectations, and constraints, which must be recognized to fully exploit empirical studies with students. We also provide some advice on how to carry out empirical studies with students based on our experiences.

关键词： software engineering Educational institutions software quality Solids software measurement software tools Proposals computer science education computer science Information science

来源：评论

学校读者我要写书评

暂无评论

Observational studies to accelerate process experience in classroom studies: an evaluation

Observational studies to accelerate process experience in cl...

引用

International Symposium on Empirical software engineering (ISESE)

作者： J. Carver F. Shull V. Basili Department of Computer Science University of Maryland USA Fraunhofer Center for Experimental Software Engineering MD USA

software engineering studies run in classroom environments can and have made important contributions to empirical software engineering. Because the goal of such studies is to improve the state of the practice in industry, researchers must understand and account for the differences between university students and industrial professionals. One major difference identified is the amount of training and practice that students and professional may have when learning a new technique. We propose and test a method of allowing university subjects to cost-effectively gain experience to compensate for this difference. The results show that the proposed method for gaining experience provided subjects with enough experience to improve their effectiveness in some but not all cases. There was also an indication from the results that the proposed method allowed the subjects to become more comfortable with a new technique.

关键词： Acceleration software engineering Industrial training Inspection computer science software quality Programming software measurement Testing Image analysis

来源：评论

学校读者我要写书评

暂无评论

Diagnosing architectural degeneration

Diagnosing architectural degeneration

引用

Annual IEEE/ NASA Goddard Workshop on software engineering

作者： L. Hochstein M. Lindvall Department of Computer Science University of Maryland USA Experimental Software Engineering Fraunhofer Center MD USA

software systems evolve over time and undergo changes that can lead to a degeneration of the systems' architecture. Degeneration may eventually reach a level where a complete redesign of the software system is necessary, which is a task that requires significant effort. In this paper, we start by presenting examples of such degeneration and continue with an analysis of technologies that can be used to diagnose degeneration. These technologies can be employed in identifying, degeneration so that it can be treated as early as possible, before it is too late and the system has to undergo a costly redesign.

关键词： computer architecture software systems software engineering Open source software Programming profession software maintenance computer science computer industry Delay Telecommunications

来源：评论

学校读者我要写书评

暂无评论

GUI ripping: reverse engineering of graphical user interfaces for testing

GUI ripping: reverse engineering of graphical user interface...

引用

Working Conference on Reverse engineering

作者： A. Memon I. Banerjee A. Nagarajan Department of Computer Science and Fraunhofer Center for Experimental Software Engineering University of Maryland College Park MD USA Department of Computer Science University of Maryland College Park MD USA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：