 Apart from the logical and philosophical import of combining logics, there is a genuine interest in developing applications based on these techniques. One of the main areas interested in the methods for combining logics is software specification. Certain techniques for combining logics were developed almost exclusively with the aim of applying them to this area. In this section some of these methods will be briefly mentioned: temporalization, parameterization and institutions.