- Tytuł:
- Weryfikacja aktywności systemów modelowanych na bazie architektury SOA - prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
- Autorzy:
-
Klimek, R.
Skrzyński, P.
Turek, M. - Data publikacji:
- 2010
- Słowa kluczowe:
-
weryfikacja
logika temporalna
architektura SOA
diagramy UML
przypadki użycia
narzędzia UML
translacja diagramów UML
veriflcation
temporal logic
SOA architecture
UML diagrams
use-case
UML Tools
UML Diagram Translation - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł