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 12 Issue 1, January 2003

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

Feature specification and automated conflict detection
Amy P. Felty, Kedar S. Namjoshi
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
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
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