Institutions - formalization of logical systems

The concept of Institutions (by J.A. Goguen and R. Burstall) is presented in the context of software development. Signatures correspond to the ontology, theories correspond to the specification / requirements, models correspond to the program.