enter search term and/or author name
Feature specification and automated conflict detection
Kedar S. Namjoshi, Amy P. Felty
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
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
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...
ACM Transactions on Software Engineering and Methodology staff