- Tytuł:
- Formal verification of extension of istar to support big data projects
- Autorzy:
-
Djeddi, Chabane
Zarour, Nacer Eddine
Charrel, Pierre-Jean - Data publikacji:
- 2021
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
big data
requirements engineering
iStar
iStar extension
formal checking - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki