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 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
Sebastian Uchitel, Jeff Kramer, Jeff Magee
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
Nalini Venkatasubramanian, Carolyn Talcott, Gul A. Agha
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...