ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 4 Issue 1, Jan. 1995

Program integration for languages with procedure calls
David Binkley, Susan Horwitz, Thomas Reps
Pages: 3-35
DOI: 10.1145/201055.201056
Given a program Base and two variants, A and B, each created by modifying separate copies of Base, the goal of program integration is to determine whether the modifications interfere, and if they do not, to create an integrated program that...

Software trustability analysis
W. E. Howden, Yudong Huang
Pages: 36-64
DOI: 10.1145/201055.201058
A measure of software dependability called trustability is described. A program p has trustability T if we are at least T confident that p is free of faults. Trustability measurement depends on detectability. The detectability of a method is the...

A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck
Pages: 65-106
DOI: 10.1145/201055.201080
Cats (Concurrency Analysis Tool Suite) is designed to satisfy several criteria: it must analyze implementation-level Ada source code and check user-specified conditions associated with program source code; it must be modularized in a fashion...