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
বিষয়গুলি: