Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 15 Issue 4, October 2006

Wrapper-based evolution of legacy information systems
Jean-Luc Hainaut, Philippe Thiran, Djamal Benslimane, Geert-Jan Houben
Pages: 329-359
DOI: 10.1145/1178625.1178626
System evolution most often implies the integration of legacy components, such as databases, with newly developed ones, leading to mixed architectures that suffer from severe heterogeneity problems. For instance, incorporating a new program in a...

Process modeling in Web applications
Ioana Manolescu, Marco Brambilla, Stefano Ceri, Piero Fraternali
Pages: 360-409
DOI: 10.1145/1178625.1178627
While Web applications evolve towards ubiquitous, enterprise-wide or multienterprise information systems, they face new requirements, such as the capability of managing complex processes spanning multiple users and organizations, by interconnecting...

Efficient path conditions in dependence graphs for software safety analysis
Torsten Robschink, Jens Krinke, Gregor Snelting
Pages: 410-457
DOI: 10.1145/1178625.1178628
A new method for software safety analysis is presented which uses program slicing and constraint solving to construct and analyze path conditions, conditions defined on a program's input variables which must hold for information flow between...