This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewpoints, and reasoning about these viewpoints to resolve semantic discrepancies prior to their integration in a comprehensive solution for distributed requirements engineering.
Neil A. M. Maiden, Alistair G. Sutcliffe, Petia As