Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


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

The design and implementation of hierarchical software systems with reusable components
Don Batory, Sean O'Malley
Pages: 355-398
DOI: 10.1145/136586.136587
We present a domain-independent model of hierarchical software system design and construction that is based on interchangeable software components and large-scale reuse. The model unifies the conceptualizations of two independent projects,...

On statecharts with overlapping
David Harel, Chaim-arie Kahana
Pages: 399-421
DOI: 10.1145/136586.136589
The problem of extending the language of statecharts to include overlapping states is considered. The need for such an extension is motivated and the subtlety of the problem is illustrated by exhibiting the shortcomings of naive approaches. The...

Detection of linear errors via domain testing
Steven J. Zeil, Faten H. Afifi, Lee J. White
Pages: 422-451
DOI: 10.1145/136586.136590
Domain testing attempts to find errors in the numeric expressions affecting the flow of control through a program. Intuitively, domain testing provides a systematic form of boundary value testing for the conditional statements within a program....