Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


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

The STATEMATE semantics of statecharts
David Harel, Amnon Naamad
Pages: 293-333
DOI: 10.1145/235321.235322
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in...

Context constraints for compositional reachability analysis
Shing Chi Cheung, Jeff Kramer
Pages: 334-377
DOI: 10.1145/235321.235323
Behavior analysis of complex distributed systems has led to the search for enhanced reachability analysis techniques which support modularity and which control the state explosion problem. While modularity has been achieved, state explosion in...

A framework for event-based software integration
Daniel J. Barrett, Lori A. Clarke, Peri L. Tarr, Alexander E. Wise
Pages: 378-421
DOI: 10.1145/235321.235324
Although event-based software integration is one of the most prevalent approaches to loose integration, no consistent model for describing it exists. As a result, there is no uniform way to discuss event-based integration, compare approaches and...

Author Index
Author Index
Pages: 422-423
DOI: 10.1145/235321.237495