default search action
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 4
Volume 4, Number 1, January 1995
- David W. Binkley, Susan Horwitz, Thomas W. Reps:
Program Integration for Languages with Procedure Calls. 3-35 - William E. Howden, Yudong Huang:
Software Trustability Analysis. 36-64 - Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck:
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. 65-106
Volume 4, Number 2, April 1995
- Daniel Jackson:
Aspect: Detecting Bugs with Abstract Dependences. 109-145 - Amy Moormann Zaremski, Jeannette M. Wing:
Signature Matching: A Tool for Using Software Libraries. 146-170 - Mauro Pezzè, Richard N. Taylor, Michal Young:
Graph Models for Reachability of Concurrent Programs. 171-213 - Bevin R. Brett:
Comments on "The Cost of Selective Recompilation and Environment Processing". 214-215 - Rolf Adams, Walter F. Tichy, Annette Weinert:
Authors' Response. 217-219
Volume 4, Number 3, July 1995
- Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil:
APPL/A: A Language for Software Process Programming. 221-286 - H. Rebecca Callison:
A Time-Sensitive Object Model for Real-Time Systems. 287-317
Volume 4, Number 4, October 1995
- Gregory D. Abowd, Robert Allen, David Garlan:
Formalizing Style to Understand Descriptions of Software Architecture. 319-364 - Daniel Jackson:
Structuring Z Specifications with Views. 365-389
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.