Results 1 - 10 of 2,818

Discovering Models of Software Processes from Event-Based Data

by Jonathan E. Cook, Alexander L. Wolf - ACM Transactions on Software Engineering and Methodology , 1998
"... this article we describe a Markov method that we developed specifically for process discovery, as well as describe two additional methods that we adopted from other domains and augmented for our purposes. The three methods range from the purely algorithmic to the purely statistical. We compare the m ..."
Abstract - Cited by 321 (8 self) - Add to MetaCart
the methods and discuss their application in an industrial case study.

Dataflow Process Networks

by Edward A. Lee, Thomas Parks - Proceedings of the IEEE , 1995
"... We review a model of computation used in industrial practice in signal processing software environments and experimentally in other contexts. We give this model the name "dataflow process networks," and study its formal properties as well as its utility as a basis for programming language ..."
Abstract - Cited by 325 (32 self) - Add to MetaCart
We review a model of computation used in industrial practice in signal processing software environments and experimentally in other contexts. We give this model the name "dataflow process networks," and study its formal properties as well as its utility as a basis for programming language

Scalable statistical bug isolation

by Ben Liblit, Alex Aiken, Mayur Naik, Alice X. Zheng - In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation , 2005
"... We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correlate with program failure perform poorly when there are multiple bugs. Our new technique separates th ..."
Abstract - Cited by 304 (14 self) - Add to MetaCart
studies, including examples in which the algorithm identified previously unknown, significant crashing bugs in widely used systems. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification—statistical methods; D.2.5

Evolution in open source software: A case study

by Michael W. Godfrey, Qiang Tu - In Proc. of the 2000 IEEE Intl. Conference on Software Maintenance, ICSM ’00 , 2000
"... Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of several large software systems that have been developed using an “open source ” development approach, we now have a chance ..."
Abstract - Cited by 228 (20 self) - Add to MetaCart
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of several large software systems that have been developed using an “open source ” development approach, we now have a chance

Quantitative Analysis of Faults and Failures in a Complex Software System

by Norman E Fenton, Niclas Ohlsson - IEEE Transactions on Software Engineering , 2000
"... The dearth of published empirical data on major industrial systems has been one of the reasons that software engineering has failed to establish a proper scientific basis. In this paper we hope to provide a small contribution to the body of empirical knowledge. We describe a number of results from a ..."
Abstract - Cited by 208 (6 self) - Add to MetaCart
The dearth of published empirical data on major industrial systems has been one of the reasons that software engineering has failed to establish a proper scientific basis. In this paper we hope to provide a small contribution to the body of empirical knowledge. We describe a number of results from

Concern Graphs: Finding and Describing Concerns

by Martin P. Robillard, Gail C. Murphy , 2002
"... Many maintenance tasks address concerns, or features, that are not well modularized in the source code comprising a system. Existing approaches available to help software developers locate and manage scattered concerns use a representation based on lines of source code, complicating the analysis of ..."
Abstract - Cited by 209 (14 self) - Add to MetaCart
of that concern to the code base. We have used this tool to find and describe concerns related to software change tasks. We have performed case studies to evaluate the feasibility, usability, and scalability of the approach. Our results indicate that Concern Graphs can be used to document a concern for change

Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . .

by Steven P. Miller , 1995
"... This paper describes the experiences of Collins Commercial Avionics and SRI International in formally specifying and verifying the microcode for the AAMP5 microprocessor with the PVS verification system. This project was conducted to determine if an industrial microprocessor designed for use in real ..."
Abstract - Cited by 66 (1 self) - Add to MetaCart
of this size and the implications for using formal methods in an industrial setting. Keywords: Formal Methods, Formal Specification, Formal Verification, Microprocessor Verification, Microcode Verification, Hardware Verification, High Integrity Systems, Safety Critical Systems, PVS #### Software and digital

Formal Verification in an Industrial Context

by Carsten Sinz , 2002
"... We present two case studies employing formal verification in an industrial con-text. Our first example deals with product configuration for the automotive indus-try, the second one examines a rule-based expert system controlling IBM’s high-availability System Automation software. We identify common ..."
Abstract - Add to MetaCart
We present two case studies employing formal verification in an industrial con-text. Our first example deals with product configuration for the automotive indus-try, the second one examines a rule-based expert system controlling IBM’s high-availability System Automation software. We identify common

Agent-Based Distributed Software Verification

by Chris Hunter, Peter Robinson, Paul Strooper
"... Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem

Reuse of proofs in software verification

by Wolfgang Reif, Kurt Stenzel - Foundations of Software Technology and Theoretical Computer Science , 1993
"... This paper presents a method for automated reuse of proofs in software verication. Proofs about programs as well as proof attempts are used to guide the verification of modified programs, particularly of program corrections. We illustrate the phenomenon of reusability, present an evolutionary verifi ..."
Abstract - Cited by 21 (6 self) - Add to MetaCart
verification process model and discuss theoretical and technical aspects. Finally, we report on case studies with an implementation of this method in the Karlsruhe Interactive Verifier (KIV).
Results 1 - 10 of 2,818