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 4, October 2005

Alexander Wolf, Jeff Kramer, Carlo Ghezzi, Leon Osterweil
Pages: 381-382
DOI: 10.1145/1101815.1101816

Impact of software engineering research on the practice of software configuration management
André van der Hoek, David Leblang, Reidar Conradi, Walter Tichy, Geoffrey Clemm, Darcy Wiborg-Weber, Jacky Estublier
Pages: 383-430
DOI: 10.1145/1101815.1101817
Software Configuration Management (SCM) is an important discipline in professional software development and maintenance. The importance of SCM has increased as programs have become larger, more long lasting, and more mission and life critical. This...

The impact of software engineering research on modern progamming languages
Barbara G. Ryder, Margaret Burnett, Mary Lou Soffa
Pages: 431-477
DOI: 10.1145/1101815.1101818
Software engineering research and programming language design have enjoyed a symbiotic relationship, with traceable impacts since the 1970s, when these areas were first distinguished from one another. This report documents this relationship by...

Reasoning about static and dynamic properties in alloy: A purely relational approach
Carlos G. López Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Marcelo F. Frias, Thomas S. E. Maibaum
Pages: 478-526
DOI: 10.1145/1101815.1101819
We study a number of restrictions associated with the first-order relational specification language Alloy. The main shortcomings we address are:---the lack of a complete calculus for deduction in Alloy's underlying formalism, the so called relational...