Předměty
- Programování v jazyce Java +1NPRG013 | Matematicko-fyzikální fakulta
- Pokročilé programování v jazyce Java +1NPRG021 | Matematicko-fyzikální fakulta
- Moderní trendy v informaticeNSWI029 | Matematicko-fyzikální fakulta
- Pokročilé nástroje pro vývoj a monitorování softwareNSWX126 | Matematicko-fyzikální fakulta
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
- Automatické generování implementace z požadavků v přirozeném jazyce2011 | Matematicko-fyzikální fakulta
- Dynamic Access Control in Industry 4.0 Systems2023 | Matematicko-fyzikální fakulta
- Generalization of Machine-Learning Adaptation in Ensemble-Based Self-adaptive Systems2023 | Matematicko-fyzikální fakulta
- Modeling Machine Learning Concerns in Collective Adaptive Systems2023 | Matematicko-fyzikální fakulta
- Introducing Estimators-Abstraction for Easy ML Employment in Self-adaptive Architectures2023 | Matematicko-fyzikální fakulta
- Towards a Reference Component Model of Edge-Cloud Continuum2023 | Matematicko-fyzikální fakulta
Loading network view...