Design-Time Reliability Prediction for Software Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Odhad spolehlivosti softwarových systémů v době návrhu
Autoři	BROSCH Franz ZIMMEROVÁ Barbora
Rok publikování	2009
Druh	Další prezentace na konferencích
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Spolehlivost je jednou z klíčových vlastností softwarových systémů, která musí být brána v úvahu již v době návrhu systému. Přestože existuje řada prací k tomuto tématu, nepříliš prací se věnuje současnému uvažování různých typů možných chyb a pohledů na systém, které mají na spolehlivost vliv. Právě to je cílem výzkumu prezentovaného v tomto článku.
Související projekty:	Realistická aplikace formálních metod v komponentových systémech