enter search term and/or author name
A formal approach for designing CORBA-based applications
Alberto Coen-Porisini, Matteo Pradella, Dino Mandrioli, Matteo Rossi
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
Jurgen J. Vinju, Mark G. J. van den Brand, Paul Klint
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
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
Adriano Valenzano, Luca Durante, Riccardo Sisto
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...