enter search term and/or author name
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
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
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
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...