Publikace
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Matematicko-fyzikální fakulta
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Matematicko-fyzikální fakulta
- Od textových use-casů ke komponentovým aplikacím2010 | Matematicko-fyzikální fakulta
- Reprotool 1.0 (Requirements Processing Tool)Publikace bez příslušnosti k fakultě
- Q-ImPrESS IDEPublikace bez příslušnosti k fakultě
Loading network view...