


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














