Mostly, software interfaces are only defined by their signature and without a formal description of the admissible behavior and timing assumptions.

#ComMA provides a family of domain-specific languages that integrate existing techniques from formal behavioral and time modeling and is easily extensible.

https://youtu.be/-bbJTg7pJ-k

#SoftwareEngineering
#Interfaces
#Modelling
#ModelChecking
#CodeGeneration