ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13

Volume 13, Number 1, January 2004

• Pamela Zave:
  Address translation in telecommunication features. 1-36
  Electronic Edition (ACM DL) BibTeX
• Sebastián Uchitel, Jeff Kramer, Jeff Magee:
  Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. 37-85
  Electronic Edition (ACM DL) BibTeX
• Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:
  A formal model for reasoning about adaptive QoS-enabled middleware. 86-147
  Electronic Edition (ACM DL) BibTeX

Volume 13, Number 2, April 2004

• Tankut Akgul, Vincent John Mooney III:
  Assembly instruction level reverse execution for debugging. 149-198
  Electronic Edition (ACM DL) BibTeX
• Alessandro Orso, Saurabh Sinha, Mary Jean Harrold:
  Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. 199-239
  Electronic Edition (ACM DL) BibTeX
• Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic:
  Mae - a system model and environment for managing architectural evolution. 240-276
  Electronic Edition (ACM DL) BibTeX

Volume 13, Number 3, July 2004

• Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Xuemei Qiu:
  On test suite composition and cost-effective regression testing. 277-331
  Electronic Edition (ACM DL) BibTeX
• Stefan Kramer, Hermann Kaindl:
  Coupling and cohesion metrics for knowledge-based systems using frames and rules. 332-358
  Electronic Edition (ACM DL) BibTeX

Volume 13, Number 4, October 2004

• Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich:
  Flow analysis for verifying properties of concurrent software systems. 359-430
  Electronic Edition (ACM DL) BibTeX
• Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese:
  A framework for modeling and implementing visual notations with applications to software engineering. 431-487
  Electronic Edition (ACM DL) BibTeX