enter search term and/or author name
Temporal abstract classes and virtual temporal specifications for real-time systems
The design and development of real-time systems is often a difficult and time-consuming task. System realization has become increasingly difficult due to the proliferation of larger and more complex applications. To offset some of these difficulties,...
Two case studies of open source software development: Apache and Mozilla
Audris Mockus, Roy T. Fielding, James D. Herbsleb
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial development methods. In order to begin investigating such claims, we examine data...
Equivalence analysis and its application in improving the efficiency of program slicing
Donglin Liang, Mary Jean Harrold
Existing methods for handling pointer variables during dataflow analyses can make such analyses inefficient in both time and space because the data-flow analyses must store and propagate large sets of data facts that are introduced by dereferences of...