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
Luciano Baresi, Mauro Pezzè:
Formal interpreters for diagram notations. 42-84
Ian Sommerville, Jane Ransom:
An empirical study of industrial requirements engineering process assessment and improvement. 85-117

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

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

Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Editorial. 381-382
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
Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett:
The impact of software engineering research on modern programming languages. 431-477
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

Last update Wed May 22 19:08:20 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page