Classes
- Concepts of Modern Programming LanguagesNPRG014 | 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
- Software Engineering for Dependable SystemsNSWI054 | 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
- Towards Verification of Ensemble-Based Component Systems2014 | Faculty of Mathematics and Physics
- Towards Performance-Aware Engineering of Autonomic Component Ensembles2014 | 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
- Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems2013 | Faculty of Mathematics and Physics
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Faculty of Mathematics and Physics
- CoDIT: Bridging the Gap between System-Level and Component-Level Development2012 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
- Supporting Real-Life Applications in Hierarchical Component Systems2009 | Faculty of Mathematics and Physics
- Bridging the Component-Based and Service-Oriented Worlds2009 | Faculty of Mathematics and Physics
Loading network view...