keywords:"Vizualizace datových struktur" - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: keywords:"Vizualizace datových struktur"

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Vizualizace datových struktur pro verifikační nástroje Holubec, Michael ; Lengál, Ondřej (oponent) ; Peringer, Petr (vedoucí práce) Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator. Úplný záznam
	Knihovna pro vizualizaci dynamických datových struktur Zahradníček, Tomáš ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce) Tato práce se zabývá návrhem a implementací knihovny pro vizualizaci dynamických datových struktur ve formě orientovaných grafů. Zaměřuje se také na chyby, které při implementaci těchto struktur můžou vzniknout. Výsledná knihovna může být použita jako ladicí nástroj nebo pro výuku algoritmů pro práci s těmito strukturami. Úplný záznam
	Knihovna pro vizualizaci dynamických datových struktur Zahradníček, Tomáš ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce) Tato práce se zabývá návrhem a implementací knihovny pro vizualizaci dynamických datových struktur ve formě orientovaných grafů. Zaměřuje se také na chyby, které při implementaci těchto struktur můžou vzniknout. Výsledná knihovna může být použita jako ladicí nástroj nebo pro výuku algoritmů pro práci s těmito strukturami. Úplný záznam
	Vizualizace datových struktur pro verifikační nástroje Holubec, Michael ; Lengál, Ondřej (oponent) ; Peringer, Petr (vedoucí práce) Cílem práce je objektově orientovaný návrh a implementace knihovny, která poskytne verifikačnímu nástroji Predator a dalším nástrojům jednotné rozhraní pro vizualizaci interních datových struktur především pro účely jejich ladění. Práce analyzuje některé vlastnosti verifikačních nástrojů Predator, Forester a CPAchecker. Knihovna poskytuje nejen grafický, ale také textový výstup ve formátu jazyka DOT. Výsledek byl otestován připojením knihovny k verifikačnímu nástroji Predator. Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English