Towards formal modeling of functional features and feature interactions in software intensive systems
Manfred Broy · 2011
Today's software intensive systems offer a high number of functional features. Such systems are called multi-functional. The overall functionality of such systems is very complex and cannot be captured in a monolithic specification. In fact a structuring the functional specification is indispensable requisite for complexity reduction.