Předměty
- Pokročilé nástroje pro vývoj a monitorování softwareNSWI126 | Matematicko-fyzikální fakulta
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Firemní seminářeNSWI133 | Matematicko-fyzikální fakulta
- Nástroje pro vývoj softwareNSWI154 | Matematicko-fyzikální fakulta
- Formální základy softwarového inženýrstvíNTIN043 | Matematicko-fyzikální fakulta
Publikace
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee2010 | Matematicko-fyzikální fakulta
- Automatická konstrukce přiměřeného prostředí pro Java komponenty2009 | Matematicko-fyzikální fakulta
- Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker +22007 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- Modelování prostředí pro model checking komponent z hierarchických architektur2007 | Matematicko-fyzikální fakulta
- Specifikace a generování prostředí pro model checking softwarových komponent2007 | Matematicko-fyzikální fakulta
- COMBAT: Nástroj pro analýzu chování komponentPublikace bez příslušnosti k fakultě
- Heuristická redukce paralelismu v prostředí komponentyPublikace bez příslušnosti k fakultě
Loading network view...