Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 12 Issue 1, January 2003

Jeffrey N Magee, Dieter Rombach, Carlo Ghezzi, Mary Lou Soffa
Pages: 1-2
DOI: 10.1145/839268.839269

Feature specification and automated conflict detection
Kedar S. Namjoshi, Amy P. Felty
Pages: 3-27
DOI: 10.1145/839268.839270
Large software systems, especially in the telecommunications field, are often specified as a collection of features. We present a formal specification language for describing features, and a method of automatically detecting conflicts ("undesirable...

Flexible consistency checking
Christian Nentwich, Wolfgang Emmerich, Anthony Finkelsteiin, Ernst Ellmer
Pages: 28-63
DOI: 10.1145/839268.839271
The problem of managing the consistency of heterogeneous, distributed software engineering documents is central to the development of large and complex systems. We show how this problem can be addressed using xlinkit, a lightweight framework for...

Higher-order architectural connectors
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger
Pages: 64-104
DOI: 10.1145/839268.839272
We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. A higher-order connector takes connectors as parameters and allows for services such as security protocols...

Reviewers 2002
ACM Transactions on Software Engineering and Methodology staff
Pages: 105-105
DOI: 10.1145/839268.839273