Předměty
- Koncepty moderních programovacích jazykůNPRG014 | Matematicko-fyzikální fakulta
- Modelem řízený vývojNSWI164 | Matematicko-fyzikální fakulta
- Programování v PythonuNPRG065 | Matematicko-fyzikální fakulta
- Python pro praxiNPRG067 | Matematicko-fyzikální fakulta
- Vestavěné systémy a systémy reálného času +1NSWE001 | 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
Publikace
- Formal Verification of Annotated Textual Use-Cases2015 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Towards Verification of Ensemble-Based Component Systems2014 | Matematicko-fyzikální fakulta
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | 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
- Extensible Polyglot Programming Support in Existing Component Frameworks2011 | Matematicko-fyzikální fakulta
- Using a Product Line for Creating Component Systems2009 | Matematicko-fyzikální fakulta
- Pouziti DSL pro automaticke generovani softwarovych konektoru2008 | Matematicko-fyzikální fakulta
- Rodina komponentových modelů pro vestavěné systémy v automobilech +12008 | Matematicko-fyzikální fakulta
Loading network view...