ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "softwarových"
softwarových
Publikace
Předměty
Osoby
Publikace
Studium
publication
Simulace business procesů pomocí softwarových agentů
2008 |
Matematicko-fyzikální fakulta
publication
Ověřování softwarových komponent s použitím Behavior Protocols a Spinu
2007 |
Matematicko-fyzikální fakulta
publication
Pouziti DSL pro automaticke generovani softwarovych konektoru
2008 |
Matematicko-fyzikální fakulta
publication
Kvalita Softwarových Architektur: Modely a Architektury
2008 |
Matematicko-fyzikální fakulta
publication
Modelování a meta-modelování softwarových komponent
2008 |
Matematicko-fyzikální fakulta
publication
Carmen - model checker softwarových komponent
+1
Publikace bez příslušnosti k fakultě
publication
Verifikace softwarových komponent: O překladu Behavior protokolů do Promely
Publikace bez příslušnosti k fakultě
publication
Řešení neomezeného paralelismu při verifikaci softwarových komponent
2006 |
Matematicko-fyzikální fakulta
publication
Opomíjená ale zásadní role matematické statistiky ve výuce softwarových odborníků
2005 |
Matematicko-fyzikální fakulta
publication
Půlstoletí programovacích jazyků. Zrání softwarových systémů
2008 |
Matematicko-fyzikální fakulta
publication
Společný příklad komponentového modelování: porovnání komponentových softwarových modelů
2008 |
Matematicko-fyzikální fakulta
publication
Specifikace a generování prostředí pro model checking softwarových komponent
2007 |
Matematicko-fyzikální fakulta
publication
Využití softwarových konektorů pro sběr výkonnostních dat v komponentových aplikacích
2007 |
Matematicko-fyzikální fakulta
publication
Verifikace softwarových komponent v platformě SOFA 2 podle paradigmatu assume-guarantee
2010 |
Matematicko-fyzikální fakulta
publication
Model checking softwarových komponent: úprava Java PathFinder pro spolupráci s Behavior Protocol Checker
Publikace bez příslušnosti k fakultě
publication
Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí
+2
2007 |
Matematicko-fyzikální fakulta
publication
Získávání informací o závislostech mezi projekty v softwarových ekosystémech platformy Java
2011 |
Matematicko-fyzikální fakulta
publication
O softwarových produktech pro úlohy stochastického programování
2008 |
Matematicko-fyzikální fakulta
publication
Verifikace softwarovych komponent: Neomezeny paralelismus
2007 |
Matematicko-fyzikální fakulta
publication
Model checking softwarových komponent: kombinace Java PathFinder a Behavior Protocol model checker
+2
2007 |
Matematicko-fyzikální fakulta
publication
Aplikace teorie DES na verifikaci softwarových komponent
2009 |
Matematicko-fyzikální fakulta
publication
Moderní management závisí na modernosti architektur softwarových systémů
2003 |
Matematicko-fyzikální fakulta
publication
Bezpečné systémy pomocí softwarových komponent v SOFA 2
2008 |
Matematicko-fyzikální fakulta
publication
Ověřování modelem řízených odhadů výkonnosti na náhodných softwarových systémech
2010 |
Matematicko-fyzikální fakulta
publication
Komunikace a paměť pro plausibilní agenty
2012 |
Matematicko-fyzikální fakulta