ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Models"
Models
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Viliam Šimko Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
7 publikací
Publikace
publication
Formal Verification of Annotated Textual Use-Cases
2015 |
Matematicko-fyzikální fakulta, Ústřední knihovna
publication
Verification of Use-Cases with FOAM Tool in Context of Cloud Providers
2015 |
Matematicko-fyzikální fakulta, Ústřední knihovna
publication
Verifying Temporal Properties of Use-Cases in Natural Language
2012 |
Matematicko-fyzikální fakulta
publication
FOAM : A Lightweight Method for Verification of Use-Cases
2012 |
Matematicko-fyzikální fakulta
publication
Od textových use-casů ke komponentovým aplikacím
2010 |
Matematicko-fyzikální fakulta
publication
Reprotool 1.0 (Requirements Processing Tool)
Publikace bez příslušnosti k fakultě
publication
Q-ImPrESS IDE
Publikace bez příslušnosti k fakultě
Loading network view...