Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13 Issue 1, January 2004

Address translation in telecommunication features
Pamela Zave
Pages: 1-36
DOI: 10.1145/1005561.1005562
Address translation causes a wide variety of interactions among telecommunication features. This article begins with a formal model of address translation and its effects, and with principles for understanding how features should interact in the...

Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Jeff Magee, Jeff Kramer, Sebastian Uchitel
Pages: 37-85
DOI: 10.1145/1005561.1005563
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the...

A formal model for reasoning about adaptive QoS-enabled middleware
Gul A. Agha, Carolyn Talcott, Nalini Venkatasubramanian
Pages: 86-147
DOI: 10.1145/1005561.1005564
Systems that provide distributed multimedia services are subject to constant evolution; customizable middleware is required to effectively manage this change. Middleware services for resource management execute concurrently with each other, and with...