Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 14 Issue 2, April 2005

Carlo Ghezzi
Pages: 119-123
DOI: 10.1145/1061254.1061255

A scalable formal method for design and automatic checking of user interfaces
Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel
Pages: 124-167
DOI: 10.1145/1061254.1061256
The article addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and actions that constitute dialogs are specified by means of modular,...

Software reuse for scientific computing through program generation
Martin Erwig, Zhe Fu
Pages: 168-198
DOI: 10.1145/1061254.1061257
We present a program-generation approach to address a software-reuse challenge in the area of scientific computing. More specifically, we describe the design of a program generator for the specification of subroutines that can be generic in the...

A comprehensive approach for the development of modular software architecture description languages
André van der Hoek, Eric M. Dashofy, Richard N. Taylor
Pages: 199-245
DOI: 10.1145/1061254.1061258
Research over the past decade has revealed that modeling software architecture at the level of components and connectors is useful in a growing variety of contexts. This has led to the development of a plethora of notations for representing software...

Acknowledgement of referees 2004
ACM Transactions on Software Engineering and Methodology staff
Pages: 246-246
DOI: 10.1145/1061254.1061259