ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11 Issue 3, July 2002

Temporal abstract classes and virtual temporal specifications for real-time systems

Pages: 291-308
DOI: 10.1145/567793.567794
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
Pages: 309-346
DOI: 10.1145/567793.567795
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
Pages: 347-383
DOI: 10.1145/567793.567796
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...