Publikace
- A language and framework for dynamic component ensembles in smart systems2020 | Matematicko-fyzikální fakulta
- Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems2016 | Matematicko-fyzikální fakulta
- Verification of Use-Cases with FOAM Tool in Context of Cloud Providers2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Recovering Traceability Links Between Code and Specification Through Domain Model Extraction2014 | Matematicko-fyzikální fakulta
- Reprotool 1.0 (Requirements Processing Tool)Publikace bez příslušnosti k fakultě
- Trait-based Coalition Formation FrameworkPublikace bez příslušnosti k fakultě
- Toward autonomically composable and context-dependent access control specification through ensembles2020 | Matematicko-fyzikální fakulta
- Dynamic Security Specification through Autonomic Component Ensemble2018 | Matematicko-fyzikální fakulta
- A Method for Semi-automated Generation of Test Scenarios Based on Use Cases2015 | Matematicko-fyzikální fakulta
Loading network view...