Mili, A.,Rafoul, Elias.2009-03-192009-03-1919981998Source: Masters Abstracts International, Volume: 37-06, page: 1886.9780612387614http://hdl.handle.net/10393/4052http://dx.doi.org/10.20381/ruor-13551A relational method is presented for specifying a software system and detecting feature interaction. The method used allows for the independent specification of features and the detection of interactions between features. This method is based on the lattice properties of the refinement ordering between specifications. The specification of a feature is given by a relation between the inputs and the outputs of a system and the combination of the features is given by taking the greatest lower bound of all features.93 p.Computer Science.Thesis