Bonorden, LeifKelter, Udo2023-02-272023-02-272019https://dl.gi.de/handle/20.500.12116/40436Modularity of software systems is well-known and supported by various theories. Interfaces and interactions between such software modules are differently seen and treated from different points of view. This article briefly surveys semi-formal models, formal specifications and technical implementations, and introduces corresponding research questions regarding the compatibility of these perspectives with each other and their role in the software development process.enmodularitymodelText/Conference Paper0720-8928