I remember that there was some critical discussion about this ”futuristic" video ”6G vision for 2030” when it came out in 2017, but can’t find it now. Anyone remember some snappy critique? @TeemuRoos maybe? #interfaces https://www.youtube.com/watch?v=T6ubRoZCeVw&t=18s
interfaces
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.
#SoftwareEngineering
#Interfaces
#Modelling
#ModelChecking
#CodeGeneration