Interface automata.

Conventional type systems specify interfaces in terms of values and domains. We present a light-weight formalism that captures the temporal aspects of software component interfaces. Specifically, we use an automata-based language to capture both input assumptions about the order in which the methods...

Полное описание

Библиографические подробности
Опубликовано в::Software engineering notes. 26, 5 (2001).
Главный автор: De Alfaro, Luca
Формат: Статья
Язык:English
Предметы: