Publications
- Q-ImPrESS IDEPublication without faculty affiliation
- Reprotool 1.0 (Requirements Processing Tool)Publication without faculty affiliation
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Verifying Temporal Properties of Use-Cases in Natural Language2012 | Faculty of Mathematics and Physics
- FOAM : A Lightweight Method for Verification of Use-Cases2012 | Faculty of Mathematics and Physics
- From Textual Use-Cases to Component-Based Applications2010 | Faculty of Mathematics and Physics
Loading network view...