Classes
- Concepts of Modern Programming LanguagesNPRG014 | Faculty of Mathematics and Physics
- Software Engineering for Dependable SystemsNSWI054 | Faculty of Mathematics and Physics
- Programming in PythonNPRG065 | Faculty of Mathematics and Physics
- Python for practiceNPRG067 | Faculty of Mathematics and Physics
- Embedded and Real Time Systems +1NSWE001 | Faculty of Mathematics and Physics
- Start-up or corporation: Introduction to a career in ITNSWI063 | Faculty of Mathematics and Physics
- Model-driven DevelopmentNSWI164 | Faculty of Mathematics and Physics
Publications
- Formal Verification of Annotated Textual Use-Cases2015 | Faculty of Mathematics and Physics, Central Library of Charles University
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Faculty of Mathematics and Physics
- Towards Performance-Aware Engineering of Autonomic Component Ensembles2014 | Faculty of Mathematics and Physics
- Strengthening architectures of smart CPS by modeling them as runtime product-lines2014 | Faculty of Mathematics and Physics
- Interoperable domain-specific languages families for code generation2013 | Faculty of Mathematics and Physics
- The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing2013 | Faculty of Mathematics and Physics
- DEECo - an Ensemble-Based Component System2013 | Faculty of Mathematics and Physics
- Design of ensemble-based component systems by invariant refinement2013 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
Loading network view...