


default search action
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 6
Volume 6, Number 1, January 1997
- Pamela Zave, Michael Jackson:

Four Dark Corners of Requirements Engineering. 1-30 - Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon:

A Graphical Environment for the Design of Concurrent Real-Time Systems. 31-79 - Laura K. Dillon:

Task Dependence and Termination in Ada. 80-110
Volume 6, Number 2, April 1997
- Scott Henninger:

An Evolutionary Approach to Constructing Effective Software Reuse Repositories. 111-140 - Premkumar T. Devanbu, Mark A. Jones:

The Use of Description Logics in KBSE Systems. 141-172 - Gregg Rothermel, Mary Jean Harrold:

A Safe, Efficient Regression Test Selection Technique. 173-210
Volume 6, Number 3, July 1997
- Robert Allen, David Garlan:

A Formal Basis for Architectural Connection. 213-249 - Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun:

Mobile UNITY: Reasoning and Specification in Mobile Computing. 250-282 - Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta:

Assessing Process-Centered Software Engineering Environments. 283-328 - Alexandre Petrenko:

Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". 329-331
Volume 6, Number 4, October 1997
- Amy Moormann Zaremski, Jeannette M. Wing:

Specification Matching of Software Components. 333-369 - Rajiv Gupta

, Mary Lou Soffa, John Howard:
Hybrid Slicing: Integrating Dynamic Information with Static Analysis. 370-397 - Andreas Zeller

, Gregor Snelting:
Unified Versioning Through Feature Logic. 398-441

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














