(Softwaretechnik-Trends Band 39, Heft 2, 2019) Bonorden, Leif
Modularity 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.