The issues of decomposing a software system in terms of the modules, integrating the separately developed modules into a system, and managing the evolving software configurations, can be treated as the problem of software interconnection. In this thesis, we provide a unified mechanism to cope with such problems employing concepts of software interconnection. For this purpose, a new module interconnection language, called MILV, and a MILSA system, that performs static analysis of C codes and generates Makefile using the information obtained by processing the MILV descriptions, have been developed.
