enter search term and/or author name
A scalable formal method for design and automatic checking of user interfaces
Jean Berstel, Stefano Crespi Reghizzi, Gilles Roussel, Pierluigi San Pietro
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
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
Eric M. Dashofy, André van der Hoek, Richard N. Taylor
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