Publikace
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Matematicko-fyzikální fakulta
- Interoperable domain-specific languages families for code generation2013 | Matematicko-fyzikální fakulta
- DEECo - an Ensemble-Based Component System2013 | Matematicko-fyzikální fakulta
- Design of ensemble-based component systems by invariant refinement2013 | Matematicko-fyzikální fakulta
- Property networks allowing oracle-based mode-change propagation in hierarchical components2012 | Matematicko-fyzikální fakulta
- Towards Dependable Emergent Ensembles of Components: The DEECo Component Model2012 | Matematicko-fyzikální fakulta
- SOFA 2.0: nastavení pokročilých vlastností v hierarchickém komponentovém modelu +22006 | Matematicko-fyzikální fakulta
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective2005 | Matematicko-fyzikální fakulta
- Erroneous Architecture is a Relative Concept2004 | Matematicko-fyzikální fakulta
- Container-Interposed Transactions2001 | Matematicko-fyzikální fakulta
Loading network view...