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 12 Issue 2, April 2003

A formal approach for designing CORBA-based applications
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
Pages: 107-151
DOI: 10.1145/941566.941567
The design of distributed applications in a CORBA-based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high-level architectural design. This article discusses a methodology to...

Term rewriting with traversal functions
Mark G. J. van den Brand, Paul Klint, Jurgen J. Vinju
Pages: 152-190
DOI: 10.1145/941566.941568
Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting. We extend many-sorted, first-order term rewriting with...

Static analysis to support the evolution of exception structure in object-oriented systems
Martin P. Robillard, Gail C. Murphy
Pages: 191-221
DOI: 10.1145/941566.941569
Exception-handling mechanisms in modern programming languages provide a means to help software developers build robust applications by separating the normal control flow of a program from the control flow of the program under exceptional situations....

Automatic testing equivalence verification of spi calculus specifications
Luca Durante, Riccardo Sisto, Adriano Valenzano
Pages: 222-284
DOI: 10.1145/941566.941570
Testing equivalence is a powerful means for expressing the security properties of cryptographic protocols, but its formal verification is a difficult task because of the quantification over contexts on which it is based. Previous articles have...