Předměty
- Vestavěné systémy a systémy reálného času +1NSWE001 | Matematicko-fyzikální fakulta
- Koncepty moderních programovacích jazykůNPRG014 | Matematicko-fyzikální fakulta
- Programování v PythonuNPRG065 | Matematicko-fyzikální fakulta
- Python pro praxiNPRG067 | Matematicko-fyzikální fakulta
- Softwarové inženýrství pro spolehlivé systémyNSWI054 | Matematicko-fyzikální fakulta
- Start-up nebo korporace - Tajemství kariéry v ITNSWI063 | Matematicko-fyzikální fakulta
- Modelem řízený vývojNSWI164 | Matematicko-fyzikální fakulta
Publikace
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- Engineering Autonomous Systems2013 | Matematicko-fyzikální fakulta
- Design of ensemble-based component systems by invariant refinement2013 | Matematicko-fyzikální fakulta
- Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems2013 | Matematicko-fyzikální fakulta
- 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
- Zavádění podpory pro vývoj vestavěných a real-time zařízení do existujích komponentových systémů2011 | Matematicko-fyzikální fakulta
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Matematicko-fyzikální fakulta
- Extensible Polyglot Programming Support in Existing Component Frameworks2011 | Matematicko-fyzikální fakulta
- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
Loading network view...