Searched for: author%3A%22Noltes%2C+P.%22
(1 - 1 of 1)
Hooman, J. (author), van der Munnik, D. (author), Noltes, P. (author)
Software interfaces play a crucial rule in component-based development. The Comma framework provides mature tool support for the specification and analysis of interfaces. An interface description in Comma contains a protocol state machine and it may specify timing constraints on the occurrence of interface events. For a component, constraints...
conference paper 2020