


default search action
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 - Sebastián Uchitel

, Jeff Kramer, Jeff Magee:
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. 37-85 - Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:

A formal model for reasoning about adaptive QoS-enabled middleware. 86-147
Volume 13, Number 2, April 2004
- Tankut Akgul, Vincent John Mooney III:

Assembly instruction level reverse execution for debugging. 149-198 - Alessandro Orso, Saurabh Sinha, Mary Jean Harrold:

Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. 199-239 - Roshanak Roshandel, André van der Hoek, Marija Mikic-Rakic, Nenad Medvidovic:

Mae - a system model and environment for managing architectural evolution. 240-276
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 - Stefan Kramer, Hermann Kaindl

:
Coupling and cohesion metrics for knowledge-based systems using frames and rules. 332-358
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 - Gennaro Costagliola

, Vincenzo Deufemia
, Giuseppe Polese
:
A framework for modeling and implementing visual notations with applications to software engineering. 431-487

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














