badania własne

Speaker(s)

Artur Zawłocki

Affiliation

Uniwersytet Warszawski

Date

March 26, 2012, 10:15 a.m.

Room

room 4790

Title in Polish

Specyfikacja systemów komponentowych

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Przedstawię podejście do specyfikacji systemów złożonych ze
współbieżnych, komunikujących się synchronicznie komponentów, które umożliwia kompozycjonalną specyfikację i weryfikację (o własnościach systemu można wnioskować na podstawie własności komponentów) oraz wspiera refinement specyfikacji (przechodzenie od specyfikacji abstrakcyjnej do szczegółowej).

---