Publications
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- A language and framework for dynamic component ensembles in smart systems2020 | Faculty of Mathematics and Physics
- Toward autonomically composable and context-dependent access control specification through ensembles2020 | Faculty of Mathematics and Physics
- Dynamic Security Specification through Autonomic Component Ensemble2018 | Faculty of Mathematics and Physics
- Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems2016 | Faculty of Mathematics and Physics
- A Method for Semi-automated Generation of Test Scenarios Based on Use Cases2015 | Faculty of Mathematics and Physics
- Recovering Traceability Links Between Code and Specification Through Domain Model Extraction2014 | Faculty of Mathematics and Physics
- Reprotool 1.0 (Requirements Processing Tool)Publication without faculty affiliation
- Trait-based Coalition Formation FrameworkPublication without faculty affiliation
Loading network view...