default search action
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 14
Volume 14, Number 1, January 2005
- Ana L. 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
Volume 14, Number 2, April 2005
- 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
Volume 14, Number 3, July 2005
- 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
Volume 14, Number 4, October 2005
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.