When engineers design a system with features, they wish to have methods to prove that the features do not interact in ways which are undesirable. One approach to demonstrating that features do not interact undesirably is to equip them with properties which are intended to hold of a system having the feature. In this view, a feature is a pair consisting of the implementation of the feature and a set of properties. Integrating a feature with a base system consists of modifying the base system in the way described by the feature implementation. The integration is deemed successful if the resulting system satisfies the properties of the feature (and of the base system). Evidence that a feature does not negatively interact with second feature may be obtained by verifying that introducing the second feature does not destroy the properties of the first feature.
|titre||Language Constructs for Describing Features|
|Sous-titre||Proceedings of the FIREworks workshop|
|rédacteurs en chef||S Gilmore, M. D Ryan|
|Lieu de publication||London|
|Nombre de pages||19|
|Etat de la publication||Publié - 2000|