ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 14 Issue 4, October 2005

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

Impact of software engineering research on the practice of software configuration management
Jacky Estublier, David Leblang, André van der Hoek, Reidar Conradi, Geoffrey Clemm, Walter Tichy, Darcy Wiborg-Weber
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, Mary Lou Soffa, Margaret Burnett
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
Marcelo F. Frias, Carlos G. López Pombo, Gabriel A. Baum, Nazareno M. Aguirre, 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...