Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


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

Program integration for languages with procedure calls
Susan Horwitz, Thomas Reps, David Binkley
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
Yudong Huang, W. E. Howden
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
Debra Brodbeck, David L. Levine, Kari A. Nies, Richard N. Taylor, Michal Young
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...