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

Volume 14, Number 1, January 2005

• Ana Milanova, Atanas Rountev, Barbara G. Ryder:
  Parameterized object sensitivity for points-to analysis for Java. 1-41
  Electronic Edition (ACM DL) BibTeX
• Luciano Baresi, Mauro Pezzè:
  Formal interpreters for diagram notations. 42-84
  Electronic Edition (ACM DL) BibTeX
• Ian Sommerville, Jane Ransom:
  An empirical study of industrial requirements engineering process assessment and improvement. 85-117
  Electronic Edition (ACM DL) BibTeX

Volume 14, Number 2, April 2005

• Carlo Ghezzi:
  Editorial. 119-123
  Electronic Edition (ACM DL) BibTeX
• Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro:
  A scalable formal method for design and automatic checking of user interfaces. 124-167
  Electronic Edition (ACM DL) BibTeX
• Martin Erwig, Zhe Fu:
  Software reuse for scientific computing through program generation. 168-198
  Electronic Edition (ACM DL) BibTeX
• Eric M. Dashofy, André van der Hoek, Richard N. Taylor:
  A comprehensive approach for the development of modular software architecture description languages. 199-245
  Electronic Edition (ACM DL) BibTeX

Volume 14, Number 3, July 2005

• Man Fai Lau, Yuen-Tak Yu:
  An extended fault class hierarchy for specification-based testing. 247-276
  Electronic Edition (ACM DL) BibTeX
• Vincenzo Gervasi, Didar Zowghi:
  Reasoning about inconsistencies in natural language requirements. 277-330
  Electronic Edition (ACM DL) BibTeX
• Paul Klint, Ralf Lämmel, Chris Verhoef:
  Toward an engineering discipline for grammarware. 331-380
  Electronic Edition (ACM DL) BibTeX

Volume 14, Number 4, October 2005

• Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
  Editorial. 381-382
  Electronic Edition (ACM DL) BibTeX
• Jacky Estublier, David B. Leblang, André van der Hoek, Reidar Conradi, Geoffrey Clemm, Walter F. Tichy, Darcy Wiborg Weber:
  Impact of software engineering research on the practice of software configuration management. 383-430
  Electronic Edition (ACM DL) BibTeX
• Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett:
  The impact of software engineering research on modern progamming languages. 431-477
  Electronic Edition (ACM DL) BibTeX
• Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum:
  Reasoning about static and dynamic properties in alloy: A purely relational approach. 478-526
  Electronic Edition (ACM DL) BibTeX