- Tytuł:
-
Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia - Autorzy:
-
Klimek, R.
Szwed, P. - Data publikacji:
- 2010
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł