Features and Features Interactions in Software Engineering using Logic.

摘要: Feature interactions are common when composing a software unit out of several features. We report on two experimental approaches using logic to describe features and feature interactions. The first approach proposes description as formalization models which allow reasoning about In the second approach, metalevel representation is proposed capture conditions These written in terms software’s implementation providing uniform formalism that can be applied any unit.